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

Packages that use OWLAxiom

Package	Description
org.semanticweb.owlapi.change	Ontology change classes.
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.profiles.violations
org.semanticweb.owlapi.reasoner	OWLReasoner package
org.semanticweb.owlapi.search	Search utulities package
org.semanticweb.owlapi.util	Utilities package
org.semanticweb.owlapi.util.mansyntax

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.
OWLAxiom	AxiomChangeData.getItem()

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 an 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 in the OWL 2 Specification.
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 axiom in the OWL 2 Specification.
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<C extends OWLObject> 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> Represents an Assertion in the OWL 2 specification.
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> Collection<T>	OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure) Generic filter type for further refining search by axiom type.
<T extends OWLAxiom> int	OWLAxiomCollectionNoArgs.getAxiomCount(AxiomType<T> axiomType) Gets the axiom count of a specific type of axiom.
<T extends OWLAxiom> int	OWLAxiomCollectionBooleanArgs.getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure) Deprecated.
<T extends OWLAxiom> int	OWLAxiomCollection.getAxiomCount(AxiomType<T> axiomType, Imports includeImportsClosure) Gets the axiom count of a specific type of axiom, optionally including the imports closure.
<T extends OWLAxiom> Set<T>	HasAxiomsByType.getAxioms(AxiomType<T> axiomType) Gets the axioms which are of the specified type.
<T extends OWLAxiom> Set<T>	OWLAxiomCollectionBooleanArgs.getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure) Deprecated.
<T extends OWLAxiom> Set<T>	OWLAxiomCollection.getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure) Gets all axioms of the specified type.
<T extends OWLAxiom> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, Navigation forSubPosition) Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
<T extends OWLAxiom> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, OWLObject entity, Imports includeImports, Navigation forSubPosition) Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
static <T extends OWLAxiom> AxiomType<T>	AxiomType.getTypeForClass(Class<T> t)

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(Imports includeImportsClosure) Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
Set<OWLAxiom>	HasAxioms.getAxioms() Gets the OWLAxioms contained in this object.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxioms(boolean b) Deprecated. use getAxioms(Imports) instead
Set<OWLAxiom>	OWLAxiomCollection.getAxioms(Imports includeImportsClosure)
Set<OWLAxiom>	OWLAxiomCollectionNoArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
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(Imports includeImportsClosure) Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
Set<OWLAxiom>	OWLAxiomCollectionNoArgs.getReferencingAxioms(OWLPrimitive owlEntity) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getReferencingAxioms(OWLPrimitive owlEntity, boolean includeImportsClosure) Deprecated.
Set<OWLAxiom>	OWLAxiomCollection.getReferencingAxioms(OWLPrimitive owlEntity, Imports includeImportsClosure) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
Set<OWLAxiom>	OWLOntology.getTBoxAxioms(Imports 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
ChangeApplied	HasDirectAddAxiom.addAxiom(OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
ChangeApplied	HasAddAxiom.addAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
boolean	HasContainsAxiom.containsAxiom(OWLAxiom axiom) Determines whether or not this object contains a particular OWLAxiom.
boolean	OWLAxiomCollectionBooleanArgs.containsAxiom(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
boolean	OWLAxiomCollection.containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations) Determines if this ontology contains the specified axiom, optionally including the imports closure.
boolean	OWLAxiomCollectionNoArgs.containsAxiomIgnoreAnnotations(OWLAxiom axiom) Determines if this ontology contains the specified axiom.
boolean	OWLAxiomCollectionBooleanArgs.containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
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>	OWLAxiomCollectionNoArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
Set<OWLOntology>	OWLOntologyManager.getOntologies(OWLAxiom axiom) Gets the ontologies that are managed by this manager that contain the specified axiom.
ChangeApplied	HasRemoveAxiom.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
ChangeApplied	HasAddAxioms.addAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
ChangeApplied	HasDirectAddAxioms.addAxioms(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
ChangeApplied	HasRemoveAxioms.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
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom, Object o)

Uses of OWLAxiom in org.semanticweb.owlapi.profiles.violations

Constructors in org.semanticweb.owlapi.profiles.violations 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 currentOntology, OWLAxiom node)
InsufficientOperands(OWLOntology currentOntology, OWLAxiom node, OWLObject c)
InsufficientPropertyExpressions(OWLOntology ontology, OWLAxiom axiom)
LexicalNotInLexicalSpace(OWLOntology ontology, OWLAxiom axiom, OWLLiteral literal)
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, IRI profile)
UnsupportedEntailmentTypeException(OWLAxiom axiom)

Uses of OWLAxiom in org.semanticweb.owlapi.search

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

Modifier and Type	Class and Description
static class	Filters.AxiomFilter<A extends OWLAxiom>

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

Modifier and Type	Method and Description
static Collection<OWLAxiom>	EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Get matching axioms for a, ignoring annotations.
static Collection<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology) Gets the axioms in the specified ontology that contain this entity in their signature.
static Collection<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology, boolean includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.

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

Modifier and Type	Method and Description
static Set<OWLAnnotation>	Searcher.annotations(OWLAxiom axiom, OWLAnnotationProperty p) Retrieve annotations from an axiom.
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, Iterable<OWLOntology> ontologies, boolean imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, OWLOntology o, boolean imports) Checks if o contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a, Iterable<OWLOntology> ontologies, boolean imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Checks if o contains axiom a, with or without imports closure, ignoring annotations.
static <C extends OWLObject> Set<C>	Searcher.different(OWLAxiom axiom) Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
static <C extends OWLObject> C	Searcher.domain(OWLAxiom axiom) Retrieve the domains from domain axioms.
static <C extends OWLObject> Set<C>	Searcher.equivalent(OWLAxiom axiom) Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
static Collection<OWLAxiom>	EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Get matching axioms for a, ignoring annotations.
boolean	Filters.AxiomFilter.pass(OWLAxiom axiom, Object key)
static <C extends OWLObject> C	Searcher.range(OWLAxiom axiom) Retrieve the ranges from a range axiom.
static <C extends OWLObject> C	Searcher.sub(OWLAxiom axiom) Retrieve the sub part of an axiom, i.e., subclass or subproperty.
static <C extends OWLObject> C	Searcher.sup(OWLAxiom axiom) Retrieve the super part of an axiom, i.e., superclass or superproperty.

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

Modifier and Type	Method and Description
static Collection<OWLAnnotation>	Searcher.annotations(Collection<? extends OWLAxiom> axioms) Retrieve annotations from a collection of axioms.
static Collection<OWLAnnotation>	Searcher.annotations(Collection<? extends OWLAxiom> axioms, OWLAnnotationProperty p) Retrieve annotations from a collection of axioms.
static <C extends OWLObject> Collection<C>	Searcher.different(Collection<? extends OWLAxiom> axioms) Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
static <C extends OWLObject> Collection<C>	Searcher.different(Collection<? extends OWLAxiom> axioms, Class<C> type) Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
static <C extends OWLObject> Collection<C>	Searcher.domain(Collection<? extends OWLAxiom> axioms) Retrieve the domains from domain axioms.
static <C extends OWLObject> Collection<C>	Searcher.domain(Collection<? extends OWLAxiom> axioms, Class<C> type) Retrieve the domains from domain axioms.
static <C extends OWLObject> Collection<C>	Searcher.equivalent(Collection<? extends OWLAxiom> axioms) Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
static <C extends OWLObject> Collection<C>	Searcher.equivalent(Collection<? extends OWLAxiom> axioms, Class<C> type) Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
static <C extends OWLObject> Collection<C>	Searcher.range(Collection<? extends OWLAxiom> axioms) Retrieve the ranges from range axioms.
static <C extends OWLObject> Collection<C>	Searcher.range(Collection<? extends OWLAxiom> axioms, Class<C> type) Retrieve the ranges from range axioms.
static <C extends OWLObject> Collection<C>	Searcher.sub(Collection<? extends OWLAxiom> axioms) Retrieve the sub part of axioms, i.e., subclass or subproperty.
static <C extends OWLObject> Collection<C>	Searcher.sub(Collection<? extends OWLAxiom> axioms, Class<C> type) Retrieve the sub part of axioms, i.e., subclass or subproperty.
static <C extends OWLObject> Collection<C>	Searcher.sup(Collection<? extends OWLAxiom> axioms) Retrieve the super part of axioms, i.e., superclass or superproperty.
static <C extends OWLObject> Collection<C>	Searcher.sup(Collection<? extends OWLAxiom> axioms, Class<C> type) Retrieve the super part of axioms, i.e., superclass or superproperty.

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.

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	OntologyAxiomPair.getAxiom()
OWLAxiom	OWLOntologyWalkerVisitorEx.getCurrentAxiom()
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
boolean	OWLAxiomsWithNestedAnnotations.appearsMultipleTimes(OWLAxiom ax)
boolean	AxiomAppearance.appearsMultipleTimes(OWLAxiom ax)
boolean	AlwaysOutputId.appearsMultipleTimes(OWLAxiom ax)
OWLObject	AxiomSubjectProvider.getSubject(OWLAxiom axiom)
boolean	OWLAxiomSearchFilter.pass(OWLAxiom axiom, Object key)
boolean	OWLOntologyMerger.passes(OWLAxiom axiom)
boolean	OWLAxiomFilter.passes(OWLAxiom axiom)
void	OWLObjectWalker.setAxiom(OWLAxiom axiom) Allow the structure walker to set the current axiom
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)

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

Constructor and Description
OntologyAxiomPair(OWLOntology ontology, OWLAxiom axiom)

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

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

Uses of OWLAxiom in org.semanticweb.owlapi.util.mansyntax

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

Modifier and Type	Method and Description
OWLAxiom	ManchesterOWLSyntaxParser.parseAxiom() Parsing "Inline" Axioms.