Uses of Interface
org.semanticweb.owlapi.model.OWLAxiom

Packages that use OWLAxiom

Package	Description
org.semanticweb.owlapi.change
org.semanticweb.owlapi.model
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.util

Uses of OWLAxiom in org.semanticweb.owlapi.change

Methods in org.semanticweb.owlapi.change that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	AxiomChangeData.getAxiom() Gets the OWLAxiom that is associated with this change data.

Constructors in org.semanticweb.owlapi.change with parameters of type OWLAxiom

Constructor and Description
AddAxiomData(OWLAxiom axiom) Constructs an AddAxiomData object which specifies the addition of an axiom to "some ontology".
AxiomChangeData(OWLAxiom axiom) Constructs an AxiomChangeData object that describes a change involving the specified axiom.
RemoveAxiomData(OWLAxiom axiom) Constructs an RemoveAxiomData object which specifies the removal of an axiom from "some ontology".

Uses of OWLAxiom in org.semanticweb.owlapi.model

Classes in org.semanticweb.owlapi.model with type parameters of type OWLAxiom

Modifier and Type	Class and Description
class	AxiomType<C extends OWLAxiom> Represents the type of axioms which can belong to ontologies.

Subinterfaces of OWLAxiom in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLAnnotationAssertionAxiom Represents AnnotationAssertion axioms in the OWL 2 specification.
interface	OWLAnnotationAxiom A super interface for annotation axioms.
interface	OWLAnnotationPropertyDomainAxiom Represents an AnnotationPropertyDomain axiom in the OWL 2 specification.
interface	OWLAnnotationPropertyRangeAxiom Represents an AnnotationPropertyRange axiom in the OWL 2 specification.
interface	OWLAsymmetricObjectPropertyAxiom Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLClassAssertionAxiom Represents ClassAssertion axioms in the OWL 2 Specification.
interface	OWLClassAxiom
interface	OWLDataPropertyAssertionAxiom Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDataPropertyAxiom A high level interface which marks data property axioms (e.g.
interface	OWLDataPropertyCharacteristicAxiom
interface	OWLDataPropertyDomainAxiom Represents a DataPropertyDomain axiom in the OWL 2 Specification.
interface	OWLDataPropertyRangeAxiom Represents a DataPropertyRange axiom in the OWL 2 Specification.
interface	OWLDatatypeDefinitionAxiom Represents a DatatypeDefinition axiom in the OWL 2 Specification.
interface	OWLDeclarationAxiom Represents a Declaration A declaration axiom declares an entity in an ontology.
interface	OWLDifferentIndividualsAxiom Represents a DifferentIndividuals axiom in the OWL 2 Specification.
interface	OWLDisjointClassesAxiom Represents a DisjointClasses axiom in the OWL 2 Specification.
interface	OWLDisjointDataPropertiesAxiom Represents a DisjointDataProperties axiom in the OWL 2 Specification.
interface	OWLDisjointObjectPropertiesAxiom Represents DisjointObjectProperties axioms in the OWL 2 specification.
interface	OWLDisjointUnionAxiom Represents a DisjointUnion axiom in the OWL 2 Specification.
interface	OWLEquivalentClassesAxiom Represents an EquivalentClasses axiom in the OWL 2 Specification.
interface	OWLEquivalentDataPropertiesAxiom Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
interface	OWLEquivalentObjectPropertiesAxiom Represents EquivalentObjectProperties axioms in the OWL 2 specification.
interface	OWLFunctionalDataPropertyAxiom Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
interface	OWLFunctionalObjectPropertyAxiom Represents FunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLHasKeyAxiom Represents a HasKey axiom in the OWL 2 Specification.
interface	OWLIndividualAxiom
interface	OWLInverseFunctionalObjectPropertyAxiom Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLInverseObjectPropertiesAxiom Represents an InverseObjectProperties Represents a statement that two properties are the inverse of each other.
interface	OWLIrreflexiveObjectPropertyAxiom Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
interface	OWLLogicalAxiom A base interface of all axioms that affect the logical meaning of an ontology.
interface	OWLNaryAxiom Represents an axiom that contains two or more operands that could also be represented with multiple pairwise axioms
interface	OWLNaryClassAxiom
interface	OWLNaryIndividualAxiom
interface	OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>
interface	OWLNegativeDataPropertyAssertionAxiom Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAxiom
interface	OWLObjectPropertyCharacteristicAxiom
interface	OWLObjectPropertyDomainAxiom Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLObjectPropertyRangeAxiom Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression<?,?>,O extends OWLPropertyAssertionObject>
interface	OWLPropertyAxiom The base interface for property axioms.
interface	OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>> Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLPropertyRangeAxiom<P extends OWLPropertyExpression<?,?>,R extends OWLPropertyRange> Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLReflexiveObjectPropertyAxiom Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
interface	OWLSameIndividualAxiom Represents an SameIndividual axiom in the OWL 2 Specification.
interface	OWLSubAnnotationPropertyOfAxiom Represents an SubAnnotationPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubClassOfAxiom Represents an SubClassOf axiom in the OWL 2 Specification.
interface	OWLSubDataPropertyOfAxiom Represents an SubDataPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubObjectPropertyOfAxiom Represents SubObjectPropertyOf axioms in the OWL 2 specification.
interface	OWLSubPropertyAxiom<P extends OWLPropertyExpression<?,?>>
interface	OWLSubPropertyChainOfAxiom Represents a SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of properties.
interface	OWLSymmetricObjectPropertyAxiom Represents SymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLTransitiveObjectPropertyAxiom Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
interface	OWLUnaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>
interface	SWRLRule Represent a rule.

Methods in org.semanticweb.owlapi.model with type parameters of type OWLAxiom

Modifier and Type	Method and Description
<T extends OWLAxiom> int	OWLOntology.getAxiomCount(AxiomType<T> axiomType) Gets the axiom count of a specific type of axiom.
<T extends OWLAxiom> int	OWLOntology.getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure) Gets the axiom count of a specific type of axiom, possibly in the imports closure of this ontology.
<T extends OWLAxiom> Set<T>	OWLOntology.getAxioms(AxiomType<T> axiomType) Gets the axioms which are of the specified type.
<T extends OWLAxiom> Set<T>	OWLOntology.getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure) Gets the axioms which are of the specified type.

Methods in org.semanticweb.owlapi.model that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLAxiom.getAnnotatedAxiom(Set<OWLAnnotation> annotations) Gets a copy of this axiom that is annotated with the specified annotations.
OWLAxiom	SetOntologyID.getAxiom()
abstract OWLAxiom	OWLOntologyChange.getAxiom() If the change is an axiom change (i.e.
OWLAxiom	OWLAxiomChange.getAxiom()
OWLAxiom	ImportChange.getAxiom()
OWLAxiom	AnnotationChange.getAxiom()
OWLAxiom	OWLAxiom.getAxiomWithoutAnnotations() Gets an axiom that is structurally equivalent to this axiom without annotations.
OWLAxiom	OWLAxiom.getNNF() Gets this axioms in negation normal form.

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	OWLOntology.getABoxAxioms(boolean includeImportsClosure) Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
Set<OWLAxiom>	OWLOntology.getAxioms() Retrieves all of the axioms in this ontology.
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom.
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom, possibly searching the imports closure of this ontology.
static Set<OWLAxiom>	AxiomType.getAxiomsOfTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that have a specified type
static Set<OWLAxiom>	AxiomType.getAxiomsWithoutTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that are not of the specified type
Set<OWLAxiom>	OWLOntology.getRBoxAxioms(boolean includeImportsClosure) Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
Set<OWLAxiom>	OWLOntology.getReferencingAxioms(OWLAnonymousIndividual individual) Gets the axioms that reference the specified anonymous individual.
Set<OWLAxiom>	OWLOntology.getReferencingAxioms(OWLEntity owlEntity) Gets the axioms where the specified entity appears in the signature of the axiom.
Set<OWLAxiom>	OWLOntology.getReferencingAxioms(OWLEntity owlEntity, boolean includeImportsClosure) Gets the axioms where the specified entity appears in the signature of the axiom.
Set<OWLAxiom>	OWLEntity.getReferencingAxioms(OWLOntology ontology) Gets the axioms in the specified ontology that contain this entity in their signature.
Set<OWLAxiom>	OWLEntity.getReferencingAxioms(OWLOntology ontology, boolean includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.
Set<OWLAxiom>	OWLOntology.getTBoxAxioms(boolean includeImportsClosure) Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.

Methods in org.semanticweb.owlapi.model with parameters of type OWLAxiom

Modifier and Type	Method and Description
List<OWLOntologyChange>	OWLOntologyManager.addAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
boolean	OWLOntology.containsAxiom(OWLAxiom axiom) Determines if this ontology contains the specified axiom.
boolean	OWLOntology.containsAxiom(OWLAxiom axiom, boolean includeImportsClosure) Determines if this ontology, and possibly the imports closure, contains the specified axiom.
boolean	OWLOntology.containsAxiomIgnoreAnnotations(OWLAxiom axiom) Determines if this ontology contains the specified axiom, but ignoring any annotations on this axiom.
boolean	OWLOntology.containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Determines if this ontology and possibly its imports closure contains the specified axiom but ignoring any annotations on this axiom.
boolean	OWLAxiom.equalsIgnoreAnnotations(OWLAxiom axiom) Determines if another axiom is equal to this axiom not taking into consideration the annotations on the axiom
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom.
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom, possibly searching the imports closure of this ontology.
Set<OWLOntology>	OWLOntologyManager.getOntologies(OWLAxiom axiom) Gets the ontologies that are managed by this manager that contain the specified axiom.
List<OWLOntologyChange>	OWLOntologyManager.removeAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that removes a single axiom from an ontology.

Method parameters in org.semanticweb.owlapi.model with type arguments of type OWLAxiom

Modifier and Type	Method and Description
List<OWLOntologyChange>	OWLOntologyManager.addAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
OWLOntology	OWLOntologyManager.createOntology(Set<OWLAxiom> axioms) Creates a new ontology that is initialised to contain specific axioms.
OWLOntology	OWLOntologyManager.createOntology(Set<OWLAxiom> axioms, IRI ontologyIRI) Creates a new ontology that has the specified ontology IRI and is initialised to contain specific axioms.
static Set<OWLAxiom>	AxiomType.getAxiomsOfTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that have a specified type
static Set<OWLAxiom>	AxiomType.getAxiomsWithoutTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that are not of the specified type
List<OWLOntologyChange>	OWLOntologyManager.removeAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from an ontology.

Constructors in org.semanticweb.owlapi.model with parameters of type OWLAxiom

Constructor and Description
AddAxiom(OWLOntology ont, OWLAxiom axiom)
OWLAxiomChange(OWLOntology ont, OWLAxiom axiom)
RemoveAxiom(OWLOntology ont, OWLAxiom axiom)

Uses of OWLAxiom in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLProfileViolation.getAxiom()

Constructors in org.semanticweb.owlapi.profiles with parameters of type OWLAxiom

Constructor and Description
CycleInDatatypeDefinition(OWLOntology ontology, OWLAxiom axiom)
DatatypeIRIAlsoUsedAsClassIRI(OWLOntology ontology, OWLAxiom axiom, IRI iri)
EmptyOneOfAxiom(OWLOntology ontology, OWLAxiom axiom)
IllegalPunning(OWLOntology currentOntology, OWLAxiom node, IRI iri)
InsufficientIndividuals(OWLOntology ontology, OWLAxiom axiom)
InsufficientOperands(OWLOntology ontology, OWLAxiom axiom, OWLObject c)
InsufficientPropertyExpressions(OWLOntology ontology, OWLAxiom axiom)
LexicalNotInLexicalSpace(OWLOntology ontology, OWLAxiom axiom, OWLLiteral literal)
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom)
UseOfAnonymousIndividual(OWLOntology ontology, OWLAxiom axiom, OWLAnonymousIndividual individual)
UseOfDataOneOfWithMultipleLiterals(OWLOntology ontology, OWLAxiom axiom, OWLDataOneOf dataOneOf)
UseOfDefinedDatatypeInDatatypeRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction restriction)
UseOfIllegalAxiom(OWLOntology ontology, OWLAxiom axiom)
UseOfIllegalClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfIllegalDataRange(OWLOntology ontology, OWLAxiom axiom, OWLDataRange dataRange)
UseOfIllegalFacetRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction dtr, OWLFacet facet)
UseOfNonAbsoluteIRI(OWLOntology ontology, OWLAxiom axiom, IRI iri)
UseOfNonAtomicClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonEquivalentClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSimplePropertyInCardinalityRestriction(OWLOntology ontology, OWLAxiom axiom, OWLObjectCardinalityRestriction restriction)
UseOfNonSimplePropertyInObjectHasSelf(OWLOntology ontology, OWLAxiom axiom, OWLObjectHasSelf hasSelf)
UseOfNonSubClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSuperClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology, OWLAxiom axiom, OWLObjectOneOf oneOf)
UseOfObjectPropertyInverse(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression propertyExpression)
UseOfReservedVocabularyForAnnotationPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLAnnotationProperty property)
UseOfReservedVocabularyForClassIRI(OWLOntology ontology, OWLAxiom axiom, OWLClass cls)
UseOfReservedVocabularyForDataPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLDataProperty property)
UseOfReservedVocabularyForIndividualIRI(OWLOntology ontology, OWLAxiom axiom, OWLNamedIndividual ind)
UseOfReservedVocabularyForObjectPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLObjectProperty property)
UseOfUndeclaredAnnotationProperty(OWLOntology ontology, OWLAxiom axiom, OWLAnnotation annotation, OWLAnnotationProperty prop)
UseOfUndeclaredClass(OWLOntology ontology, OWLAxiom axiom, OWLClass cls)
UseOfUndeclaredDataProperty(OWLOntology ontology, OWLAxiom axiom, OWLDataProperty prop)
UseOfUndeclaredDatatype(OWLOntology ontology, OWLAxiom axiom, OWLDatatype datatype)
UseOfUndeclaredObjectProperty(OWLOntology ontology, OWLAxiom axiom, OWLObjectProperty prop)
UseOfUnknownDatatype(OWLOntology ontology, OWLAxiom axiom, OWLDatatype datatype)

Uses of OWLAxiom in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	UnsupportedEntailmentTypeException.getAxiom()
OWLAxiom	AxiomNotInProfileException.getAxiom()

Methods in org.semanticweb.owlapi.reasoner that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	OWLReasoner.getPendingAxiomAdditions() Gets the axioms that as a result of ontology changes need to be added to the reasoner to synchronise it with the root ontology imports closure.
Set<OWLAxiom>	OWLReasoner.getPendingAxiomRemovals() Gets the axioms that as a result of ontology changes need to removed to the reasoner to synchronise it with the root ontology imports closure.

Methods in org.semanticweb.owlapi.reasoner with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	OWLReasoner.isEntailed(OWLAxiom axiom) A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.

Method parameters in org.semanticweb.owlapi.reasoner with type arguments of type OWLAxiom

Modifier and Type	Method and Description
boolean	OWLReasoner.isEntailed(Set<? extends OWLAxiom> axioms) Determines if the specified set of axioms is entailed by the reasoner axioms.

Constructors in org.semanticweb.owlapi.reasoner with parameters of type OWLAxiom

Constructor and Description
AxiomNotInProfileException(OWLAxiom axiom, OWLProfile profile)
UnsupportedEntailmentTypeException(OWLAxiom axiom)

Uses of OWLAxiom in org.semanticweb.owlapi.util

Classes in org.semanticweb.owlapi.util with type parameters of type OWLAxiom

Modifier and Type	Interface and Description
interface	InferredAxiomGenerator<A extends OWLAxiom> Given a reasoner, implementations of this interface generate axioms that represent inferred information.
class	InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom> Generates axioms which relate to inferred information for a specific entity.
interface	OWLAxiomSearchFilter<O extends OWLAxiom,K>

Fields in org.semanticweb.owlapi.util declared as OWLAxiom

Modifier and Type	Field and Description
protected OWLAxiom	OWLObjectWalker.ax

Methods in org.semanticweb.owlapi.util that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLObjectWalker.getAxiom() Gets the last axiom to be visited.
OWLAxiom	OWLOntologyWalkerVisitor.getCurrentAxiom()
OWLAxiom	NNF.visit(OWLAnnotationAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLClassAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiom	NNF.visit(OWLDeclarationAxiom axiom)
OWLAxiom	NNF.visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointUnionAxiom axiom)
OWLAxiom	NNF.visit(OWLEquivalentClassesAxiom axiom)
OWLAxiom	NNF.visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLHasKeyAxiom axiom)
OWLAxiom	NNF.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLSameIndividualAxiom axiom)
OWLAxiom	NNF.visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubClassOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(SWRLRule rule)

Methods in org.semanticweb.owlapi.util that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms)

Methods in org.semanticweb.owlapi.util with parameters of type OWLAxiom

Modifier and Type	Method and Description
AxiomType<?>	AxiomTypeProvider.getAxiomType(OWLAxiom axiom) Deprecated.
OWLObject	AxiomSubjectProvider.getSubject(OWLAxiom axiom)
protected O	OWLAxiomVisitorExAdapter.handleDefault(OWLAxiom axiom) override to change default behaviour
protected void	OWLAxiomVisitorAdapter.handleDefault(OWLAxiom owlObject) override this method to change the default behaviour.
boolean	OWLOntologyMerger.passes(OWLAxiom axiom)
boolean	OWLAxiomFilter.passes(OWLAxiom axiom)
protected abstract void	OWLAxiomTypeProcessor.process(OWLAxiom axiom, AxiomType<?> type)
protected void	OWLEntityCollector.processAxiomAnnotations(OWLAxiom ax)
void	SimpleRenderer.writeAnnotations(OWLAxiom axiom)

Method parameters in org.semanticweb.owlapi.util with type arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms)

Constructor parameters in org.semanticweb.owlapi.util with type arguments of type OWLAxiom

Constructor and Description
InferredOntologyGenerator(OWLReasoner reasoner, List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)