ConcurrentOWLOntologyImpl (OWLAPI :: Distribution 5.1.17 API)

java.lang.Object
- uk.ac.manchester.cs.owl.owlapi.concurrent.ConcurrentOWLOntologyImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasApplyChange, HasApplyChanges, HasApplyDirectChange, HasAxioms, HasAxiomsByType, HasClassesInSignature, HasComponents, HasContainsAxiom, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasDirectAddAxiom, HasDirectAddAxioms, HasDirectImports, HasDirectRemoveAxiom, HasDirectRemoveAxioms, HasGetEntitiesInSignature, HasHashIndex, HasImportsClosure, HasIndex, HasIndividualsInSignature, HasLogicalAxioms, HasObjectPropertiesInSignature, HasOntologyID, HasSignature, IsAnonymous, OWLAxiomCollection, OWLAxiomCollectionBooleanArgs, OWLAxiomIndex, OWLMutableOntology, OWLObject, OWLOntology, OWLSignature, OWLSignatureBooleanArgs, HasTrimToSize
```
public class ConcurrentOWLOntologyImpl
extends Object
implements OWLMutableOntology, HasTrimToSize
```
Matthew Horridge Stanford Center for Biomedical Informatics Research 03/04/15

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor and Description
`ConcurrentOWLOntologyImpl(OWLOntology delegate, ReadWriteLock readWriteLock)` Constructs a ConcurrentOWLOntology that provides concurrent access to a delegate `OWLOntology`.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Stream<OWLAxiom>`	`aboxAxioms(Imports imports)` Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
`void`	`accept(OWLNamedObjectVisitor owlNamedObjectVisitor)` accept for named object visitor
`<O> O`	`accept(OWLNamedObjectVisitorEx<O> owlNamedObjectVisitorEx)` Accepts a visitor
`void`	`accept(OWLObjectVisitor owlObjectVisitor)` Accepts a visitor
`<O> O`	`accept(OWLObjectVisitorEx<O> owlObjectVisitorEx)` Accepts a visitor
`ChangeApplied`	`add(Collection<? extends OWLAxiom> set)` A convenience method that adds a set of axioms to an ontology.
`ChangeApplied`	`add(OWLAxiom... set)` A convenience method that adds a set of axioms to an ontology.
`ChangeApplied`	`add(OWLAxiom owlAxiom)` A convenience method that adds a single axiom to an ontology.
`ChangeApplied`	`addAxiom(OWLAxiom owlAxiom)` A convenience method that adds a single axiom to an ontology.
`ChangeApplied`	`addAxioms(Collection<? extends OWLAxiom> set)` A convenience method that adds a set of axioms to an ontology.
`ChangeApplied`	`addAxioms(OWLAxiom... set)` A convenience method that adds a set of axioms to an ontology.
`Stream<OWLAnnotationAssertionAxiom>`	`annotationAssertionAxioms(OWLAnnotationSubject entity)` Gets the axioms that annotate the specified entity.
`Stream<OWLAnnotationAssertionAxiom>`	`annotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)` Gets the axioms that annotate the specified entity.
`Stream<OWLAnnotationProperty>`	`annotationPropertiesInSignature()`
`Stream<OWLAnnotationProperty>`	`annotationPropertiesInSignature(Imports imports)` Gets the annotation properties in the signature and optionally the imports closure.
`Stream<OWLAnnotationPropertyDomainAxiom>`	`annotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)` Gets the `OWLAnnotationPropertyDomainAxiom` objects where the specified property is the property in the domain axiom.
`Stream<OWLAnnotationPropertyRangeAxiom>`	`annotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)` Gets the `OWLAnnotationPropertyRangeAxiom` objects where the specified property is the property in the range axiom.
`Stream<OWLAnnotation>`	`annotations()`
`Stream<OWLAnnotation>`	`annotations(OWLAnnotationProperty p)`
`Stream<OWLAnnotation>`	`annotations(Predicate<OWLAnnotation> p)`
`List<OWLAnnotation>`	`annotationsAsList()`
`Stream<OWLAnonymousIndividual>`	`anonymousIndividuals()`
`ChangeApplied`	`applyChange(OWLOntologyChange owlOntologyChange)` A convenience method that applies just one change to an ontology.
`ChangeDetails`	`applyChangesAndGetDetails(List<? extends OWLOntologyChange> list)` Applies a list ontology changes to a collection of ontologies.
`ChangeApplied`	`applyDirectChange(OWLOntologyChange change)` A convenience method that applies just one change to this ontology.
`Stream<OWLAsymmetricObjectPropertyAxiom>`	`asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLAsymmetricObjectPropertyAxiom` objects contained in this ontology that make the specified object property asymmetric.
`Stream<OWLAxiom>`	`axioms()`
`<T extends OWLAxiom> Stream<T>`	`axioms(AxiomType<T> axiomType)` Gets the axioms which are of the specified type.
`<T extends OWLAxiom> Stream<T>`	`axioms(AxiomType<T> axiomType, Imports imports)` Gets all axioms of the specified type.
`<T extends OWLAxiom> Stream<T>`	`axioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Stream<T>`	`axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Stream<T>`	`axioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Stream<T>`	`axioms(Class<T> type, OWLObject entity, Navigation forSubPosition)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`Stream<OWLAxiom>`	`axioms(Imports imports)`
`Stream<OWLAnnotationAxiom>`	`axioms(OWLAnnotationProperty owlAnnotationProperty)` Gets the axioms that form the definition/description of an annotation property.
`Stream<OWLAnnotationAxiom>`	`axioms(OWLAnnotationProperty property, Imports imports)` Gets the axioms that form the definition/description of an annotation property.
`<T extends OWLAxiom> Stream<T>`	`axioms(OWLAxiomSearchFilter filter, Object key)` Generic filter type for further refining search by axiom type.
`<T extends OWLAxiom> Stream<T>`	`axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)` Generic filter type for further refining search by axiom type.
`Stream<OWLClassAxiom>`	`axioms(OWLClass owlClass)` Gets the axioms that form the definition/description of a class.
`Stream<OWLClassAxiom>`	`axioms(OWLClass cls, Imports imports)` Gets the axioms that form the definition/description of a class.
`Stream<OWLDataPropertyAxiom>`	`axioms(OWLDataProperty owlDataProperty)` Gets the axioms that form the definition/description of a data property.
`Stream<OWLDataPropertyAxiom>`	`axioms(OWLDataProperty property, Imports imports)` Gets the axioms that form the definition/description of a data property.
`Stream<OWLDatatypeDefinitionAxiom>`	`axioms(OWLDatatype owlDatatype)` Gets the datatype definition axioms for the specified datatype.
`Stream<OWLDatatypeDefinitionAxiom>`	`axioms(OWLDatatype datatype, Imports imports)` Gets the datatype definition axioms for the specified datatype.
`Stream<OWLIndividualAxiom>`	`axioms(OWLIndividual owlIndividual)` Gets the axioms that form the definition/description of an individual.
`Stream<OWLIndividualAxiom>`	`axioms(OWLIndividual individual, Imports imports)` Gets the axioms that form the definition/description of an individual.
`Stream<OWLObjectPropertyAxiom>`	`axioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the axioms that form the definition/description of an object property.
`Stream<OWLObjectPropertyAxiom>`	`axioms(OWLObjectPropertyExpression property, Imports imports)` Gets the axioms that form the definition/description of an object property.
`Stream<OWLAxiom>`	`axiomsIgnoreAnnotations(OWLAxiom owlAxiom)` Gets the stream 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.
`Stream<OWLAxiom>`	`axiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)` Gets the stream 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.
`Stream<OWLClassAssertionAxiom>`	`classAssertionAxioms(OWLClassExpression ce)` Gets the `OWLClassAssertionAxiom` objects contained in this ontology that make the specified class expression, `ce`, a type for some individual.
`Stream<OWLClassAssertionAxiom>`	`classAssertionAxioms(OWLIndividual individual)` Gets the `OWLClassAssertionAxiom` objects contained in this ontology that make the specified `individual` an instance of some class expression.
`Stream<OWLClass>`	`classesInSignature()`
`Stream<OWLClass>`	`classesInSignature(Imports imports)` Gets the classes in the signature and optionally the imports closure.
`int`	`compareTo(OWLObject o)`
`boolean`	`contains(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o)` Generic containment check type for further refining search by axiom type.
`boolean`	`contains(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o, Imports imports)` Generic containment check type for further refining search by axiom type.
`boolean`	`containsAnnotationPropertyInSignature(IRI iri)` Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
`boolean`	`containsAnnotationPropertyInSignature(IRI iri, boolean b)` Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
`boolean`	`containsAnnotationPropertyInSignature(IRI iri, Imports imports)` Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
`boolean`	`containsAxiom(OWLAxiom owlAxiom)` Determines whether or not this object contains a particular `OWLAxiom`.
`boolean`	`containsAxiom(OWLAxiom owlAxiom, boolean b)` Determines if this ontology contains the specified axiom, optionally including the imports closure.
`boolean`	`containsAxiom(OWLAxiom owlAxiom, Imports imports, AxiomAnnotations axiomAnnotations)` Determines if this ontology contains the specified axiom, optionally including the imports closure.
`boolean`	`containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom)` Determines if this ontology contains the specified axiom.
`boolean`	`containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)` Determines if this ontology contains the specified axiom, optionally including the imports closure.
`boolean`	`containsClassInSignature(IRI iri)` Determines if the signature contains an OWLClass that has the specified IRI.
`boolean`	`containsClassInSignature(IRI iri, boolean b)` Determines if the signature contains an OWLClass that has the specified IRI.
`boolean`	`containsClassInSignature(IRI iri, Imports imports)` Determines if the signature contains an OWLClass that has the specified IRI.
`boolean`	`containsDataPropertyInSignature(IRI iri)` Determines if the signature contains an OWLDataProperty that has the specified IRI.
`boolean`	`containsDataPropertyInSignature(IRI iri, boolean b)` Determines if the signature contains an OWLDataProperty that has the specified IRI.
`boolean`	`containsDataPropertyInSignature(IRI iri, Imports imports)` Determines if the signature contains an OWLDataProperty that has the specified IRI.
`boolean`	`containsDatatypeInSignature(IRI iri)` Determines if the signature contains an OWLDatatype that has the specified IRI.
`boolean`	`containsDatatypeInSignature(IRI iri, boolean b)` Determines if the signature contains an OWLDatatype that has the specified IRI.
`boolean`	`containsDatatypeInSignature(IRI iri, Imports imports)` Determines if the signature contains an OWLDatatype that has the specified IRI.
`boolean`	`containsEntitiesOfTypeInSignature(EntityType<?> type)` Determine whether the instance has entities of the specified type in its signature - e.g., whether an ontology has classes, object properties, or named individuals in its signature.
`boolean`	`containsEntitiesOfTypeInSignature(EntityType<?> type, Imports includeImportsClosure)` Determine whether the instance has entities of the specified type in its signature or in its import closure - e.g., whether an ontology has classes, object properties, or named individuals in its signature.
`boolean`	`containsEntityInSignature(IRI iri)` Determines if the signature contains an entity with the specified IRI.
`boolean`	`containsEntityInSignature(IRI iri, boolean b)` Determines if the signature contains an entity with the specified IRI.
`boolean`	`containsEntityInSignature(IRI iri, Imports imports)` Determines if the signature contains an entity with the specified IRI.
`boolean`	`containsEntityInSignature(OWLEntity owlEntity)` Determines if the signature of this object contains the specified entity.
`boolean`	`containsEntityInSignature(OWLEntity owlEntity, boolean b)` Determines if the signature contains the specified entity.
`boolean`	`containsEntityInSignature(OWLEntity owlEntity, Imports imports)` Determines if the signature contains the specified entity.
`boolean`	`containsIndividualInSignature(IRI iri)` Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
`boolean`	`containsIndividualInSignature(IRI iri, boolean b)` Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
`boolean`	`containsIndividualInSignature(IRI iri, Imports imports)` Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
`boolean`	`containsObjectPropertyInSignature(IRI iri)` Determines if the signature contains an OWLObjectProperty that has the specified IRI.
`boolean`	`containsObjectPropertyInSignature(IRI iri, boolean b)` Determines if the signature contains an OWLObjectProperty that has the specified IRI.
`boolean`	`containsObjectPropertyInSignature(IRI iri, Imports imports)` Determines if the signature contains an OWLObjectProperty that has the specified IRI.
`boolean`	`containsReference(OWLEntity owlEntity)`
`boolean`	`containsReference(OWLEntity owlEntity, boolean b)`
`boolean`	`containsReference(OWLEntity owlEntity, Imports imports)`
`Stream<OWLDataProperty>`	`dataPropertiesInSignature()`
`Stream<OWLDataProperty>`	`dataPropertiesInSignature(Imports imports)` Gets the data properties in the signature and optionally the imports closure.
`Stream<OWLDataPropertyAssertionAxiom>`	`dataPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLDataPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Stream<OWLDataPropertyDomainAxiom>`	`dataPropertyDomainAxioms(OWLDataProperty property)` Gets the `OWLDataPropertyDomainAxiom` objects where the property is equal to the specified property.
`Stream<OWLDataPropertyRangeAxiom>`	`dataPropertyRangeAxioms(OWLDataProperty property)` Gets the `OWLDataPropertyRangeAxiom` objects where the property is equal to the specified property.
`Stream<OWLSubDataPropertyOfAxiom>`	`dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)` Gets the `OWLSubDataPropertyOfAxiom` objects where the sub-property is equal to the specified property.
`Stream<OWLSubDataPropertyOfAxiom>`	`dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)` Gets the `OWLSubDataPropertyOfAxiom` objects where the super-property is equal to the specified property.
`Stream<OWLDatatypeDefinitionAxiom>`	`datatypeDefinitions(OWLDatatype datatype)` Gets the `OWLDatatypeDefinitionAxiom` objects contained in this ontology that provide a definition for the specified datatype.
`Stream<OWLDatatype>`	`datatypesInSignature()`
`Stream<OWLDatatype>`	`datatypesInSignature(Imports imports)` Gets the datatypes in the signature and optionally the imports closure.
`Stream<OWLDeclarationAxiom>`	`declarationAxioms(OWLEntity subject)` Gets the declaration axioms for specified entity.
`Stream<OWLDifferentIndividualsAxiom>`	`differentIndividualAxioms(OWLIndividual individual)` Gets the `OWLDifferentIndividualsAxiom` objects contained in this ontology that make the specified `individual` different to some other individual.
`Stream<OWLOntology>`	`directImports()` Stream of loaded ontologies that this ontology is related to via the directlyImports relation.
`Stream<IRI>`	`directImportsDocuments()` The stream of document IRIs that are directly imported by this ontology.
`Stream<OWLDisjointClassesAxiom>`	`disjointClassesAxioms(OWLClass cls)` Gets the stream of disjoint class axioms that contain the specified class as an operand.
`Stream<OWLDisjointDataPropertiesAxiom>`	`disjointDataPropertiesAxioms(OWLDataProperty property)` Gets the `OWLDisjointDataPropertiesAxiom` objects that make the specified property disjoint with some other data property expression(s).
`Stream<OWLDisjointObjectPropertiesAxiom>`	`disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)` Gets the `OWLDisjointObjectPropertiesAxiom` objects that make the specified property disjoint with some other object property expression(s).
`Stream<OWLDisjointUnionAxiom>`	`disjointUnionAxioms(OWLClass owlClass)` Gets the stream of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands.
`Stream<OWLEntity>`	`entitiesInSignature(IRI iri)`
`Stream<OWLEntity>`	`entitiesInSignature(IRI iri, Imports imports)` Gets the entities in the signature that have the specified IRI.
`boolean`	`equalAxioms(HasAxiomsByType o)` Compare the axioms inside this object with the axioms inside the other object, shortcutting by type; it will not merge all axioms in a large lump for comparisons only
`boolean`	`equals(Object obj)`
`Stream<OWLEquivalentClassesAxiom>`	`equivalentClassesAxioms(OWLClass cls)` Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
`Stream<OWLEquivalentDataPropertiesAxiom>`	`equivalentDataPropertiesAxioms(OWLDataProperty property)` Gets the `OWLEquivalentDataPropertiesAxiom` objects that make the specified property equivalent to some other data property expression(s).
`Stream<OWLEquivalentObjectPropertiesAxiom>`	`equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)` Gets the `OWLEquivalentObjectPropertiesAxiom` objects that make the specified property equivalent to some other object property expression(s).
`<T extends OWLAxiom> Collection<T>`	`filterAxioms(OWLAxiomSearchFilter filter, Object key)` Generic filter type for further refining search by axiom type.
`<T extends OWLAxiom> Collection<T>`	`filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o, Imports imports)` Generic filter type for further refining search by axiom type.
`Stream<OWLFunctionalDataPropertyAxiom>`	`functionalDataPropertyAxioms(OWLDataPropertyExpression property)` Gets the `OWLFunctionalDataPropertyAxiom` objects contained in this ontology that make the specified data property functional.
`Stream<OWLFunctionalObjectPropertyAxiom>`	`functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLFunctionalObjectPropertyAxiom` objects contained in this ontology that make the specified object property functional.
`Stream<OWLClassAxiom>`	`generalClassAxioms()` Gets the stream of general axioms in this ontology.
`Set<OWLAxiom>`	`getABoxAxioms(Imports imports)` Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
`Set<OWLAnnotationAssertionAxiom>`	`getAnnotationAssertionAxioms(OWLAnnotationSubject owlAnnotationSubject)` Gets the axioms that annotate the specified entity.
`Set<OWLAnnotationAssertionAxiom>`	`getAnnotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)` Gets the axioms that annotate the specified entity.
`Set<OWLAnnotationProperty>`	`getAnnotationPropertiesInSignature()`
`Set<OWLAnnotationProperty>`	`getAnnotationPropertiesInSignature(boolean b)` Gets the annotation properties in the signature and optionally the imports closure.
`Set<OWLAnnotationProperty>`	`getAnnotationPropertiesInSignature(Imports imports)` Gets the annotation properties in the signature and optionally the imports closure.
`Set<OWLAnnotationPropertyDomainAxiom>`	`getAnnotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)` Gets the `OWLAnnotationPropertyDomainAxiom` objects where the specified property is the property in the domain axiom.
`Set<OWLAnnotationPropertyRangeAxiom>`	`getAnnotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)` Gets the `OWLAnnotationPropertyRangeAxiom` objects where the specified property is the property in the range axiom.
`Set<OWLAnnotation>`	`getAnnotations()` Gets the annotations on this object.
`Set<OWLAnnotation>`	`getAnnotations(OWLAnnotationProperty annotationProperty)` Gets the annotations whose annotation property is equal to `annotationProperty`.
`Set<OWLAnonymousIndividual>`	`getAnonymousIndividuals()`
`Set<OWLAsymmetricObjectPropertyAxiom>`	`getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLAsymmetricObjectPropertyAxiom` objects contained in this ontology that make the specified object property asymmetric.
`int`	`getAxiomCount()`
`<T extends OWLAxiom> int`	`getAxiomCount(AxiomType<T> axiomType)` Gets the axiom count of a specific type of axiom.
`<T extends OWLAxiom> int`	`getAxiomCount(AxiomType<T> axiomType, boolean b)` Gets the axiom count of a specific type of axiom, optionally including the imports closure.
`<T extends OWLAxiom> int`	`getAxiomCount(AxiomType<T> axiomType, Imports imports)` Gets the axiom count of a specific type of axiom, optionally including the imports closure.
`int`	`getAxiomCount(boolean b)`
`int`	`getAxiomCount(Imports imports)`
`Set<OWLAxiom>`	`getAxioms()` Gets the `OWLAxiom`s contained in this object.
`<T extends OWLAxiom> Set<T>`	`getAxioms(AxiomType<T> axiomType)` Gets the axioms which are of the specified type.
`<T extends OWLAxiom> Set<T>`	`getAxioms(AxiomType<T> axiomType, boolean b)` Gets all axioms of the specified type.
`<T extends OWLAxiom> Set<T>`	`getAxioms(AxiomType<T> axiomType, Imports imports)` Gets all axioms of the specified type.
`Set<OWLAxiom>`	`getAxioms(boolean b)`
`<T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> type, OWLObject entity, Navigation forSubPosition)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`Set<OWLAxiom>`	`getAxioms(Imports imports)`
`Set<OWLAnnotationAxiom>`	`getAxioms(OWLAnnotationProperty owlAnnotationProperty)` Gets the axioms that form the definition/description of an annotation property.
`Set<OWLAnnotationAxiom>`	`getAxioms(OWLAnnotationProperty owlAnnotationProperty, boolean b)` Gets the axioms that form the definition/description of an annotation property.
`Set<OWLAnnotationAxiom>`	`getAxioms(OWLAnnotationProperty owlAnnotationProperty, Imports imports)` Gets the axioms that form the definition/description of an annotation property.
`Set<OWLClassAxiom>`	`getAxioms(OWLClass owlClass)` Gets the axioms that form the definition/description of a class.
`Set<OWLClassAxiom>`	`getAxioms(OWLClass owlClass, boolean b)` Gets the axioms that form the definition/description of a class.
`Set<OWLClassAxiom>`	`getAxioms(OWLClass owlClass, Imports imports)` Gets the axioms that form the definition/description of a class.
`Set<OWLDataPropertyAxiom>`	`getAxioms(OWLDataProperty owlDataProperty)` Gets the axioms that form the definition/description of a data property.
`Set<OWLDataPropertyAxiom>`	`getAxioms(OWLDataProperty owlDataProperty, boolean b)` Gets the axioms that form the definition/description of a data property.
`Set<OWLDataPropertyAxiom>`	`getAxioms(OWLDataProperty owlDataProperty, Imports imports)` Gets the axioms that form the definition/description of a data property.
`Set<OWLDatatypeDefinitionAxiom>`	`getAxioms(OWLDatatype owlDatatype)` Gets the datatype definition axioms for the specified datatype.
`Set<OWLDatatypeDefinitionAxiom>`	`getAxioms(OWLDatatype owlDatatype, boolean b)` Gets the datatype definition axioms for the specified datatype.
`Set<OWLDatatypeDefinitionAxiom>`	`getAxioms(OWLDatatype owlDatatype, Imports imports)` Gets the datatype definition axioms for the specified datatype.
`Set<OWLIndividualAxiom>`	`getAxioms(OWLIndividual owlIndividual)` Gets the axioms that form the definition/description of an individual.
`Set<OWLIndividualAxiom>`	`getAxioms(OWLIndividual owlIndividual, boolean b)` Gets the axioms that form the definition/description of an individual.
`Set<OWLIndividualAxiom>`	`getAxioms(OWLIndividual owlIndividual, Imports imports)` Gets the axioms that form the definition/description of an individual.
`Set<OWLObjectPropertyAxiom>`	`getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the axioms that form the definition/description of an object property.
`Set<OWLObjectPropertyAxiom>`	`getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression, boolean b)` Gets the axioms that form the definition/description of an object property.
`Set<OWLObjectPropertyAxiom>`	`getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression, Imports imports)` Gets the axioms that form the definition/description of an object property.
`Set<OWLAxiom>`	`getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)` 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>`	`getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)` 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>`	`getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)` 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<OWLClassAssertionAxiom>`	`getClassAssertionAxioms(OWLClassExpression owlClassExpression)` Gets the `OWLClassAssertionAxiom` objects contained in this ontology that make the specified class expression, `ce`, a type for some individual.
`Set<OWLClassAssertionAxiom>`	`getClassAssertionAxioms(OWLIndividual owlIndividual)` Gets the `OWLClassAssertionAxiom` objects contained in this ontology that make the specified `individual` an instance of some class expression.
`Set<OWLClass>`	`getClassesInSignature()` Gets the classes in the signature of this object.
`Set<OWLClass>`	`getClassesInSignature(boolean b)` Gets the classes in the signature and optionally the imports closure.
`Set<OWLClass>`	`getClassesInSignature(Imports imports)` Gets the classes in the signature and optionally the imports closure.
`Set<OWLDataProperty>`	`getDataPropertiesInSignature()` Get the data properties that are in the signature of this object.
`Set<OWLDataProperty>`	`getDataPropertiesInSignature(boolean b)` Gets the data properties in the signature and optionally the imports closure.
`Set<OWLDataProperty>`	`getDataPropertiesInSignature(Imports imports)` Gets the data properties in the signature and optionally the imports closure.
`Set<OWLDataPropertyAssertionAxiom>`	`getDataPropertyAssertionAxioms(OWLIndividual owlIndividual)` Gets the `OWLDataPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Set<OWLDataPropertyDomainAxiom>`	`getDataPropertyDomainAxioms(OWLDataProperty owlDataProperty)` Gets the `OWLDataPropertyDomainAxiom` objects where the property is equal to the specified property.
`Set<OWLDataPropertyRangeAxiom>`	`getDataPropertyRangeAxioms(OWLDataProperty owlDataProperty)` Gets the `OWLDataPropertyRangeAxiom` objects where the property is equal to the specified property.
`Set<OWLSubDataPropertyOfAxiom>`	`getDataSubPropertyAxiomsForSubProperty(OWLDataProperty owlDataProperty)` Gets the `OWLSubDataPropertyOfAxiom` objects where the sub-property is equal to the specified property.
`Set<OWLSubDataPropertyOfAxiom>`	`getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression owlDataPropertyExpression)` Gets the `OWLSubDataPropertyOfAxiom` objects where the super-property is equal to the specified property.
`Set<OWLDatatypeDefinitionAxiom>`	`getDatatypeDefinitions(OWLDatatype owlDatatype)` Gets the `OWLDatatypeDefinitionAxiom` objects contained in this ontology that provide a definition for the specified datatype.
`Set<OWLDatatype>`	`getDatatypesInSignature()` Gets the datatypes that are in the signature of this object.
`Set<OWLDatatype>`	`getDatatypesInSignature(boolean b)` Gets the datatypes in the signature and optionally the imports closure.
`Set<OWLDatatype>`	`getDatatypesInSignature(Imports imports)` Gets the datatypes in the signature and optionally the imports closure.
`Set<OWLDeclarationAxiom>`	`getDeclarationAxioms(OWLEntity owlEntity)` Gets the declaration axioms for specified entity.
`Set<OWLDifferentIndividualsAxiom>`	`getDifferentIndividualAxioms(OWLIndividual owlIndividual)` Gets the `OWLDifferentIndividualsAxiom` objects contained in this ontology that make the specified `individual` different to some other individual.
`Set<OWLOntology>`	`getDirectImports()` Gets the set of loaded ontologies that this ontology is related to via the directlyImports relation.
`Set<IRI>`	`getDirectImportsDocuments()` Gets the set of document IRIs that are directly imported by this ontology.
`Set<OWLDisjointClassesAxiom>`	`getDisjointClassesAxioms(OWLClass owlClass)` Gets the set of disjoint class axioms that contain the specified class as an operand.
`Set<OWLDisjointDataPropertiesAxiom>`	`getDisjointDataPropertiesAxioms(OWLDataProperty owlDataProperty)` Gets the `OWLDisjointDataPropertiesAxiom` objects that make the specified property disjoint with some other data property expression(s).
`Set<OWLDisjointObjectPropertiesAxiom>`	`getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLDisjointObjectPropertiesAxiom` objects that make the specified property disjoint with some other object property expression(s).
`Set<OWLDisjointUnionAxiom>`	`getDisjointUnionAxioms(OWLClass owlClass)` Gets the set of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands.
`Set<OWLEntity>`	`getEntitiesInSignature(IRI iri)`
`Set<OWLEntity>`	`getEntitiesInSignature(IRI iri, boolean b)` Gets the entities in the signature that have the specified IRI.
`Set<OWLEntity>`	`getEntitiesInSignature(IRI iri, Imports imports)` Gets the entities in the signature that have the specified IRI.
`Set<OWLEquivalentClassesAxiom>`	`getEquivalentClassesAxioms(OWLClass owlClass)` Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
`Set<OWLEquivalentDataPropertiesAxiom>`	`getEquivalentDataPropertiesAxioms(OWLDataProperty owlDataProperty)` Gets the `OWLEquivalentDataPropertiesAxiom` objects that make the specified property equivalent to some other data property expression(s).
`Set<OWLEquivalentObjectPropertiesAxiom>`	`getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLEquivalentObjectPropertiesAxiom` objects that make the specified property equivalent to some other object property expression(s).
`OWLDocumentFormat`	`getFormat()`
`Set<OWLFunctionalDataPropertyAxiom>`	`getFunctionalDataPropertyAxioms(OWLDataPropertyExpression owlDataPropertyExpression)` Gets the `OWLFunctionalDataPropertyAxiom` objects contained in this ontology that make the specified data property functional.
`Set<OWLFunctionalObjectPropertyAxiom>`	`getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLFunctionalObjectPropertyAxiom` objects contained in this ontology that make the specified object property functional.
`Set<OWLClassAxiom>`	`getGeneralClassAxioms()` Gets the set of general axioms in this ontology.
`Set<OWLHasKeyAxiom>`	`getHasKeyAxioms(OWLClass owlClass)` Gets the has key axioms that have the specified class as their subject.
`Set<OWLOntology>`	`getImports()` Gets the set of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation. For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.
`Set<OWLOntology>`	`getImportsClosure()` Gets the set of loaded ontologies that this ontology is related to via the reflexive transitive closure of the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural Specification.
`Set<OWLImportsDeclaration>`	`getImportsDeclarations()` Gets the set of imports declarations for this ontology.
`Set<OWLNamedIndividual>`	`getIndividualsInSignature()` A convenience method that obtains the individuals that are in the signature of this object.
`Set<OWLNamedIndividual>`	`getIndividualsInSignature(boolean b)` Gets the named individuals in the signature and optionally the imports closure.
`Set<OWLNamedIndividual>`	`getIndividualsInSignature(Imports imports)` Gets the named individuals in the signature and optionally the imports closure.
`Set<OWLInverseFunctionalObjectPropertyAxiom>`	`getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLInverseFunctionalObjectPropertyAxiom` objects contained in this ontology that make the specified object property inverse functional.
`Set<OWLInverseObjectPropertiesAxiom>`	`getInverseObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLInverseObjectPropertiesAxiom` objects where the specified property is contained in the set returned by `OWLNaryPropertyAxiom.properties()` .
`Set<OWLIrreflexiveObjectPropertyAxiom>`	`getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLIrreflexiveObjectPropertyAxiom` objects contained in this ontology that make the specified object property irreflexive.
`int`	`getLogicalAxiomCount()` Gets the number of logical axioms in this collection.
`int`	`getLogicalAxiomCount(boolean b)` Gets the number of logical axioms in this collection, optionally including the imports closure.
`int`	`getLogicalAxiomCount(Imports imports)` Gets the number of logical axioms in this collection, optionally including the imports closure.
`Set<OWLLogicalAxiom>`	`getLogicalAxioms()` Gets the set of `OWLLogicalAxiom`s contained within this object.
`Set<OWLLogicalAxiom>`	`getLogicalAxioms(boolean b)` Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
`Set<OWLLogicalAxiom>`	`getLogicalAxioms(Imports imports)` Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
`Set<OWLNegativeDataPropertyAssertionAxiom>`	`getNegativeDataPropertyAssertionAxioms(OWLIndividual owlIndividual)` Gets the `OWLNegativeDataPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Set<OWLNegativeObjectPropertyAssertionAxiom>`	`getNegativeObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)` Gets the `OWLNegativeObjectPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Set<OWLClassExpression>`	`getNestedClassExpressions()` Gets all of the nested (includes top level) class expressions (anonymous and named) that are used in this object.
`Set<OWLObjectProperty>`	`getObjectPropertiesInSignature()` A convenience method that obtains the object properties that are in the signature of this object.
`Set<OWLObjectProperty>`	`getObjectPropertiesInSignature(boolean b)` Gets the object properties in the signature and optionally the imports closure.
`Set<OWLObjectProperty>`	`getObjectPropertiesInSignature(Imports imports)` Gets the object properties in the signature and optionally the imports closure.
`Set<OWLObjectPropertyAssertionAxiom>`	`getObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)` Gets the `OWLObjectPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Set<OWLObjectPropertyDomainAxiom>`	`getObjectPropertyDomainAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLObjectPropertyDomainAxiom` objects where the property is equal to the specified property.
`Set<OWLObjectPropertyRangeAxiom>`	`getObjectPropertyRangeAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLObjectPropertyRangeAxiom` objects where the property is equal to the specified property.
`Set<OWLSubObjectPropertyOfAxiom>`	`getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLSubObjectPropertyOfAxiom` objects where the sub-property is equal to the specified property.
`Set<OWLSubObjectPropertyOfAxiom>`	`getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLSubObjectPropertyOfAxiom` objects where the super-property is equal to the specified property.
`OWLOntologyID`	`getOntologyID()` Gets the `OWLOntologyID` belonging to this object.
`OWLOntologyManager`	`getOWLOntologyManager()` Gets the manager that manages this ontology.
`Set<IRI>`	`getPunnedIRIs(Imports imports)` Calculates the set of IRIs that are used for more than one entity type.
`Set<OWLAxiom>`	`getRBoxAxioms(Imports imports)` Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
`Set<OWLAnonymousIndividual>`	`getReferencedAnonymousIndividuals()` Gets the referenced anonymous individuals.
`Set<OWLAnonymousIndividual>`	`getReferencedAnonymousIndividuals(boolean b)` Gets the referenced anonymous individuals in the signature and optionally the imports closure.
`Set<OWLAnonymousIndividual>`	`getReferencedAnonymousIndividuals(Imports imports)` Gets the referenced anonymous individuals in the signature and optionally the imports closure.
`Set<OWLAxiom>`	`getReferencingAxioms(OWLPrimitive owlPrimitive)` Gets the axioms where the specified `OWLPrimitive` appears in the signature of the axiom. Note that currently signatures contain `OWLEntity` only.
`Set<OWLAxiom>`	`getReferencingAxioms(OWLPrimitive owlPrimitive, boolean b)` Gets the axioms where the specified `OWLPrimitive` appears in the signature of the axiom. Note that currently signatures contain `OWLEntity` only.
`Set<OWLAxiom>`	`getReferencingAxioms(OWLPrimitive owlPrimitive, Imports imports)` Gets the axioms where the specified `OWLPrimitive` appears in the signature of the axiom. Note that currently signatures contain `OWLEntity` only.
`Set<OWLReflexiveObjectPropertyAxiom>`	`getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLReflexiveObjectPropertyAxiom` objects contained in this ontology that make the specified object property reflexive.
`Set<OWLSameIndividualAxiom>`	`getSameIndividualAxioms(OWLIndividual owlIndividual)` Gets the `OWLSameIndividualAxiom` objects contained in this ontology that make the specified `individual` the same as some other individual.
`Set<OWLEntity>`	`getSignature()` Gets the signature of this object.
`Set<OWLEntity>`	`getSignature(Imports imports)` Gets the entities that are in the signature of this ontology.
`Set<OWLSubAnnotationPropertyOfAxiom>`	`getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty owlAnnotationProperty)` Gets the `OWLSubAnnotationPropertyOfAxiom` objects where the specified property is the sub-property.
`Set<OWLSubClassOfAxiom>`	`getSubClassAxiomsForSubClass(OWLClass owlClass)` Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
`Set<OWLSubClassOfAxiom>`	`getSubClassAxiomsForSuperClass(OWLClass owlClass)` Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
`Set<OWLSymmetricObjectPropertyAxiom>`	`getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLSymmetricObjectPropertyAxiom` objects contained in this ontology that make the specified object property symmetric.
`Set<OWLAxiom>`	`getTBoxAxioms(Imports imports)` Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.
`Set<OWLTransitiveObjectPropertyAxiom>`	`getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)` Gets the `OWLTransitiveObjectPropertyAxiom` objects contained in this ontology that make the specified object property transitive.
`int`	`hashCode()`
`Stream<OWLHasKeyAxiom>`	`hasKeyAxioms(OWLClass cls)` Gets the has key axioms that have the specified class as their subject.
`Stream<OWLOntology>`	`imports()` Gets the stream of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation. For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.
`Stream<OWLOntology>`	`importsClosure()` Gets the imports closure, including the root object.
`Stream<OWLImportsDeclaration>`	`importsDeclarations()` Gets the stream of imports declarations for this ontology.
`Stream<OWLNamedIndividual>`	`individualsInSignature()`
`Stream<OWLNamedIndividual>`	`individualsInSignature(Imports imports)` Gets the named individuals in the signature and optionally the imports closure.
`Stream<OWLInverseFunctionalObjectPropertyAxiom>`	`inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLInverseFunctionalObjectPropertyAxiom` objects contained in this ontology that make the specified object property inverse functional.
`Stream<OWLInverseObjectPropertiesAxiom>`	`inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLInverseObjectPropertiesAxiom` objects where the specified property is contained in the stream returned by `OWLNaryPropertyAxiom.properties()` .
`Stream<OWLIrreflexiveObjectPropertyAxiom>`	`irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLIrreflexiveObjectPropertyAxiom` objects contained in this ontology that make the specified object property irreflexive.
`boolean`	`isAnonymous()`
`boolean`	`isBottomEntity()` Determines if this object is either, owl:Nothing (the bottom class), owl:bottomObjectProperty (the bottom object property) , owl:bottomDataProperty (the bottom data property).
`boolean`	`isDeclared(OWLEntity owlEntity)` Determines if this ontology declares an entity i.e.
`boolean`	`isDeclared(OWLEntity owlEntity, Imports imports)` Determines if this ontology or its imports closure declares an entity i.e.
`boolean`	`isEmpty()` Determines if this ontology is empty - an ontology is empty if it does not contain any axioms (i.e.
`boolean`	`isTopEntity()` Determines if this object is either, owl:Thing (the top class), owl:topObjectProperty (the top object property) , owl:topDataProperty (the top data property) or rdfs:Literal (the top datatype).
`Stream<OWLLogicalAxiom>`	`logicalAxioms()`
`Stream<OWLLogicalAxiom>`	`logicalAxioms(Imports imports)` Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
`Stream<OWLNegativeDataPropertyAssertionAxiom>`	`negativeDataPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLNegativeDataPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Stream<OWLNegativeObjectPropertyAssertionAxiom>`	`negativeObjectPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLNegativeObjectPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Stream<OWLClassExpression>`	`nestedClassExpressions()` Gets all of the nested (includes top level) class expressions (anonymous and named) that are used in this object.
`Stream<OWLObjectProperty>`	`objectPropertiesInSignature()`
`Stream<OWLObjectProperty>`	`objectPropertiesInSignature(Imports imports)` Gets the object properties in the signature and optionally the imports closure.
`Stream<OWLObjectPropertyAssertionAxiom>`	`objectPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLObjectPropertyAssertionAxiom` objects contained in this ontology that have the specified `individual` as the subject of the axiom.
`Stream<OWLObjectPropertyDomainAxiom>`	`objectPropertyDomainAxioms(OWLObjectPropertyExpression property)` Gets the `OWLObjectPropertyDomainAxiom` objects where the property is equal to the specified property.
`Stream<OWLObjectPropertyRangeAxiom>`	`objectPropertyRangeAxioms(OWLObjectPropertyExpression property)` Gets the `OWLObjectPropertyRangeAxiom` objects where the property is equal to the specified property.
`Stream<OWLSubObjectPropertyOfAxiom>`	`objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)` Gets the `OWLSubObjectPropertyOfAxiom` objects where the sub-property is equal to the specified property.
`Stream<OWLSubObjectPropertyOfAxiom>`	`objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)` Gets the `OWLSubObjectPropertyOfAxiom` objects where the super-property is equal to the specified property.
`Stream<OWLAxiom>`	`rboxAxioms(Imports imports)` Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
`Stream<OWLAnonymousIndividual>`	`referencedAnonymousIndividuals()` Gets the referenced anonymous individuals.
`Stream<OWLAnonymousIndividual>`	`referencedAnonymousIndividuals(Imports imports)` Gets the referenced anonymous individuals in the signature and optionally the imports closure.
`Stream<OWLAxiom>`	`referencingAxioms(OWLPrimitive owlPrimitive)` Gets the axioms where the specified `OWLPrimitive` appears in the signature of the axiom. Note that currently signatures contain `OWLEntity` only.
`Stream<OWLAxiom>`	`referencingAxioms(OWLPrimitive owlPrimitive, Imports imports)` Gets the axioms where the specified `OWLPrimitive` appears in the signature of the axiom. Note that currently signatures contain `OWLEntity` only.
`Stream<OWLReflexiveObjectPropertyAxiom>`	`reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLReflexiveObjectPropertyAxiom` objects contained in this ontology that make the specified object property reflexive.
`ChangeApplied`	`remove(Collection<? extends OWLAxiom> axioms)` A convenience method that removes a set of axioms from this object.
`ChangeApplied`	`remove(OWLAxiom... axioms)` A convenience method that removes a set of axioms from this object.
`ChangeApplied`	`remove(OWLAxiom axiom)` A convenience method that removes a single axiom from this object.
`ChangeApplied`	`removeAxiom(OWLAxiom axiom)` A convenience method that removes a single axiom from this object.
`ChangeApplied`	`removeAxioms(Collection<? extends OWLAxiom> axioms)` A convenience method that removes a set of axioms from this object.
`ChangeApplied`	`removeAxioms(OWLAxiom... axioms)` A convenience method that removes a set of axioms from this object.
`Stream<OWLSameIndividualAxiom>`	`sameIndividualAxioms(OWLIndividual individual)` Gets the `OWLSameIndividualAxiom` objects contained in this ontology that make the specified `individual` the same as some other individual.
`void`	`saveOntology()` Saves the ontology.
`void`	`saveOntology(IRI iri)` Saves the ontology, using the specified document IRI to determine where/how the ontology should be saved.
`void`	`saveOntology(OutputStream outputStream)` Saves the ontology, to the specified output stream
`void`	`saveOntology(OWLDocumentFormat owlDocumentFormat)` Saves the ontology in the specified ontology format to its document URI.
`void`	`saveOntology(OWLDocumentFormat owlDocumentFormat, IRI iri)` Saves the ontology to the specified document IRI in the specified ontology format.
`void`	`saveOntology(OWLDocumentFormat owlDocumentFormat, OutputStream outputStream)` Saves the ontology to the specified output stream in the specified ontology format.
`void`	`saveOntology(OWLDocumentFormat owlDocumentFormat, OWLOntologyDocumentTarget owlOntologyDocumentTarget)` Saves the ontology to the specified output target in the specified ontology format.
`void`	`saveOntology(OWLOntologyDocumentTarget owlOntologyDocumentTarget)` Saves the ontology to the specified `OWLOntologyDocumentTarget`.
`void`	`setLock(ReadWriteLock lock)` Override the lock in the ontology; this is a workaround for #806
`void`	`setOWLOntologyManager(OWLOntologyManager owlOntologyManager)` Sets the manager for this ontology.
`Stream<OWLEntity>`	`signature()`
`Stream<OWLEntity>`	`signature(Imports imports)` Gets the entities that are in the signature of this ontology.
`Stream<OWLSubAnnotationPropertyOfAxiom>`	`subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)` Gets the `OWLSubAnnotationPropertyOfAxiom` objects where the specified property is the sub-property.
`Stream<OWLSubClassOfAxiom>`	`subClassAxiomsForSubClass(OWLClass cls)` Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
`Stream<OWLSubClassOfAxiom>`	`subClassAxiomsForSuperClass(OWLClass cls)` Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
`Stream<OWLSymmetricObjectPropertyAxiom>`	`symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLSymmetricObjectPropertyAxiom` objects contained in this ontology that make the specified object property symmetric.
`Stream<OWLAxiom>`	`tboxAxioms(Imports imports)` Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.
`String`	`toString()`
`Stream<OWLTransitiveObjectPropertyAxiom>`	`transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLTransitiveObjectPropertyAxiom` objects contained in this ontology that make the specified object property transitive.
`void`	`trimToSize()` Trim the capacity of the axiom indexes.
`int`	`typeIndex()`

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLOntology
addAxioms, components, getNonnullFormat, hashIndex, initHashCode, isAxiom, isIndividual, isOntology, removeAxioms

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
hashIteration, hasSharedStructure, isAnonymousExpression, isIRI

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature
unsortedSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasComponents
componentsAnnotationsFirst, componentsWithoutAnnotations

Methods inherited from interface org.semanticweb.owlapi.model.IsAnonymous
isNamed

Methods inherited from interface org.semanticweb.owlapi.model.HasApplyChanges
applyChanges, applyChanges, applyChangesAndGetDetails

Methods inherited from interface org.semanticweb.owlapi.model.HasDirectRemoveAxioms
remove

- Constructor Detail
  - ConcurrentOWLOntologyImpl
```
@Inject
public ConcurrentOWLOntologyImpl(OWLOntology delegate,
                                         ReadWriteLock readWriteLock)
```
    Constructs a ConcurrentOWLOntology that provides concurrent access to a delegate OWLOntology.
    
    Parameters:
    
    delegate - The delegate OWLOntology.
    
    readWriteLock - The ReadWriteLock that will provide the locking.
    
    Throws:
    
    NullPointerException - if any parameters are null.
- Method Detail
  - typeIndex
```
public int typeIndex()
```
    Specified by:
    
    typeIndex in interface HasIndex
    
    Specified by:
    
    typeIndex in interface OWLOntology
    
    Returns:
    
    index for this type. This is not a hashcode for instances, rather a sorting index for the types.
  - setLock
```
public void setLock(ReadWriteLock lock)
```
    Description copied from interface: OWLMutableOntology
    
    Override the lock in the ontology; this is a workaround for #806
    
    Specified by:
    
    setLock in interface OWLMutableOntology
    
    Parameters:
    
    lock - overriding lock instance to use
  - trimToSize
```
public void trimToSize()
```
    Description copied from interface: HasTrimToSize
    
    Trim the capacity of the axiom indexes. An application can use this operation to minimize the storage of the index instance.
    
    Specified by:
    
    trimToSize in interface HasTrimToSize
  - accept
```
public void accept(OWLNamedObjectVisitor owlNamedObjectVisitor)
```
    Description copied from interface: OWLOntology
    
    accept for named object visitor
    
    Specified by:
    
    accept in interface OWLOntology
    
    Parameters:
    
    owlNamedObjectVisitor - the visitor
  - accept
```
public <O> O accept(OWLNamedObjectVisitorEx<O> owlNamedObjectVisitorEx)
```
    Description copied from interface: OWLOntology
    
    Accepts a visitor
    
    Specified by:
    
    accept in interface OWLOntology
    
    Type Parameters:
    
    O - visitor return type
    
    Parameters:
    
    owlNamedObjectVisitorEx - The visitor
    
    Returns:
    
    visitor return value
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(@Nullable
                      Object obj)
```
    Overrides:
    
    equals in class Object
  - getOWLOntologyManager
```
public OWLOntologyManager getOWLOntologyManager()
```
    Description copied from interface: OWLOntology
    
    Gets the manager that manages this ontology. The manager is used by various methods on OWLOntology to resolve imports
    
    Specified by:
    
    getOWLOntologyManager in interface OWLOntology
    
    Returns:
    
    The manager for this ontology.
  - setOWLOntologyManager
```
public void setOWLOntologyManager(@Nullable
                                  OWLOntologyManager owlOntologyManager)
```
    Description copied from interface: OWLOntology
    
    Sets the manager for this ontology. This method is used when moving ontologies from one manager to another and when removing an ontology form a manager, and should be used by OWLOntologyManager implementations only.
    
    Specified by:
    
    setOWLOntologyManager in interface OWLOntology
    
    Parameters:
    
    owlOntologyManager - the new manager for this ontology
  - getOntologyID
```
public OWLOntologyID getOntologyID()
```
    Description copied from interface: HasOntologyID
    
    Gets the OWLOntologyID belonging to this object.
    
    Specified by:
    
    getOntologyID in interface HasOntologyID
    
    Returns:
    
    The OWLOntologyID
  - isAnonymous
```
public boolean isAnonymous()
```
    Specified by:
    
    isAnonymous in interface IsAnonymous
    
    Returns:
    
    true if this object is anonymous, false otherwise. For example, class expressions are anonymous while class entities are not (they have an IRI); OWLNamedIndividual instances are named, OWLAnonymousIndividual instances are anonymous. An ontology is anonymous if it does not have an ontology IRI. In this case, getOntologyID().getOntologyIRI() will return an empty optional.
  - getAnnotations
```
public Set<OWLAnnotation> getAnnotations()
```
    Description copied from interface: HasAnnotations
    
    Gets the annotations on this object.
    
    Specified by:
    
    getAnnotations in interface HasAnnotations
    
    Returns:
    
    A set of annotations on this object. For an OWLOntology, these are the ontology annotations, not the annotations attached to axioms or annotation axioms contained in the ontology. For an OWLAnnotation, these are the annotations on the annotation; the annotation itself is not included. The set returned will be a copy - modifying the set will have no effect on the annotations in this object, similarly, any changes that affect the annotations on this object will not change the returned set. Note: for iterating over this set of annotations, using the annotations() stream is more efficient.
  - getDirectImportsDocuments
```
public Set<IRI> getDirectImportsDocuments()
```
    Description copied from interface: HasDirectImports
    
    Gets the set of document IRIs that are directly imported by this ontology. This corresponds to the IRIs defined by the directlyImportsDocument association as discussed in Section 3.4 of the OWL 2 Structural specification.
    
    Specified by:
    
    getDirectImportsDocuments in interface HasDirectImports
    
    Returns:
    
    The set of directly imported document IRIs. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - directImportsDocuments
```
public Stream<IRI> directImportsDocuments()
```
    Description copied from interface: HasDirectImports
    
    The stream of document IRIs that are directly imported by this ontology. This corresponds to the IRIs defined by the directlyImportsDocument association as discussed in Section 3.4 of the OWL 2 Structural specification.
    
    Specified by:
    
    directImportsDocuments in interface HasDirectImports
    
    Returns:
    
    The stream of directly imported document IRIs.
  - getDirectImports
```
public Set<OWLOntology> getDirectImports()
```
    Description copied from interface: HasDirectImports
    
    Gets the set of loaded ontologies that this ontology is related to via the directlyImports relation. See Section 3.4 of the OWL 2 specification for the definition of the directlyImports relation.
    Note that there may be fewer ontologies in the set returned by this method than there are IRIs in the set returned by the HasDirectImports.getDirectImportsDocuments() method. This will be the case if some of the ontologies that are directly imported by this ontology are not loaded for what ever reason.
    
    Specified by:
    
    getDirectImports in interface HasDirectImports
    
    Returns:
    
    A set of ontologies such that for this ontology O, and each ontology O' in the set, (O, O') is in the directlyImports relation. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - directImports
```
public Stream<OWLOntology> directImports()
```
    Description copied from interface: HasDirectImports
    
    Stream of loaded ontologies that this ontology is related to via the directlyImports relation. See Section 3.4 of the OWL 2 specification for the definition of the directlyImports relation.
    Note that there may be fewer ontologies in the set returned by this method than there are IRIs in the set returned by the HasDirectImports.getDirectImportsDocuments() method. This will be the case if some of the ontologies that are directly imported by this ontology are not loaded for what ever reason.
    
    Specified by:
    
    directImports in interface HasDirectImports
    
    Returns:
    
    Stream of ontologies such that for this ontology O, and each ontology O' in the set, (O, O') is in the directlyImports relation.
  - getImports
```
public Set<OWLOntology> getImports()
```
    Description copied from interface: OWLOntology
    
    Gets the set of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation.
    For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.
    
    Specified by:
    
    getImports in interface OWLOntology
    
    Returns:
    
    The set of ontologies that this ontology is related to via the transitive closure of the directlyImports relation. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - imports
```
public Stream<OWLOntology> imports()
```
    Description copied from interface: OWLOntology
    
    Gets the stream of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation.
    For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.
    
    Specified by:
    
    imports in interface OWLOntology
    
    Returns:
    
    The stream of ontologies that this ontology is related to via the transitive closure of the directlyImports relation.
  - getImportsClosure
```
public Set<OWLOntology> getImportsClosure()
```
    Description copied from interface: HasImportsClosure
    
    Gets the set of loaded ontologies that this ontology is related to via the reflexive transitive closure of the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural Specification. For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of this ontology, ontology B and ontology C.
    
    Specified by:
    
    getImportsClosure in interface HasImportsClosure
    
    Returns:
    
    The set of ontologies in the reflexive transitive closure of the directlyImports relation. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - importsClosure
```
public Stream<OWLOntology> importsClosure()
```
    Description copied from interface: HasImportsClosure
    
    Gets the imports closure, including the root object.
    
    Specified by:
    
    importsClosure in interface HasImportsClosure
    
    Returns:
    
    Stream of ontologies representing the imports closure of this object (includes this object).
  - getImportsDeclarations
```
public Set<OWLImportsDeclaration> getImportsDeclarations()
```
    Description copied from interface: OWLOntology
    
    Gets the set of imports declarations for this ontology. The set returned represents the set of IRIs that correspond to the set of IRIs in an ontology's directlyImportsDocuments (see Section 3 in the OWL 2 structural specification).
    
    Specified by:
    
    getImportsDeclarations in interface OWLOntology
    
    Returns:
    
    The set of imports declarations that correspond to the set of ontology document IRIs that are directly imported by this ontology. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - isEmpty
```
public boolean isEmpty()
```
    Description copied from interface: OWLOntology
    
    Determines if this ontology is empty - an ontology is empty if it does not contain any axioms (i.e. HasAxioms.axioms() is empty), and it does not have any annotations (i.e. HasAnnotations.annotations() is empty).
    
    Specified by:
    
    isEmpty in interface OWLOntology
    
    Returns:
    
    true if the ontology is empty, otherwise false.
  - getTBoxAxioms
```
public Set<OWLAxiom> getTBoxAxioms(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.
    
    Specified by:
    
    getTBoxAxioms in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A set containing the axioms which are of the specified type. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getABoxAxioms
```
public Set<OWLAxiom> getABoxAxioms(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
    
    Specified by:
    
    getABoxAxioms in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A set containing the axioms which are of the specified type. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getRBoxAxioms
```
public Set<OWLAxiom> getRBoxAxioms(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
    
    Specified by:
    
    getRBoxAxioms in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A set containing the axioms which are of the specified type. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - tboxAxioms
```
public Stream<OWLAxiom> tboxAxioms(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.
    
    Specified by:
    
    tboxAxioms in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A stream containing the axioms which are of the specified type.
  - aboxAxioms
```
public Stream<OWLAxiom> aboxAxioms(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
    
    Specified by:
    
    aboxAxioms in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A stream containing the axioms which are of the specified type.
  - rboxAxioms
```
public Stream<OWLAxiom> rboxAxioms(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
    
    Specified by:
    
    rboxAxioms in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A stream containing the axioms which are of the specified type.
  - getGeneralClassAxioms
```
public Set<OWLClassAxiom> getGeneralClassAxioms()
```
    Description copied from interface: OWLOntology
    Gets the set of general axioms in this ontology. This includes:
    - Subclass axioms that have a complex class as the subclass
    - Equivalent class axioms that don't contain any named classes ( OWLClasses)
    - Disjoint class axioms that don't contain any named classes ( OWLClasses)
    Specified by:
    
    getGeneralClassAxioms in interface OWLOntology
    
    Returns:
    
    The set of general axioms in this ontology. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getSignature
```
public Set<OWLEntity> getSignature()
```
    Description copied from interface: HasSignature
    
    Gets the signature of this object. The default implementation is an empty, modifiable set.
    For ontologies, the signature of an ontology is the set of entities that are used to build axioms and annotations in the ontology. (See The OWL 2 Structural Specification)
    For ontology changes, this is the signature of the axiom being added/removed or the annotation being added/removed, or empty.
    
    Specified by:
    
    getSignature in interface HasSignature
    
    Returns:
    
    A set of entities that represents the signature of this object. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getSignature
```
public Set<OWLEntity> getSignature(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the entities that are in the signature of this ontology. The signature of an ontology is the set of entities that are used to build axioms and annotations in the ontology. (See The OWL 2 Structural Specification)
    
    Specified by:
    
    getSignature in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A set of OWLEntity objects. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
    
    See Also:
    
    HasClassesInSignature.classesInSignature(), HasObjectPropertiesInSignature.objectPropertiesInSignature(), HasDataPropertiesInSignature.dataPropertiesInSignature(), HasIndividualsInSignature.individualsInSignature()
  - generalClassAxioms
```
public Stream<OWLClassAxiom> generalClassAxioms()
```
    Description copied from interface: OWLOntology
    Gets the stream of general axioms in this ontology. This includes:
    - Subclass axioms that have a complex class as the subclass
    - Equivalent class axioms that don't contain any named classes ( OWLClasses)
    - Disjoint class axioms that don't contain any named classes ( OWLClasses)
    Specified by:
    
    generalClassAxioms in interface OWLOntology
    
    Returns:
    
    The sorted stream containing the general axioms in the ontology.
  - signature
```
public Stream<OWLEntity> signature()
```
    Specified by:
    
    signature in interface HasSignature
    
    Returns:
    
    Stream of the signature of this object.
  - signature
```
public Stream<OWLEntity> signature(Imports imports)
```
    Description copied from interface: OWLOntology
    
    Gets the entities that are in the signature of this ontology. The signature of an ontology is the set of entities that are used to build axioms and annotations in the ontology. (See The OWL 2 Structural Specification)
    
    Specified by:
    
    signature in interface OWLOntology
    
    Parameters:
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A stream of OWLEntity objects.
    
    See Also:
    
    HasClassesInSignature.classesInSignature(), HasObjectPropertiesInSignature.objectPropertiesInSignature(), HasDataPropertiesInSignature.dataPropertiesInSignature(), HasIndividualsInSignature.individualsInSignature()
  - isDeclared
```
public boolean isDeclared(OWLEntity owlEntity)
```
    Description copied from interface: OWLOntology
    
    Determines if this ontology declares an entity i.e. it contains a declaration axiom for the specified entity.
    
    Specified by:
    
    isDeclared in interface OWLOntology
    
    Parameters:
    
    owlEntity - The entity to be tested for
    
    Returns:
    
    true if the ontology contains a declaration for the specified entity, otherwise false.
  - isDeclared
```
public boolean isDeclared(OWLEntity owlEntity,
                          Imports imports)
```
    Description copied from interface: OWLOntology
    
    Determines if this ontology or its imports closure declares an entity i.e. contains a declaration axiom for the specified entity.
    
    Specified by:
    
    isDeclared in interface OWLOntology
    
    Parameters:
    
    owlEntity - The entity to be tested for
    
    imports - if INCLUDED, the imports closure is included.
    
    Returns:
    
    true if the ontology or its imports closure contains a declaration for the specified entity, otherwise false.
  - saveOntology
```
public void saveOntology()
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology. The ontology will be saved to the location that it was loaded from, or if it was created programmatically, it will be saved to the location specified by an ontology IRI mapper at creation time. The ontology will be saved in the same format which it was loaded from, or the default ontology format if the ontology was created programmatically.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Throws:
    
    OWLOntologyStorageException - An exception will be thrown if there is a problem with saving the ontology, or the ontology can't be saved in the format it was loaded from.
  - saveOntology
```
public void saveOntology(IRI iri)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology, using the specified document IRI to determine where/how the ontology should be saved.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    iri - The document IRI where the ontology should be saved to
    
    Throws:
    
    OWLOntologyStorageException - If the ontology cannot be saved
  - saveOntology
```
public void saveOntology(OutputStream outputStream)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology, to the specified output stream
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    outputStream - The output stream where the ontology will be saved to
    
    Throws:
    
    OWLOntologyStorageException - If there was a problem saving this ontology to the specified output stream
  - saveOntology
```
public void saveOntology(OWLDocumentFormat owlDocumentFormat)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology in the specified ontology format to its document URI.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    owlDocumentFormat - The format in which the ontology should be saved.
    
    Throws:
    
    OWLOntologyStorageException - If the ontology cannot be saved.
  - saveOntology
```
public void saveOntology(OWLDocumentFormat owlDocumentFormat,
                         IRI iri)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology to the specified document IRI in the specified ontology format.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    owlDocumentFormat - The format in which to save the ontology
    
    iri - The document IRI where the ontology should be saved to
    
    Throws:
    
    OWLOntologyStorageException - If the ontology could not be saved.
  - saveOntology
```
public void saveOntology(OWLDocumentFormat owlDocumentFormat,
                         OutputStream outputStream)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology to the specified output stream in the specified ontology format.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    owlDocumentFormat - The format in which to save the ontology
    
    outputStream - The output stream where the ontology will be saved to.
    
    Throws:
    
    OWLOntologyStorageException - If the ontology could not be saved.
  - saveOntology
```
public void saveOntology(OWLOntologyDocumentTarget owlOntologyDocumentTarget)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology to the specified OWLOntologyDocumentTarget.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    owlOntologyDocumentTarget - The output target where the ontology will be saved to.
    
    Throws:
    
    OWLOntologyStorageException - If the ontology could not be saved.
  - saveOntology
```
public void saveOntology(OWLDocumentFormat owlDocumentFormat,
                         OWLOntologyDocumentTarget owlOntologyDocumentTarget)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology to the specified output target in the specified ontology format.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    owlDocumentFormat - The output format in which to save the ontology
    
    owlOntologyDocumentTarget - The output target where the ontology will be saved to
    
    Throws:
    
    OWLOntologyStorageException - If the ontology could not be saved.
  - getNestedClassExpressions
```
public Set<OWLClassExpression> getNestedClassExpressions()
```
    Description copied from interface: OWLObject
    
    Gets all of the nested (includes top level) class expressions (anonymous and named) that are used in this object. For an ontology, this method visits the logical axioms, so entities that are only declared (and possibly annotated) but do not appear in any logical axiom are not returned as part of the set. The default implementation of this method returns an empty, modifiable set.
    
    Specified by:
    
    getNestedClassExpressions in interface OWLObject
    
    Returns:
    
    A set of OWLClassExpressions that represent the nested class expressions used in this object. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - accept
```
public void accept(OWLObjectVisitor owlObjectVisitor)
```
    Description copied from interface: OWLObject
    
    Accepts a visitor
    
    Specified by:
    
    accept in interface OWLObject
    
    Specified by:
    
    accept in interface OWLOntology
    
    Parameters:
    
    owlObjectVisitor - The visitor
  - accept
```
public <O> O accept(OWLObjectVisitorEx<O> owlObjectVisitorEx)
```
    Description copied from interface: OWLObject
    
    Accepts a visitor
    
    Specified by:
    
    accept in interface OWLObject
    
    Specified by:
    
    accept in interface OWLOntology
    
    Type Parameters:
    
    O - visitor return type
    
    Parameters:
    
    owlObjectVisitorEx - The visitor
    
    Returns:
    
    visitor value
  - isTopEntity
```
public boolean isTopEntity()
```
    Description copied from interface: OWLObject
    
    Determines if this object is either, owl:Thing (the top class), owl:topObjectProperty (the top object property) , owl:topDataProperty (the top data property) or rdfs:Literal (the top datatype).
    
    Specified by:
    
    isTopEntity in interface OWLObject
    
    Returns:
    
    true if this object corresponds to one of the above entities.
  - isBottomEntity
```
public boolean isBottomEntity()
```
    Description copied from interface: OWLObject
    
    Determines if this object is either, owl:Nothing (the bottom class), owl:bottomObjectProperty (the bottom object property) , owl:bottomDataProperty (the bottom data property).
    
    Specified by:
    
    isBottomEntity in interface OWLObject
    
    Returns:
    
    true if this object corresponds to one of the above entities.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - compareTo
```
public int compareTo(@Nullable
                     OWLObject o)
```
    Specified by:
    
    compareTo in interface Comparable<OWLObject>
  - containsEntityInSignature
```
public boolean containsEntityInSignature(OWLEntity owlEntity)
```
    Description copied from interface: HasContainsEntityInSignature
    
    Determines if the signature of this object contains the specified entity.
    
    Specified by:
    
    containsEntityInSignature in interface HasContainsEntityInSignature
    
    Parameters:
    
    owlEntity - The entity
    
    Returns:
    
    true if the signature of this object contains owlEntity, otherwise false
  - containsEntitiesOfTypeInSignature
```
public boolean containsEntitiesOfTypeInSignature(EntityType<?> type)
```
    Description copied from interface: OWLSignature
    
    Determine whether the instance has entities of the specified type in its signature - e.g., whether an ontology has classes, object properties, or named individuals in its signature. Anonymous individuals are not included.
    
    Specified by:
    
    containsEntitiesOfTypeInSignature in interface OWLSignature
    
    Parameters:
    
    type - type of entity to check
    
    Returns:
    
    true if entities of the specified type are in the signature
  - containsEntitiesOfTypeInSignature
```
public boolean containsEntitiesOfTypeInSignature(EntityType<?> type,
                                                 Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determine whether the instance has entities of the specified type in its signature or in its import closure - e.g., whether an ontology has classes, object properties, or named individuals in its signature. Anonymous individuals are not included.
    
    Specified by:
    
    containsEntitiesOfTypeInSignature in interface OWLSignature
    
    Parameters:
    
    type - type of entity to check
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    true if entities of the specified type are in the signature
  - getAnonymousIndividuals
```
public Set<OWLAnonymousIndividual> getAnonymousIndividuals()
```
    Specified by:
    
    getAnonymousIndividuals in interface HasAnonymousIndividuals
    
    Returns:
    
    The anonymous individuals occurring in this object. The set is a copy, changes are not reflected back. The default implementation of this method returns a modifiable, empty set.
  - getClassesInSignature
```
public Set<OWLClass> getClassesInSignature()
```
    Description copied from interface: HasClassesInSignature
    
    Gets the classes in the signature of this object.
    
    Specified by:
    
    getClassesInSignature in interface HasClassesInSignature
    
    Returns:
    
    A set containing the classes that are in the signature of this object. The set is a subset of the signature, and is not backed by the signature; it is a modifiable collection and changes are not reflected by the signature.
  - getObjectPropertiesInSignature
```
public Set<OWLObjectProperty> getObjectPropertiesInSignature()
```
    Description copied from interface: HasObjectPropertiesInSignature
    
    A convenience method that obtains the object properties that are in the signature of this object. The default implementation of this method returns an empty, modifiable set.
    
    Specified by:
    
    getObjectPropertiesInSignature in interface HasObjectPropertiesInSignature
    
    Returns:
    
    A set containing the object properties that are in the signature of this object. The set is a subset of the signature, and is not backed by the signature; it is a modifiable collection and changes are not reflected by the signature.
  - getDataPropertiesInSignature
```
public Set<OWLDataProperty> getDataPropertiesInSignature()
```
    Description copied from interface: HasDataPropertiesInSignature
    
    Get the data properties that are in the signature of this object. The default implementation of this method returns an empty, modifiable set.
    
    Specified by:
    
    getDataPropertiesInSignature in interface HasDataPropertiesInSignature
    
    Returns:
    
    A set containing the data properties that are in the signature of this object. The set is a subset of the signature, and is not backed by the signature; it is a modifiable collection and changes are not reflected by the signature.
  - getIndividualsInSignature
```
public Set<OWLNamedIndividual> getIndividualsInSignature()
```
    Description copied from interface: HasIndividualsInSignature
    
    A convenience method that obtains the individuals that are in the signature of this object. The default implementation of this method returns an empty, modifiable set.
    
    Specified by:
    
    getIndividualsInSignature in interface HasIndividualsInSignature
    
    Returns:
    
    A set containing the individuals that are in the signature of this object. The set is a subset of the signature, and is not backed by the signature; it is a modifiable collection and changes are not reflected by the signature.
  - getDatatypesInSignature
```
public Set<OWLDatatype> getDatatypesInSignature()
```
    Description copied from interface: HasDatatypesInSignature
    
    Gets the datatypes that are in the signature of this object.
    
    Specified by:
    
    getDatatypesInSignature in interface HasDatatypesInSignature
    
    Returns:
    
    A set containing the datatypes that are in the signature of this object. The set is a subset of the signature, and is not backed by the signature; it is a modifiable collection and changes are not reflected by the signature.
  - getAnnotationPropertiesInSignature
```
public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
```
    Specified by:
    
    getAnnotationPropertiesInSignature in interface HasAnnotationPropertiesInSignature
    
    Returns:
    
    The annotation properties that are in the signature of this object. The set is a subset of the signature, and is not backed by the signature; it is a modifiable collection and changes are not reflected by the signature.
  - getAxioms
```
public Set<OWLAxiom> getAxioms(Imports imports)
```
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    All of the axioms in this collection, and optionally in the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxiomCount
```
public int getAxiomCount(Imports imports)
```
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollection
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of axioms in this ontology, and optionally in the imports closure.
  - getLogicalAxioms
```
public Set<OWLLogicalAxiom> getLogicalAxioms(Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
    
    Specified by:
    
    getLogicalAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    A set of axioms which are of type OWLLogicalAxiom, optionally including the imports closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getLogicalAxiomCount
```
public int getLogicalAxiomCount(Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the number of logical axioms in this collection, optionally including the imports closure.
    
    Specified by:
    
    getLogicalAxiomCount in interface OWLAxiomCollection
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of axioms in this collection, optionally including the imports closure.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                             Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets all axioms of the specified type.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Type Parameters:
    
    T - axiom type
    
    Parameters:
    
    axiomType - The type of axioms to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    all axioms of the specified type. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType,
                                             Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets all axioms of the specified type.
    
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Type Parameters:
    
    T - axiom type
    
    Parameters:
    
    axiomType - The type of axioms to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    stream of all axioms of the specified type.
  - getAxiomCount
```
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                              Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axiom count of a specific type of axiom, optionally including the imports closure.
    
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollection
    
    Type Parameters:
    
    T - axiom type
    
    Parameters:
    
    axiomType - The type of axiom to count
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of the specified types of axioms in this collection
  - containsAxiom
```
public boolean containsAxiom(OWLAxiom owlAxiom,
                             Imports imports,
                             AxiomAnnotations axiomAnnotations)
```
    Description copied from interface: OWLAxiomCollection
    
    Determines if this ontology contains the specified axiom, optionally including the imports closure.
    
    Specified by:
    
    containsAxiom in interface OWLAxiomCollection
    
    Parameters:
    
    owlAxiom - The axiom to search.
    
    imports - if INCLUDED, include imports closure.
    
    axiomAnnotations - if IGNORE_ANNOTATIONS, annotations are ignored when searching for the axiom. For example, if the collection contains SubClassOf(Annotation(p V) A B) then this method will return true if the ontology contains SubClassOf(A B) or SubClassOf(Annotation(q S) A B) for any annotation property q and any annotation value S.
    
    Returns:
    
    true if the ontology contains the specified axiom.
  - getAxiomsIgnoreAnnotations
```
public Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
                                                Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    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. Optionally the imports closure is included.
    
    Specified by:
    
    getAxiomsIgnoreAnnotations in interface OWLAxiomCollection
    
    Parameters:
    
    owlAxiom - The axiom that the returned axioms must equal, ignoring annotations.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - axiomsIgnoreAnnotations
```
public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom,
                                                Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the stream 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. Optionally the imports closure is included.
    
    Specified by:
    
    axiomsIgnoreAnnotations in interface OWLAxiomCollection
    
    Parameters:
    
    owlAxiom - The axiom that the returned axioms must equal, ignoring annotations.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    stream of axioms such that for any two axioms, axiomA and axiomB, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the stream.
  - getReferencingAxioms
```
public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive,
                                          Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
    Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.
    
    Specified by:
    
    getReferencingAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlPrimitive - The entity that should be directly referred to by all axioms in the results set.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    All axioms referencing the entity. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - referencingAxioms
```
public Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlPrimitive,
                                          Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
    Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.
    
    Specified by:
    
    referencingAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlPrimitive - The entity that should be directly referred to by all axioms in the results set.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    stream of all axioms referencing the entity.
  - getAxioms
```
public Set<OWLClassAxiom> getAxioms(OWLClass owlClass,
                                    Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlClass - The class whose describing axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A set of class axioms that describe the class. This set includes
    
    Subclass axioms where the subclass is equal to the specified class
    
    Equivalent class axioms where the specified class is an operand in the equivalent class axiom
    
    Disjoint class axioms where the specified class is an operand in the disjoint class axiom
    
    Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
                                             Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlObjectPropertyExpression - The property whose defining axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A set of object property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Equivalent property axioms that contain the inverse of the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    Inverse properties axioms that contain the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty,
                                           Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlDataProperty - The property whose defining axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A set of data property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual,
                                         Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlIndividual - The individual whose defining axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A set of individual axioms that includes
    
    Individual type assertions that assert the type of the specified individual
    
    Same individuals axioms that contain the specified individual
    
    Different individuals axioms that contain the specified individual
    
    Object property assertion axioms whose subject is the specified individual
    
    Data property assertion axioms whose subject is the specified individual
    
    Negative object property assertion axioms whose subject is the specified individual
    
    Negative data property assertion axioms whose subject is the specified individual
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty,
                                         Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlAnnotationProperty - The property whose definition axioms are to be retrieved
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A set of axioms that includes
    
    Annotation subpropertyOf axioms where the specified property is the sub property
    
    Annotation property domain axioms that specify a domain for the specified property
    
    Annotation property range axioms that specify a range for the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype,
                                                 Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlDatatype - The datatype
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    The set of datatype definition axioms for the specified datatype. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLAxiom> getAxioms()
```
    Description copied from interface: HasAxioms
    
    Gets the OWLAxioms contained in this object.
    
    Specified by:
    
    getAxioms in interface HasAxioms
    
    Returns:
    
    The set of OWLAxioms contained in this object. The set is a copy, changes are not reflected back.
  - axioms
```
public Stream<OWLAxiom> axioms()
```
    Specified by:
    
    axioms in interface HasAxioms
    
    Returns:
    
    Stream of OWLAxioms contained in this object.
  - getLogicalAxioms
```
public Set<OWLLogicalAxiom> getLogicalAxioms()
```
    Description copied from interface: HasLogicalAxioms
    
    Gets the set of OWLLogicalAxioms contained within this object.
    
    Specified by:
    
    getLogicalAxioms in interface HasLogicalAxioms
    
    Returns:
    
    A set of OWLLogicalAxioms that are contained within this object. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - logicalAxioms
```
public Stream<OWLLogicalAxiom> logicalAxioms()
```
    Specified by:
    
    logicalAxioms in interface HasLogicalAxioms
    
    Returns:
    
    Stream of OWLLogicalAxioms that are contained within this object.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)
```
    Description copied from interface: HasAxiomsByType
    
    Gets the axioms which are of the specified type.
    
    Specified by:
    
    getAxioms in interface HasAxiomsByType
    
    Type Parameters:
    
    T - axiom type
    
    Parameters:
    
    axiomType - The type of axioms to be retrieved.
    
    Returns:
    
    A set containing the axioms which are of the specified type. The set that is returned is a copy of the axioms in this object. Modifications to the returned set will not be reflected in this object.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType)
```
    Description copied from interface: HasAxiomsByType
    
    Gets the axioms which are of the specified type.
    
    Specified by:
    
    axioms in interface HasAxiomsByType
    
    Type Parameters:
    
    T - axiom type
    
    Parameters:
    
    axiomType - The type of axioms to be retrieved.
    
    Returns:
    
    Stream of axioms of the specified type.
  - equalAxioms
```
public boolean equalAxioms(HasAxiomsByType o)
```
    Description copied from interface: HasAxiomsByType
    
    Compare the axioms inside this object with the axioms inside the other object, shortcutting by type; it will not merge all axioms in a large lump for comparisons only
    
    Specified by:
    
    equalAxioms in interface HasAxiomsByType
    
    Parameters:
    
    o - other object to compare
    
    Returns:
    
    true if the two objects contain the same axioms
  - containsAxiom
```
public boolean containsAxiom(OWLAxiom owlAxiom)
```
    Description copied from interface: HasContainsAxiom
    
    Determines whether or not this object contains a particular OWLAxiom.
    
    Specified by:
    
    containsAxiom in interface HasContainsAxiom
    
    Parameters:
    
    owlAxiom - The OWLAxiom to test for.
    
    Returns:
    
    true if this object contains axiom, otherwise false.
  - getAxioms
```
public Set<OWLAxiom> getAxioms(boolean b)
```
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    b - true if imports are included.
    
    Returns:
    
    All of the axioms in this collection. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxiomCount
```
public int getAxiomCount(boolean b)
```
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    The number of axioms in this ontology, and optionally in the imports closure.
  - getLogicalAxioms
```
public Set<OWLLogicalAxiom> getLogicalAxioms(boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
    
    Specified by:
    
    getLogicalAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    A set of axioms which are of type OWLLogicalAxiom, optionally including the imports closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getLogicalAxiomCount
```
public int getLogicalAxiomCount(boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the number of logical axioms in this collection, optionally including the imports closure.
    
    Specified by:
    
    getLogicalAxiomCount in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    The number of axioms in this collection, optionally including the imports closure.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                             boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets all axioms of the specified type.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Type Parameters:
    
    T - axiom type
    
    Parameters:
    
    axiomType - The type of axioms to be retrieved.
    
    b - if true, include imports closure.
    
    Returns:
    
    all axioms of the specified type. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxiomCount
```
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                              boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axiom count of a specific type of axiom, optionally including the imports closure.
    
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollectionBooleanArgs
    
    Type Parameters:
    
    T - axiom type
    
    Parameters:
    
    axiomType - The type of axiom to count
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of the specified types of axioms in this collection
  - containsAxiom
```
public boolean containsAxiom(OWLAxiom owlAxiom,
                             boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Determines if this ontology contains the specified axiom, optionally including the imports closure.
    
    Specified by:
    
    containsAxiom in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlAxiom - The axiom to search.
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the ontology contains the specified axiom.
  - containsAxiomIgnoreAnnotations
```
public boolean containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom,
                                              boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Determines if this ontology contains the specified axiom, optionally including the imports closure. Annotations are ignored when searching for the axiom. For example, if the collection contains SubClassOf(Annotation(p V) A B) then this method will return true if the ontology contains SubClassOf(A B) or SubClassOf(Annotation(q S) A B) for any annotation property q and any annotation value S.
    
    Specified by:
    
    containsAxiomIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlAxiom - The axiom to search.
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the ontology contains the specified axiom.
  - getAxiomsIgnoreAnnotations
```
public Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
                                                boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    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. Optionally the imports closure is included.
    
    Specified by:
    
    getAxiomsIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlAxiom - The axiom that the returned axioms must equal, ignoring annotations.
    
    b - if true, include imports closure.
    
    Returns:
    
    The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getReferencingAxioms
```
public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive,
                                          boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
    Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.
    
    Specified by:
    
    getReferencingAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlPrimitive - The entity that should be directly referred to by all axioms in the results set.
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    
    All axioms referencing the entity. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLClassAxiom> getAxioms(OWLClass owlClass,
                                    boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlClass - The class whose describing axioms are to be retrieved.
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    A set of class axioms that describe the class. This set includes
    
    Subclass axioms where the subclass is equal to the specified class
    
    Equivalent class axioms where the specified class is an operand in the equivalent class axiom
    
    Disjoint class axioms where the specified class is an operand in the disjoint class axiom
    
    Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
                                             boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlObjectPropertyExpression - The property whose defining axioms are to be retrieved.
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    A set of object property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Equivalent property axioms that contain the inverse of the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    Inverse properties axioms that contain the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty,
                                           boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlDataProperty - The property whose defining axioms are to be retrieved.
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    A set of data property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual,
                                         boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlIndividual - The individual whose defining axioms are to be retrieved.
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    A set of individual axioms that includes
    
    Individual type assertions that assert the type of the specified individual
    
    Same individuals axioms that contain the specified individual
    
    Different individuals axioms that contain the specified individual
    
    Object property assertion axioms whose subject is the specified individual
    
    Data property assertion axioms whose subject is the specified individual
    
    Negative object property assertion axioms whose subject is the specified individual
    
    Negative data property assertion axioms whose subject is the specified individual
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty,
                                         boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlAnnotationProperty - The property whose definition axioms are to be retrieved
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    A set of axioms that includes
    
    Annotation subpropertyOf axioms where the specified property is the sub property
    
    Annotation property domain axioms that specify a domain for the specified property
    
    Annotation property range axioms that specify a range for the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype,
                                                 boolean b)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    owlDatatype - The datatype
    
    b - if INCLUDED, include imports closure.
    
    Returns:
    
    The set of datatype definition axioms for the specified datatype. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxiomCount
```
public int getAxiomCount()
```
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollection
    
    Returns:
    
    The number of axioms in this ontology.
  - getLogicalAxiomCount
```
public int getLogicalAxiomCount()
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the number of logical axioms in this collection.
    
    Specified by:
    
    getLogicalAxiomCount in interface OWLAxiomCollection
    
    Returns:
    
    The number of axioms in this collection.
  - getAxiomCount
```
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axiom count of a specific type of axiom.
    
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollection
    
    Type Parameters:
    
    T - axiom type class
    
    Parameters:
    
    axiomType - The type of axiom to count
    
    Returns:
    
    The number of the specified types of axioms in this collection
  - containsAxiomIgnoreAnnotations
```
public boolean containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom)
```
    Description copied from interface: OWLAxiomCollection
    
    Determines if this ontology contains the specified axiom.
    
    Specified by:
    
    containsAxiomIgnoreAnnotations in interface OWLAxiomCollection
    
    Parameters:
    
    owlAxiom - The axiom to search.
    
    Returns:
    
    true if the ontology contains the specified axiom.
  - getAxiomsIgnoreAnnotations
```
public Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
```
    Description copied from interface: OWLAxiomCollection
    
    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. Optionally the imports closure is included.
    
    Specified by:
    
    getAxiomsIgnoreAnnotations in interface OWLAxiomCollection
    
    Parameters:
    
    owlAxiom - The axiom that the returned axioms must equal, ignoring annotations.
    
    Returns:
    
    The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - axiomsIgnoreAnnotations
```
public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the stream 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. Optionally the imports closure is included.
    
    Specified by:
    
    axiomsIgnoreAnnotations in interface OWLAxiomCollection
    
    Parameters:
    
    owlAxiom - The axiom that the returned axioms must equal, ignoring annotations.
    
    Returns:
    
    stream of axioms such that for any two axioms, axiomA and axiomB, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the stream.
  - getReferencingAxioms
```
public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
    Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.
    
    Specified by:
    
    getReferencingAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlPrimitive - The entity that should be directly referred to by all axioms in the results set.
    
    Returns:
    
    All axioms referencing the entity. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - referencingAxioms
```
public Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlPrimitive)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
    Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.
    
    Specified by:
    
    referencingAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlPrimitive - The entity that should be directly referred to by all axioms in the results set.
    
    Returns:
    
    Stream of all axioms referencing the entity.
  - getAxioms
```
public Set<OWLClassAxiom> getAxioms(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlClass - The class whose describing axioms are to be retrieved.
    
    Returns:
    A set of class axioms that describe the class. This set includes
    
    Subclass axioms where the subclass is equal to the specified class
    
    Equivalent class axioms where the specified class is an operand in the equivalent class axiom
    
    Disjoint class axioms where the specified class is an operand in the disjoint class axiom
    
    Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlObjectPropertyExpression - The property whose defining axioms are to be retrieved.
    
    Returns:
    A set of object property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Equivalent property axioms that contain the inverse of the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    Inverse properties axioms that contain the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlDataProperty - The property whose defining axioms are to be retrieved.
    
    Returns:
    A set of data property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlIndividual - The individual whose defining axioms are to be retrieved.
    
    Returns:
    A set of individual axioms that includes
    
    Individual type assertions that assert the type of the specified individual
    
    Same individuals axioms that contain the specified individual
    
    Different individuals axioms that contain the specified individual
    
    Object property assertion axioms whose subject is the specified individual
    
    Data property assertion axioms whose subject is the specified individual
    
    Negative object property assertion axioms whose subject is the specified individual
    
    Negative data property assertion axioms whose subject is the specified individual
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlAnnotationProperty - The property whose definition axioms are to be retrieved
    
    Returns:
    A set of axioms that includes
    
    Annotation subpropertyOf axioms where the specified property is the sub property
    
    Annotation property domain axioms that specify a domain for the specified property
    
    Annotation property range axioms that specify a range for the specified property
    
    The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlDatatype - The datatype
    
    Returns:
    
    The set of datatype definition axioms for the specified datatype. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - axioms
```
public Stream<OWLClassAxiom> axioms(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlClass - The class whose describing axioms are to be retrieved.
    
    Returns:
    A stream of class axioms that describe the class. This set includes
    
    Subclass axioms where the subclass is equal to the specified class
    
    Equivalent class axioms where the specified class is an operand in the equivalent class axiom
    
    Disjoint class axioms where the specified class is an operand in the disjoint class axiom
    
    Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union
  - axioms
```
public Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlObjectPropertyExpression - The property whose defining axioms are to be retrieved.
    
    Returns:
    A stream of object property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Equivalent property axioms that contain the inverse of the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    Inverse properties axioms that contain the specified property
  - axioms
```
public Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty owlDataProperty)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlDataProperty - The property whose defining axioms are to be retrieved.
    
    Returns:
    A stream of data property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
  - axioms
```
public Stream<OWLIndividualAxiom> axioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlIndividual - The individual whose defining axioms are to be retrieved.
    
    Returns:
    A stream of individual axioms that includes
    
    Individual type assertions that assert the type of the specified individual
    
    Same individuals axioms that contain the specified individual
    
    Different individuals axioms that contain the specified individual
    
    Object property assertion axioms whose subject is the specified individual
    
    Data property assertion axioms whose subject is the specified individual
    
    Negative object property assertion axioms whose subject is the specified individual
    
    Negative data property assertion axioms whose subject is the specified individual
  - axioms
```
public Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty owlAnnotationProperty)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlAnnotationProperty - The property whose definition axioms are to be retrieved
    
    Returns:
    stream of axioms that includes
    
    Annotation subpropertyOf axioms where the specified property is the sub property
    
    Annotation property domain axioms that specify a domain for the specified property
    
    Annotation property range axioms that specify a range for the specified property
  - axioms
```
public Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype owlDatatype)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    owlDatatype - The datatype
    
    Returns:
    
    stream of datatype definition axioms for the specified datatype.
  - getClassesInSignature
```
public Set<OWLClass> getClassesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the classes in the signature and optionally the imports closure.
    
    Specified by:
    
    getClassesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of classes in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getObjectPropertiesInSignature
```
public Set<OWLObjectProperty> getObjectPropertiesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the object properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getObjectPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of object properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDataPropertiesInSignature
```
public Set<OWLDataProperty> getDataPropertiesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the data properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getDataPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of data properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getIndividualsInSignature
```
public Set<OWLNamedIndividual> getIndividualsInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the named individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    getIndividualsInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of individuals in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getReferencedAnonymousIndividuals
```
public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the referenced anonymous individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    getReferencedAnonymousIndividuals in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    The set of referenced anonymous individuals. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - referencedAnonymousIndividuals
```
public Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the referenced anonymous individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    referencedAnonymousIndividuals in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    The stream of referenced anonymous individuals
  - referencedAnonymousIndividuals
```
public Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals()
```
    Description copied from interface: OWLSignature
    
    Gets the referenced anonymous individuals.
    
    Specified by:
    
    referencedAnonymousIndividuals in interface OWLSignature
    
    Returns:
    
    Sorted stream of referenced anonymous individuals
  - getDatatypesInSignature
```
public Set<OWLDatatype> getDatatypesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the datatypes in the signature and optionally the imports closure.
    
    Specified by:
    
    getDatatypesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of datatypes in the signature of this ontology, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAnnotationPropertiesInSignature
```
public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the annotation properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getAnnotationPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of annotation properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - containsEntityInSignature
```
public boolean containsEntityInSignature(OWLEntity owlEntity,
                                         Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains the specified entity.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignature
    
    Parameters:
    
    owlEntity - The entity
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains a reference to the specified entity.
  - containsEntityInSignature
```
public boolean containsEntityInSignature(IRI iri,
                                         Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an entity with the specified IRI.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI to test for.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an entity with the specified IRI.
  - containsClassInSignature
```
public boolean containsClassInSignature(IRI iri,
                                        Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLClass that has the specified IRI.
    
    Specified by:
    
    containsClassInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the class to check for
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an entity with the specified IRI.
  - containsObjectPropertyInSignature
```
public boolean containsObjectPropertyInSignature(IRI iri,
                                                 Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLObjectProperty that has the specified IRI.
    
    Specified by:
    
    containsObjectPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLObjectProperty to check for
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an object property with the specified IRI.
  - containsDataPropertyInSignature
```
public boolean containsDataPropertyInSignature(IRI iri,
                                               Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDataProperty that has the specified IRI.
    
    Specified by:
    
    containsDataPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLDataProperty to check for
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains a data property with the specified IRI.
  - containsAnnotationPropertyInSignature
```
public boolean containsAnnotationPropertyInSignature(IRI iri,
                                                     Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
    
    Specified by:
    
    containsAnnotationPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLAnnotationProperty to check for
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an annotation property with the specified IRI.
  - containsDatatypeInSignature
```
public boolean containsDatatypeInSignature(IRI iri,
                                           Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDatatype that has the specified IRI.
    
    Specified by:
    
    containsDatatypeInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLDatatype to check for
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains a datatype with the specified IRI.
  - containsIndividualInSignature
```
public boolean containsIndividualInSignature(IRI iri,
                                             Imports imports)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
    
    Specified by:
    
    containsIndividualInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLNamedIndividual to check for
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an individual with the specified IRI.
  - containsDatatypeInSignature
```
public boolean containsDatatypeInSignature(IRI iri)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDatatype that has the specified IRI.
    
    Specified by:
    
    containsDatatypeInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLDatatype to check for
    
    Returns:
    
    true if the signature or the import closure contains a datatype with the specified IRI.
  - containsEntityInSignature
```
public boolean containsEntityInSignature(IRI iri)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an entity with the specified IRI.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI to test for.
    
    Returns:
    
    true if the signature or the import closure contains an entity with the specified IRI.
  - containsClassInSignature
```
public boolean containsClassInSignature(IRI iri)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLClass that has the specified IRI.
    
    Specified by:
    
    containsClassInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the class to check for
    
    Returns:
    
    true if the signature or the import closure contains an entity with the specified IRI.
  - containsObjectPropertyInSignature
```
public boolean containsObjectPropertyInSignature(IRI iri)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLObjectProperty that has the specified IRI.
    
    Specified by:
    
    containsObjectPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLObjectProperty to check for
    
    Returns:
    
    true if the signature or the import closure contains an object property with the specified IRI.
  - containsDataPropertyInSignature
```
public boolean containsDataPropertyInSignature(IRI iri)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDataProperty that has the specified IRI.
    
    Specified by:
    
    containsDataPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLDataProperty to check for
    
    Returns:
    
    true if the signature or the import closure contains a data property with the specified IRI.
  - containsAnnotationPropertyInSignature
```
public boolean containsAnnotationPropertyInSignature(IRI iri)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
    
    Specified by:
    
    containsAnnotationPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLAnnotationProperty to check for
    
    Returns:
    
    true if the signature or the import closure contains an annotation property with the specified IRI.
  - containsIndividualInSignature
```
public boolean containsIndividualInSignature(IRI iri)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
    
    Specified by:
    
    containsIndividualInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the OWLNamedIndividual to check for
    
    Returns:
    
    true if the signature or the import closure contains an individual with the specified IRI.
  - getEntitiesInSignature
```
public Set<OWLEntity> getEntitiesInSignature(IRI iri,
                                             Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the entities in the signature that have the specified IRI.
    
    Specified by:
    
    getEntitiesInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the entities to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of entities with the specified IRI, optionally including the ones in the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getPunnedIRIs
```
public Set<IRI> getPunnedIRIs(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Calculates the set of IRIs that are used for more than one entity type.
    
    Specified by:
    
    getPunnedIRIs in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    punned IRIs.
  - containsReference
```
public boolean containsReference(OWLEntity owlEntity,
                                 Imports imports)
```
    Specified by:
    
    containsReference in interface OWLSignature
    
    Parameters:
    
    owlEntity - entity to check
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if entity is referenced
  - containsReference
```
public boolean containsReference(OWLEntity owlEntity)
```
    Specified by:
    
    containsReference in interface OWLSignature
    
    Parameters:
    
    owlEntity - entity to check
    
    Returns:
    
    true if entity is referenced
  - getEntitiesInSignature
```
public Set<OWLEntity> getEntitiesInSignature(IRI iri)
```
    Specified by:
    
    getEntitiesInSignature in interface HasGetEntitiesInSignature
    
    Parameters:
    
    iri - IRI for all entities to retrieve
    
    Returns:
    
    entities with IRI equal to entity IRI. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - entitiesInSignature
```
public Stream<OWLEntity> entitiesInSignature(IRI iri)
```
    Specified by:
    
    entitiesInSignature in interface HasGetEntitiesInSignature
    
    Parameters:
    
    iri - IRI for all entities to retrieve
    
    Returns:
    
    stream of entities with IRI equal to entity IRI
  - getClassesInSignature
```
public Set<OWLClass> getClassesInSignature(boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the classes in the signature and optionally the imports closure.
    
    Specified by:
    
    getClassesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    the set of classes in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getObjectPropertiesInSignature
```
public Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the object properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getObjectPropertiesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    the set of object properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDataPropertiesInSignature
```
public Set<OWLDataProperty> getDataPropertiesInSignature(boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the data properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getDataPropertiesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    the set of data properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getIndividualsInSignature
```
public Set<OWLNamedIndividual> getIndividualsInSignature(boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the named individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    getIndividualsInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    the set of individuals in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getReferencedAnonymousIndividuals
```
public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the referenced anonymous individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    getReferencedAnonymousIndividuals in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    The set of referenced anonymous individuals. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDatatypesInSignature
```
public Set<OWLDatatype> getDatatypesInSignature(boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the datatypes in the signature and optionally the imports closure.
    
    Specified by:
    
    getDatatypesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    the set of datatypes in the signature of this ontology, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAnnotationPropertiesInSignature
```
public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the annotation properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getAnnotationPropertiesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    b - if true, include imports closure.
    
    Returns:
    
    the set of annotation properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - containsEntityInSignature
```
public boolean containsEntityInSignature(OWLEntity owlEntity,
                                         boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains the specified entity.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlEntity - The entity
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains a reference to the specified entity.
  - containsEntityInSignature
```
public boolean containsEntityInSignature(IRI iri,
                                         boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an entity with the specified IRI.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI to test for.
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an entity with the specified IRI.
  - containsClassInSignature
```
public boolean containsClassInSignature(IRI iri,
                                        boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLClass that has the specified IRI.
    
    Specified by:
    
    containsClassInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI of the class to check for
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an entity with the specified IRI.
  - containsObjectPropertyInSignature
```
public boolean containsObjectPropertyInSignature(IRI iri,
                                                 boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLObjectProperty that has the specified IRI.
    
    Specified by:
    
    containsObjectPropertyInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI of the OWLObjectProperty to check for
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an object property with the specified IRI.
  - containsDataPropertyInSignature
```
public boolean containsDataPropertyInSignature(IRI iri,
                                               boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLDataProperty that has the specified IRI.
    
    Specified by:
    
    containsDataPropertyInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI of the OWLDataProperty to check for
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains a data property with the specified IRI.
  - containsAnnotationPropertyInSignature
```
public boolean containsAnnotationPropertyInSignature(IRI iri,
                                                     boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
    
    Specified by:
    
    containsAnnotationPropertyInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI of the OWLAnnotationProperty to check for
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an annotation property with the specified IRI.
  - containsDatatypeInSignature
```
public boolean containsDatatypeInSignature(IRI iri,
                                           boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLDatatype that has the specified IRI.
    
    Specified by:
    
    containsDatatypeInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI of the OWLDatatype to check for
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains a datatype with the specified IRI.
  - containsIndividualInSignature
```
public boolean containsIndividualInSignature(IRI iri,
                                             boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
    
    Specified by:
    
    containsIndividualInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI of the OWLNamedIndividual to check for
    
    b - if true, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an individual with the specified IRI.
  - getEntitiesInSignature
```
public Set<OWLEntity> getEntitiesInSignature(IRI iri,
                                             boolean b)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the entities in the signature that have the specified IRI.
    
    Specified by:
    
    getEntitiesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    iri - The IRI of the entities to be retrieved.
    
    b - if true, include imports closure.
    
    Returns:
    
    the set of entities with the specified IRI, optionally including the ones in the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - containsReference
```
public boolean containsReference(OWLEntity owlEntity,
                                 boolean b)
```
    Specified by:
    
    containsReference in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlEntity - entity to check
    
    b - if true, include imports closure.
    
    Returns:
    
    true if entity is referenced
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(Class<T> aClass,
                                             OWLObject owlObject,
                                             Imports imports,
                                             Navigation navigation)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    getAxioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    aClass - type of axioms
    
    owlObject - referred entity (OWLPrimitive or property/class expression)
    
    imports - if INCLUDED, include imports closure.
    
    navigation - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(Class<T> aClass,
                                             OWLObject owlObject,
                                             Imports imports,
                                             Navigation navigation)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    axioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    aClass - type of axioms
    
    owlObject - referred entity (OWLPrimitive or property/class expression)
    
    imports - if INCLUDED, include imports closure.
    
    navigation - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    stream of axioms satisfying the conditions.
  - filterAxioms
```
public <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter,
                                                       Object o,
                                                       Imports imports)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Specified by:
    
    filterAxioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    owlAxiomSearchFilter - the filter to match
    
    o - the key. Its type is generic and it is used only by the filter.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    a collection of axioms matching the request. The axioms are collected from a set, therefore the collection contains no duplicates. The collection that is returned is a copy; modifications to the returned collection will not be reflected in this object.
  - contains
```
public boolean contains(OWLAxiomSearchFilter owlAxiomSearchFilter,
                        Object o,
                        Imports imports)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic containment check type for further refining search by axiom type. The method returns true if there is at least one result matching the filter.
    
    Specified by:
    
    contains in interface OWLAxiomIndex
    
    Parameters:
    
    owlAxiomSearchFilter - the filter to match
    
    o - the key. Its type is generic and it is used only by the filter.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    true if there is at least one result matching the filter.
  - contains
```
public boolean contains(OWLAxiomSearchFilter owlAxiomSearchFilter,
                        Object o)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic containment check type for further refining search by axiom type. The method returns true if there is at least one result matching the filter.
    
    Specified by:
    
    contains in interface OWLAxiomIndex
    
    Parameters:
    
    owlAxiomSearchFilter - the filter to match
    
    o - the key. Its type is generic and it is used only by the filter.
    
    Returns:
    
    true if there is at least one result matching the filter.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(Class<T> aClass,
                                             Class<? extends OWLObject> aClass1,
                                             OWLObject owlObject,
                                             Imports imports,
                                             Navigation navigation)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    getAxioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    aClass - type of axioms
    
    aClass1 - for overlapping indexes in the ontology internals, an explicit class rather than the entity class might be necessary
    
    owlObject - referred entity (OWLPrimitive or property/class expression)
    
    imports - if INCLUDED, include imports closure.
    
    navigation - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(Class<T> aClass,
                                             Class<? extends OWLObject> aClass1,
                                             OWLObject owlObject,
                                             Imports imports,
                                             Navigation navigation)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    axioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    aClass - type of axioms
    
    aClass1 - for overlapping indexes in the ontology internals, an explicit class rather than the entity class might be necessary
    
    owlObject - referred entity (OWLPrimitive or property/class expression)
    
    imports - if INCLUDED, include imports closure.
    
    navigation - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    stream of axioms satisfying the conditions.
  - getSubAnnotationPropertyOfAxioms
```
public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty owlAnnotationProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubAnnotationPropertyOfAxiom objects where the specified property is the sub-property.
    
    Specified by:
    
    getSubAnnotationPropertyOfAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlAnnotationProperty - The sub-property of the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAnnotationPropertyDomainAxioms
```
public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLAnnotationPropertyDomainAxiom objects where the specified property is the property in the domain axiom.
    
    Specified by:
    
    getAnnotationPropertyDomainAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlAnnotationProperty - The property that the axiom specifies a domain for.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAnnotationPropertyRangeAxioms
```
public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLAnnotationPropertyRangeAxiom objects where the specified property is the property in the range axiom.
    
    Specified by:
    
    getAnnotationPropertyRangeAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlAnnotationProperty - The property that the axiom specifies a range for.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - annotationPropertyDomainAxioms
```
public Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLAnnotationPropertyDomainAxiom objects where the specified property is the property in the domain axiom.
    
    Specified by:
    
    annotationPropertyDomainAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlAnnotationProperty - The property that the axiom specifies a domain for.
    
    Returns:
    
    the axioms matching the search.
  - annotationPropertyRangeAxioms
```
public Stream<OWLAnnotationPropertyRangeAxiom> annotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLAnnotationPropertyRangeAxiom objects where the specified property is the property in the range axiom.
    
    Specified by:
    
    annotationPropertyRangeAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlAnnotationProperty - The property that the axiom specifies a range for.
    
    Returns:
    
    the axioms matching the search.
  - getDeclarationAxioms
```
public Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity owlEntity)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the declaration axioms for specified entity.
    
    Specified by:
    
    getDeclarationAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlEntity - The entity that is the subject of the returned axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAnnotationAssertionAxioms
```
public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject owlAnnotationSubject)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the axioms that annotate the specified entity.
    
    Specified by:
    
    getAnnotationAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlAnnotationSubject - The entity whose annotations are to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getSubClassAxiomsForSubClass
```
public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
    
    Specified by:
    
    getSubClassAxiomsForSubClass in interface OWLAxiomIndex
    
    Parameters:
    
    owlClass - The class that is equal to the left hand side of the axiom (subclass).
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getSubClassAxiomsForSuperClass
```
public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
    
    Specified by:
    
    getSubClassAxiomsForSuperClass in interface OWLAxiomIndex
    
    Parameters:
    
    owlClass - The class
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getEquivalentClassesAxioms
```
public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
    
    Specified by:
    
    getEquivalentClassesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlClass - The class to search
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDisjointClassesAxioms
```
public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the set of disjoint class axioms that contain the specified class as an operand.
    
    Specified by:
    
    getDisjointClassesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlClass - The class to search
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDisjointUnionAxioms
```
public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the set of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands. For example, if the ontology contained the axiom DisjointUnion(A, propP some C, D, E) this axiom would be returned for class A (but not for D or E).
    
    Specified by:
    
    getDisjointUnionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlClass - The class that indexes the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getHasKeyAxioms
```
public Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the has key axioms that have the specified class as their subject.
    
    Specified by:
    
    getHasKeyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlClass - The subject of the has key axioms
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getObjectSubPropertyAxiomsForSubProperty
```
public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubObjectPropertyOfAxiom objects where the sub-property is equal to the specified property.
    
    Specified by:
    
    getObjectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getObjectSubPropertyAxiomsForSuperProperty
```
public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubObjectPropertyOfAxiom objects where the super-property is equal to the specified property.
    
    Specified by:
    
    getObjectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getObjectPropertyDomainAxioms
```
public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLObjectPropertyDomainAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    getObjectPropertyDomainAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getObjectPropertyRangeAxioms
```
public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLObjectPropertyRangeAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    getObjectPropertyRangeAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getInverseObjectPropertyAxioms
```
public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLInverseObjectPropertiesAxiom objects where the specified property is contained in the set returned by OWLNaryPropertyAxiom.properties() .
    
    Specified by:
    
    getInverseObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getEquivalentObjectPropertiesAxioms
```
public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLEquivalentObjectPropertiesAxiom objects that make the specified property equivalent to some other object property expression(s).
    
    Specified by:
    
    getEquivalentObjectPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDisjointObjectPropertiesAxioms
```
public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDisjointObjectPropertiesAxiom objects that make the specified property disjoint with some other object property expression(s).
    
    Specified by:
    
    getDisjointObjectPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getFunctionalObjectPropertyAxioms
```
public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLFunctionalObjectPropertyAxiom objects contained in this ontology that make the specified object property functional.
    
    Specified by:
    
    getFunctionalObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getInverseFunctionalObjectPropertyAxioms
```
public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLInverseFunctionalObjectPropertyAxiom objects contained in this ontology that make the specified object property inverse functional.
    
    Specified by:
    
    getInverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that is made inverse functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getSymmetricObjectPropertyAxioms
```
public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSymmetricObjectPropertyAxiom objects contained in this ontology that make the specified object property symmetric.
    
    Specified by:
    
    getSymmetricObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that is made symmetric by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAsymmetricObjectPropertyAxioms
```
public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLAsymmetricObjectPropertyAxiom objects contained in this ontology that make the specified object property asymmetric.
    
    Specified by:
    
    getAsymmetricObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that is made asymmetric by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getReflexiveObjectPropertyAxioms
```
public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLReflexiveObjectPropertyAxiom objects contained in this ontology that make the specified object property reflexive.
    
    Specified by:
    
    getReflexiveObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that is made reflexive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getIrreflexiveObjectPropertyAxioms
```
public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLIrreflexiveObjectPropertyAxiom objects contained in this ontology that make the specified object property irreflexive.
    
    Specified by:
    
    getIrreflexiveObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that is made irreflexive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getTransitiveObjectPropertyAxioms
```
public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLTransitiveObjectPropertyAxiom objects contained in this ontology that make the specified object property transitive.
    
    Specified by:
    
    getTransitiveObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlObjectPropertyExpression - The property that is made transitive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDataSubPropertyAxiomsForSubProperty
```
public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty owlDataProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubDataPropertyOfAxiom objects where the sub-property is equal to the specified property.
    
    Specified by:
    
    getDataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex
    
    Parameters:
    
    owlDataProperty - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDataSubPropertyAxiomsForSuperProperty
```
public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression owlDataPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubDataPropertyOfAxiom objects where the super-property is equal to the specified property.
    
    Specified by:
    
    getDataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex
    
    Parameters:
    
    owlDataPropertyExpression - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDataPropertyDomainAxioms
```
public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty owlDataProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDataPropertyDomainAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    getDataPropertyDomainAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlDataProperty - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDataPropertyRangeAxioms
```
public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty owlDataProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDataPropertyRangeAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    getDataPropertyRangeAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlDataProperty - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getEquivalentDataPropertiesAxioms
```
public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty owlDataProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLEquivalentDataPropertiesAxiom objects that make the specified property equivalent to some other data property expression(s).
    
    Specified by:
    
    getEquivalentDataPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlDataProperty - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDisjointDataPropertiesAxioms
```
public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty owlDataProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDisjointDataPropertiesAxiom objects that make the specified property disjoint with some other data property expression(s).
    
    Specified by:
    
    getDisjointDataPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlDataProperty - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getFunctionalDataPropertyAxioms
```
public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression owlDataPropertyExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLFunctionalDataPropertyAxiom objects contained in this ontology that make the specified data property functional.
    
    Specified by:
    
    getFunctionalDataPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlDataPropertyExpression - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getClassAssertionAxioms
```
public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLClassAssertionAxiom objects contained in this ontology that make the specified individual an instance of some class expression.
    
    Specified by:
    
    getClassAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlIndividual - The individual that the returned axioms make an instance of some class expression.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getClassAssertionAxioms
```
public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression owlClassExpression)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLClassAssertionAxiom objects contained in this ontology that make the specified class expression, ce, a type for some individual.
    
    Specified by:
    
    getClassAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlClassExpression - The class expression that the returned axioms make a type for some individual.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDataPropertyAssertionAxioms
```
public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDataPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    getDataPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlIndividual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getObjectPropertyAssertionAxioms
```
public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLObjectPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    getObjectPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlIndividual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getNegativeObjectPropertyAssertionAxioms
```
public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    getNegativeObjectPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlIndividual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getNegativeDataPropertyAssertionAxioms
```
public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLNegativeDataPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    getNegativeDataPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlIndividual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getSameIndividualAxioms
```
public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSameIndividualAxiom objects contained in this ontology that make the specified individual the same as some other individual.
    
    Specified by:
    
    getSameIndividualAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlIndividual - The individual that the returned axioms make the same as some other individual.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDifferentIndividualAxioms
```
public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual owlIndividual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDifferentIndividualsAxiom objects contained in this ontology that make the specified individual different to some other individual.
    
    Specified by:
    
    getDifferentIndividualAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlIndividual - The individual that the returned axioms make the different as some other individual.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getDatatypeDefinitions
```
public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype owlDatatype)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDatatypeDefinitionAxiom objects contained in this ontology that provide a definition for the specified datatype.
    
    Specified by:
    
    getDatatypeDefinitions in interface OWLAxiomIndex
    
    Parameters:
    
    owlDatatype - The datatype for which the returned axioms provide a definition.
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - applyChange
```
public ChangeApplied applyChange(OWLOntologyChange owlOntologyChange)
```
    Description copied from interface: HasApplyChange
    
    A convenience method that applies just one change to an ontology. When this method is used through an OWLOntologyManager implementation, the instance used should be the one that the ontology returns through the getOWLOntologyManager() call. The reason is that some changes, e.g., change of ontology id and change of imports directives, affect data that only that manager instance knows about, such as the imports closure; changes of ontology id through the wrong manager will make the ontology unreachable through its new id in the manager associated with the ontology. Configuration for loading and saving parameters is also held by the manager, if not explicitly specified for the ontology. While the change might be successful, other bugs might be made apparent later.
    
    Specified by:
    
    applyChange in interface HasApplyChange
    
    Specified by:
    
    applyChange in interface OWLOntology
    
    Parameters:
    
    owlOntologyChange - The change to be applied
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the change is applied with success, ChangeApplied.UNSUCCESSFULLY otherwise.
  - applyChangesAndGetDetails
```
public ChangeDetails applyChangesAndGetDetails(List<? extends OWLOntologyChange> list)
```
    Description copied from interface: HasApplyChanges
    
    Applies a list ontology changes to a collection of ontologies. When this method is used through an OWLOntologyManager implementation, the instance used should be the one that the ontology returns through the getOWLOntologyManager() call. The reason is that some changes, e.g., change of ontology id and change of imports directives, affect data that only that manager instance knows about, such as the imports closure; changes of ontology id through the wrong manager will make the ontology unreachable through its new id in the manager associated with the ontology. Configuration for loading and saving parameters is also held by the manager, if not explicitly specified for the ontology. While the change might be successful, other bugs might be made apparent later.
    
    Specified by:
    
    applyChangesAndGetDetails in interface HasApplyChanges
    
    Specified by:
    
    applyChangesAndGetDetails in interface OWLOntology
    
    Parameters:
    
    list - The changes to be applied.
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
  - addAxiom
```
public ChangeApplied addAxiom(OWLAxiom owlAxiom)
```
    Description copied from interface: HasDirectAddAxiom
    
    A convenience method that adds a single axiom to an ontology. The appropriate AddAxiom change object is automatically generated.
    
    Specified by:
    
    addAxiom in interface HasDirectAddAxiom
    
    Specified by:
    
    addAxiom in interface OWLOntology
    
    Parameters:
    
    owlAxiom - The axiom to be added
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
  - addAxioms
```
public ChangeApplied addAxioms(Collection<? extends OWLAxiom> set)
```
    Description copied from interface: HasDirectAddAxioms
    
    A convenience method that adds a set of axioms to an ontology. The appropriate AddAxiom change objects are automatically generated.
    
    Specified by:
    
    addAxioms in interface HasDirectAddAxioms
    
    Specified by:
    
    addAxioms in interface OWLOntology
    
    Parameters:
    
    set - The axioms to be added. Not null.
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
  - addAxioms
```
public ChangeApplied addAxioms(OWLAxiom... set)
```
    Description copied from interface: HasDirectAddAxioms
    
    A convenience method that adds a set of axioms to an ontology. The appropriate AddAxiom change objects are automatically generated.
    
    Specified by:
    
    addAxioms in interface HasDirectAddAxioms
    
    Specified by:
    
    addAxioms in interface OWLOntology
    
    Parameters:
    
    set - The axioms to be added. Not null.
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
  - add
```
public ChangeApplied add(OWLAxiom owlAxiom)
```
    Description copied from interface: HasDirectAddAxiom
    
    A convenience method that adds a single axiom to an ontology. The appropriate AddAxiom change object is automatically generated.
    
    Specified by:
    
    add in interface HasDirectAddAxiom
    
    Parameters:
    
    owlAxiom - The axiom to be added
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
  - add
```
public ChangeApplied add(Collection<? extends OWLAxiom> set)
```
    Description copied from interface: HasDirectAddAxioms
    
    A convenience method that adds a set of axioms to an ontology. The appropriate AddAxiom change objects are automatically generated.
    
    Specified by:
    
    add in interface HasDirectAddAxioms
    
    Parameters:
    
    set - The axioms to be added. Not null.
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
  - add
```
public ChangeApplied add(OWLAxiom... set)
```
    Description copied from interface: HasDirectAddAxioms
    
    A convenience method that adds a set of axioms to an ontology. The appropriate AddAxiom change objects are automatically generated.
    
    Specified by:
    
    add in interface HasDirectAddAxioms
    
    Parameters:
    
    set - The axioms to be added. Not null.
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
  - importsDeclarations
```
public Stream<OWLImportsDeclaration> importsDeclarations()
```
    Description copied from interface: OWLOntology
    
    Gets the stream of imports declarations for this ontology. These are the IRIs that correspond to the set of IRIs in an ontology's directlyImportsDocuments (see Section 3 in the OWL 2 structural specification).
    
    Specified by:
    
    importsDeclarations in interface OWLOntology
    
    Returns:
    
    Sorted stream of imports declarations that correspond to the set of ontology document IRIs that are directly imported by this ontology.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter,
                                             Object key,
                                             Imports includeImportsClosure)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Specified by:
    
    axioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    a stream of axioms matching the request. The axioms are collected from a set, therefore it contains no duplicates.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter,
                                             Object key)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Specified by:
    
    axioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    Returns:
    
    a stream of axioms matching the request. The axioms are collected from a set, therefore it contains no duplicates.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(Class<T> type,
                                             Class<? extends OWLObject> explicitClass,
                                             OWLObject entity,
                                             Navigation forSubPosition)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    axioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    explicitClass - for overlapping indexes in the ontology internals, an explicit class rather than the entity class might be necessary
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    stream of axioms satisfying the conditions.
  - subAnnotationPropertyOfAxioms
```
public Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubAnnotationPropertyOfAxiom objects where the specified property is the sub-property.
    
    Specified by:
    
    subAnnotationPropertyOfAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    subProperty - The sub-property of the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search.
  - datatypeDefinitions
```
public Stream<OWLDatatypeDefinitionAxiom> datatypeDefinitions(OWLDatatype datatype)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDatatypeDefinitionAxiom objects contained in this ontology that provide a definition for the specified datatype.
    
    Specified by:
    
    datatypeDefinitions in interface OWLAxiomIndex
    
    Parameters:
    
    datatype - The datatype for which the returned axioms provide a definition.
    
    Returns:
    
    the axioms matching the search.
  - removeAxiom
```
public ChangeApplied removeAxiom(OWLAxiom axiom)
```
    Description copied from interface: HasDirectRemoveAxiom
    
    A convenience method that removes a single axiom from this object. The appropriate RemoveAxiom change object is automatically generated.
    
    Specified by:
    
    removeAxiom in interface HasDirectRemoveAxiom
    
    Specified by:
    
    removeAxiom in interface OWLOntology
    
    Parameters:
    
    axiom - The axiom to be removed
    
    Returns:
    
    A list of ontology changes that represent the changes that actually took place.
  - removeAxioms
```
public ChangeApplied removeAxioms(Collection<? extends OWLAxiom> axioms)
```
    Description copied from interface: HasDirectRemoveAxioms
    
    A convenience method that removes a set of axioms from this object. The appropriate RemoveAxiom change objects are automatically generated.
    
    Specified by:
    
    removeAxioms in interface HasDirectRemoveAxioms
    
    Specified by:
    
    removeAxioms in interface OWLOntology
    
    Parameters:
    
    axioms - The axioms to be removed.
    
    Returns:
    
    A list of ontology changes that represent the changes which took place in order to remove the axioms.
  - removeAxioms
```
public ChangeApplied removeAxioms(OWLAxiom... axioms)
```
    Description copied from interface: HasDirectRemoveAxioms
    
    A convenience method that removes a set of axioms from this object. The appropriate RemoveAxiom change objects are automatically generated.
    
    Specified by:
    
    removeAxioms in interface HasDirectRemoveAxioms
    
    Specified by:
    
    removeAxioms in interface OWLOntology
    
    Parameters:
    
    axioms - The axioms to be removed.
    
    Returns:
    
    A list of ontology changes that represent the changes which took place in order to remove the axioms.
  - remove
```
public ChangeApplied remove(OWLAxiom axiom)
```
    Description copied from interface: HasDirectRemoveAxiom
    
    A convenience method that removes a single axiom from this object. The appropriate RemoveAxiom change object is automatically generated.
    
    Specified by:
    
    remove in interface HasDirectRemoveAxiom
    
    Parameters:
    
    axiom - The axiom to be removed
    
    Returns:
    
    A list of ontology changes that represent the changes that actually took place.
  - remove
```
public ChangeApplied remove(Collection<? extends OWLAxiom> axioms)
```
    Description copied from interface: HasDirectRemoveAxioms
    
    A convenience method that removes a set of axioms from this object. The appropriate RemoveAxiom change objects are automatically generated.
    
    Specified by:
    
    remove in interface HasDirectRemoveAxioms
    
    Parameters:
    
    axioms - The axioms to be removed.
    
    Returns:
    
    A list of ontology changes that represent the changes which took place in order to remove the axioms.
  - remove
```
public ChangeApplied remove(OWLAxiom... axioms)
```
    Description copied from interface: HasDirectRemoveAxioms
    
    A convenience method that removes a set of axioms from this object. The appropriate RemoveAxiom change objects are automatically generated.
    
    Specified by:
    
    remove in interface HasDirectRemoveAxioms
    
    Parameters:
    
    axioms - The axioms to be removed.
    
    Returns:
    
    A list of ontology changes that represent the changes which took place in order to remove the axioms.
  - applyDirectChange
```
public ChangeApplied applyDirectChange(OWLOntologyChange change)
```
    Description copied from interface: HasApplyDirectChange
    
    A convenience method that applies just one change to this ontology. Note: ontology ID changes should not be passed directly to this method but applied through OWLOntologyManager. This is because the manager needs to update its internal structures for id changes.
    
    Specified by:
    
    applyDirectChange in interface HasApplyDirectChange
    
    Specified by:
    
    applyDirectChange in interface OWLOntology
    
    Parameters:
    
    change - The change to be applied
    
    Returns:
    
    ChangeApplied.SUCCESSFULLY if the change is applied with success, ChangeApplied.UNSUCCESSFULLY otherwise.
  - disjointObjectPropertiesAxioms
```
public Stream<OWLDisjointObjectPropertiesAxiom> disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDisjointObjectPropertiesAxiom objects that make the specified property disjoint with some other object property expression(s).
    
    Specified by:
    
    disjointObjectPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search.
  - objectPropertiesInSignature
```
public Stream<OWLObjectProperty> objectPropertiesInSignature()
```
    Specified by:
    
    objectPropertiesInSignature in interface HasObjectPropertiesInSignature
    
    Returns:
    
    Stream of object properties that are in the signature of this object.
  - annotationAssertionAxioms
```
public Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the axioms that annotate the specified entity.
    
    Specified by:
    
    annotationAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    entity - The entity whose annotations are to be retrieved.
    
    Returns:
    
    the axioms matching the search.
  - annotationAssertionAxioms
```
public Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity,
                                                                     Imports imports)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the axioms that annotate the specified entity.
    
    Specified by:
    
    annotationAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    entity - The entity whose annotations are to be retrieved.
    
    imports - imports included or excluded
    
    Returns:
    
    the axioms matching the search.
  - annotationPropertiesInSignature
```
public Stream<OWLAnnotationProperty> annotationPropertiesInSignature()
```
    Specified by:
    
    annotationPropertiesInSignature in interface HasAnnotationPropertiesInSignature
    
    Returns:
    
    the annotation properties that are in the signature of this object.
  - annotationPropertiesInSignature
```
public Stream<OWLAnnotationProperty> annotationPropertiesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the annotation properties in the signature and optionally the imports closure.
    
    Specified by:
    
    annotationPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the stream of annotation properties in the signature, optionally including the import closure.
  - annotations
```
public Stream<OWLAnnotation> annotations()
```
    Specified by:
    
    annotations in interface HasAnnotations
    
    Returns:
    
    a sorted stream of OWLAnnotation instances on this object. This will only include the annotations contained in this object, not the value of annotation assertion axioms in an ontology or in other ontologies. Use the EntitySearcher methods for that purpose.
  - annotationsAsList
```
public List<OWLAnnotation> annotationsAsList()
```
    Specified by:
    
    annotationsAsList in interface HasAnnotations
    
    Returns:
    
    annotation collection s list
  - annotations
```
public Stream<OWLAnnotation> annotations(OWLAnnotationProperty p)
```
    Specified by:
    
    annotations in interface HasAnnotations
    
    Parameters:
    
    p - annotation property to filter on
    
    Returns:
    
    a stream of OWLAnnotation instances on this object, with filter applied. This will only include the annotations contained in this object, not the value of annotation assertion axioms in an ontology or in other ontologies. Use the EntitySearcher methods for that purpose.
  - annotations
```
public Stream<OWLAnnotation> annotations(Predicate<OWLAnnotation> p)
```
    Specified by:
    
    annotations in interface HasAnnotations
    
    Parameters:
    
    p - filter predicate for annotations. Can be used to match the annotation property or the annotation value
    
    Returns:
    
    a stream of OWLAnnotation instances on this object, with filter applied. This will only include the annotations contained in this object, not the value of annotation assertion axioms in an ontology or in other ontologies. Use the EntitySearcher methods for that purpose.
  - anonymousIndividuals
```
public Stream<OWLAnonymousIndividual> anonymousIndividuals()
```
    Specified by:
    
    anonymousIndividuals in interface HasAnonymousIndividuals
    
    Returns:
    
    A stream of anonymous individuals occurring in this object.
  - asymmetricObjectPropertyAxioms
```
public Stream<OWLAsymmetricObjectPropertyAxiom> asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLAsymmetricObjectPropertyAxiom objects contained in this ontology that make the specified object property asymmetric.
    
    Specified by:
    
    asymmetricObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made asymmetric by the axioms.
    
    Returns:
    
    the axioms matching the search.
  - axioms
```
public <T extends OWLAxiom> Stream<T> axioms(Class<T> type,
                                             OWLObject entity,
                                             Navigation forSubPosition)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    axioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    stream of axioms satisfying the conditions.
  - axioms
```
public Stream<OWLAxiom> axioms(Imports imports)
```
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    stream of all of the axioms in this collection, and optionally in the import closure.
  - axioms
```
public Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property,
                                         Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    property - The property whose definition axioms are to be retrieved
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A stream of axioms that includes
    
    Annotation subpropertyOf axioms where the specified property is the sub property
    
    Annotation property domain axioms that specify a domain for the specified property
    
    Annotation property range axioms that specify a range for the specified property
  - axioms
```
public Stream<OWLClassAxiom> axioms(OWLClass cls,
                                    Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    cls - The class whose describing axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A stream of class axioms that describe the class. This includes
    
    Subclass axioms where the subclass is equal to the specified class
    
    Equivalent class axioms where the specified class is an operand in the equivalent class axiom
    
    Disjoint class axioms where the specified class is an operand in the disjoint class axiom
    
    Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union
  - axioms
```
public Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property,
                                           Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    property - The property whose defining axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A stream of data property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
  - axioms
```
public Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype,
                                                 Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    datatype - The datatype
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    stream of datatype definition axioms for the specified datatype.
  - axioms
```
public Stream<OWLIndividualAxiom> axioms(OWLIndividual individual,
                                         Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    individual - The individual whose defining axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A stream of individual axioms that includes
    
    Individual type assertions that assert the type of the specified individual
    
    Same individuals axioms that contain the specified individual
    
    Different individuals axioms that contain the specified individual
    
    Object property assertion axioms whose subject is the specified individual
    
    Data property assertion axioms whose subject is the specified individual
    
    Negative object property assertion axioms whose subject is the specified individual
    
    Negative data property assertion axioms whose subject is the specified individual
  - axioms
```
public Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property,
                                             Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    axioms in interface OWLAxiomCollection
    
    Parameters:
    
    property - The property whose defining axioms are to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    A stream of object property axioms that includes
    
    Sub-property axioms where the sub property is the specified property
    
    Equivalent property axioms where the axiom contains the specified property
    
    Equivalent property axioms that contain the inverse of the specified property
    
    Disjoint property axioms that contain the specified property
    
    Domain axioms that specify a domain of the specified property
    
    Range axioms that specify a range of the specified property
    
    Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
    
    Inverse properties axioms that contain the specified property
  - classAssertionAxioms
```
public Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLClassAssertionAxiom objects contained in this ontology that make the specified class expression, ce, a type for some individual.
    
    Specified by:
    
    classAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    ce - The class expression that the returned axioms make a type for some individual.
    
    Returns:
    
    the axioms matching the search.
  - classAssertionAxioms
```
public Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLClassAssertionAxiom objects contained in this ontology that make the specified individual an instance of some class expression.
    
    Specified by:
    
    classAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    individual - The individual that the returned axioms make an instance of some class expression.
    
    Returns:
    
    the axioms matching the search.
  - classesInSignature
```
public Stream<OWLClass> classesInSignature()
```
    Specified by:
    
    classesInSignature in interface HasClassesInSignature
    
    Returns:
    
    Stream of classes in the signature of this object.
  - classesInSignature
```
public Stream<OWLClass> classesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the classes in the signature and optionally the imports closure.
    
    Specified by:
    
    classesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the stream of classes in the signature, optionally including the import closure.
  - dataPropertiesInSignature
```
public Stream<OWLDataProperty> dataPropertiesInSignature()
```
    Specified by:
    
    dataPropertiesInSignature in interface HasDataPropertiesInSignature
    
    Returns:
    
    Stream of data properties that are in the signature of this object.
  - dataPropertiesInSignature
```
public Stream<OWLDataProperty> dataPropertiesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the data properties in the signature and optionally the imports closure.
    
    Specified by:
    
    dataPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the stream of data properties in the signature, optionally including the import closure.
  - dataPropertyAssertionAxioms
```
public Stream<OWLDataPropertyAssertionAxiom> dataPropertyAssertionAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDataPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    dataPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search.
  - dataPropertyDomainAxioms
```
public Stream<OWLDataPropertyDomainAxiom> dataPropertyDomainAxioms(OWLDataProperty property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDataPropertyDomainAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    dataPropertyDomainAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - dataPropertyRangeAxioms
```
public Stream<OWLDataPropertyRangeAxiom> dataPropertyRangeAxioms(OWLDataProperty property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDataPropertyRangeAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    dataPropertyRangeAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - dataSubPropertyAxiomsForSubProperty
```
public Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubDataPropertyOfAxiom objects where the sub-property is equal to the specified property.
    
    Specified by:
    
    dataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex
    
    Parameters:
    
    subProperty - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - dataSubPropertyAxiomsForSuperProperty
```
public Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubDataPropertyOfAxiom objects where the super-property is equal to the specified property.
    
    Specified by:
    
    dataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex
    
    Parameters:
    
    superProperty - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - datatypesInSignature
```
public Stream<OWLDatatype> datatypesInSignature()
```
    Specified by:
    
    datatypesInSignature in interface HasDatatypesInSignature
    
    Returns:
    
    A stream of the datatypes that are in the signature of this object.
  - datatypesInSignature
```
public Stream<OWLDatatype> datatypesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the datatypes in the signature and optionally the imports closure.
    
    Specified by:
    
    datatypesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the stream of datatypes in the signature of this ontology, optionally including the import closure.
  - declarationAxioms
```
public Stream<OWLDeclarationAxiom> declarationAxioms(OWLEntity subject)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the declaration axioms for specified entity.
    
    Specified by:
    
    declarationAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    subject - The entity that is the subject of the returned axioms.
    
    Returns:
    
    the axioms matching the search.
  - differentIndividualAxioms
```
public Stream<OWLDifferentIndividualsAxiom> differentIndividualAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDifferentIndividualsAxiom objects contained in this ontology that make the specified individual different to some other individual.
    
    Specified by:
    
    differentIndividualAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    individual - The individual that the returned axioms make the different as some other individual.
    
    Returns:
    
    the axioms matching the search.
  - disjointClassesAxioms
```
public Stream<OWLDisjointClassesAxiom> disjointClassesAxioms(OWLClass cls)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the stream of disjoint class axioms that contain the specified class as an operand.
    
    Specified by:
    
    disjointClassesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    cls - The class to search
    
    Returns:
    
    the axioms matching the search.
  - disjointDataPropertiesAxioms
```
public Stream<OWLDisjointDataPropertiesAxiom> disjointDataPropertiesAxioms(OWLDataProperty property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLDisjointDataPropertiesAxiom objects that make the specified property disjoint with some other data property expression(s).
    
    Specified by:
    
    disjointDataPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search.
  - disjointUnionAxioms
```
public Stream<OWLDisjointUnionAxiom> disjointUnionAxioms(OWLClass owlClass)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the stream of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands. For example, if the ontology contained the axiom DisjointUnion(A, propP some C, D, E) this axiom would be returned for class A (but not for D or E).
    
    Specified by:
    
    disjointUnionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    owlClass - The class that indexes the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search.
  - entitiesInSignature
```
public Stream<OWLEntity> entitiesInSignature(IRI iri,
                                             Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the entities in the signature that have the specified IRI.
    
    Specified by:
    
    entitiesInSignature in interface OWLSignature
    
    Parameters:
    
    iri - The IRI of the entities to be retrieved.
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the stream of entities with the specified IRI, optionally including the ones in the import closure.
  - equivalentClassesAxioms
```
public Stream<OWLEquivalentClassesAxiom> equivalentClassesAxioms(OWLClass cls)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
    
    Specified by:
    
    equivalentClassesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    cls - The class to search
    
    Returns:
    
    the axioms matching the search.
  - equivalentDataPropertiesAxioms
```
public Stream<OWLEquivalentDataPropertiesAxiom> equivalentDataPropertiesAxioms(OWLDataProperty property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLEquivalentDataPropertiesAxiom objects that make the specified property equivalent to some other data property expression(s).
    
    Specified by:
    
    equivalentDataPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search.
  - equivalentObjectPropertiesAxioms
```
public Stream<OWLEquivalentObjectPropertiesAxiom> equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLEquivalentObjectPropertiesAxiom objects that make the specified property equivalent to some other object property expression(s).
    
    Specified by:
    
    equivalentObjectPropertiesAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search.
  - filterAxioms
```
public <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter,
                                                       Object key)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Specified by:
    
    filterAxioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    Returns:
    
    a collection of axioms matching the request. The axioms are collected from a set, therefore the collection contains no duplicates. The collection that is returned is a copy; modifications to the returned collection will not be reflected in this object.
  - functionalDataPropertyAxioms
```
public Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms(OWLDataPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLFunctionalDataPropertyAxiom objects contained in this ontology that make the specified data property functional.
    
    Specified by:
    
    functionalDataPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search.
  - functionalObjectPropertyAxioms
```
public Stream<OWLFunctionalObjectPropertyAxiom> functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLFunctionalObjectPropertyAxiom objects contained in this ontology that make the specified object property functional.
    
    Specified by:
    
    functionalObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search.
  - getAnnotationAssertionAxioms
```
public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity,
                                                                     Imports imports)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the axioms that annotate the specified entity.
    
    Specified by:
    
    getAnnotationAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    entity - The entity whose annotations are to be retrieved.
    
    imports - imports included or excluded
    
    Returns:
    
    the axioms matching the search. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAnnotations
```
public Set<OWLAnnotation> getAnnotations(OWLAnnotationProperty annotationProperty)
```
    Description copied from interface: HasAnnotations
    
    Gets the annotations whose annotation property is equal to annotationProperty.
    
    Specified by:
    
    getAnnotations in interface HasAnnotations
    
    Parameters:
    
    annotationProperty - The annotation property that will be equal to the annotation property of each returned annotation.
    
    Returns:
    
    A set of annotations whose annotation properties is equals to annotationProperty.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(Class<T> type,
                                             Class<? extends OWLObject> explicitClass,
                                             OWLObject entity,
                                             Navigation forSubPosition)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    getAxioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    explicitClass - for overlapping indexes in the ontology internals, an explicit class rather than the entity class might be necessary
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(Class<T> type,
                                             OWLObject entity,
                                             Navigation forSubPosition)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Specified by:
    
    getAxioms in interface OWLAxiomIndex
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - getFormat
```
@Nullable
public OWLDocumentFormat getFormat()
```
    Specified by:
    
    getFormat in interface OWLOntology
    
    Returns:
    
    ontology format for this ontology; can be null if the ontology has been created programmatically and not loaded/saved, so it does not have any format information associated.
  - getReferencedAnonymousIndividuals
```
public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
```
    Description copied from interface: OWLSignature
    
    Gets the referenced anonymous individuals.
    
    Specified by:
    
    getReferencedAnonymousIndividuals in interface OWLSignature
    
    Returns:
    
    The set of referenced anonymous individuals. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.
  - hasKeyAxioms
```
public Stream<OWLHasKeyAxiom> hasKeyAxioms(OWLClass cls)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the has key axioms that have the specified class as their subject.
    
    Specified by:
    
    hasKeyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    cls - The subject of the has key axioms
    
    Returns:
    
    the axioms matching the search.
  - individualsInSignature
```
public Stream<OWLNamedIndividual> individualsInSignature()
```
    Specified by:
    
    individualsInSignature in interface HasIndividualsInSignature
    
    Returns:
    
    Stream containing the individuals that are in the signature of this object.
  - individualsInSignature
```
public Stream<OWLNamedIndividual> individualsInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the named individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    individualsInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the stream of individuals in the signature, optionally including the import closure.
  - inverseFunctionalObjectPropertyAxioms
```
public Stream<OWLInverseFunctionalObjectPropertyAxiom> inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLInverseFunctionalObjectPropertyAxiom objects contained in this ontology that make the specified object property inverse functional.
    
    Specified by:
    
    inverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made inverse functional by the axioms.
    
    Returns:
    
    the axioms matching the search.
  - inverseObjectPropertyAxioms
```
public Stream<OWLInverseObjectPropertiesAxiom> inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLInverseObjectPropertiesAxiom objects where the specified property is contained in the stream returned by OWLNaryPropertyAxiom.properties() .
    
    Specified by:
    
    inverseObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - irreflexiveObjectPropertyAxioms
```
public Stream<OWLIrreflexiveObjectPropertyAxiom> irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLIrreflexiveObjectPropertyAxiom objects contained in this ontology that make the specified object property irreflexive.
    
    Specified by:
    
    irreflexiveObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made irreflexive by the axioms.
    
    Returns:
    
    the axioms matching the search.
  - logicalAxioms
```
public Stream<OWLLogicalAxiom> logicalAxioms(Imports imports)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
    
    Specified by:
    
    logicalAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    A stream of axioms which are of type OWLLogicalAxiom, optionally including the imports closure.
  - negativeDataPropertyAssertionAxioms
```
public Stream<OWLNegativeDataPropertyAssertionAxiom> negativeDataPropertyAssertionAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLNegativeDataPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    negativeDataPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search.
  - negativeObjectPropertyAssertionAxioms
```
public Stream<OWLNegativeObjectPropertyAssertionAxiom> negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    negativeObjectPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search.
  - nestedClassExpressions
```
public Stream<OWLClassExpression> nestedClassExpressions()
```
    Description copied from interface: OWLObject
    
    Gets all of the nested (includes top level) class expressions (anonymous and named) that are used in this object. For an ontology, this method visits the logical axioms, so entities that are only declared (and possibly annotated) but do not appear in any logical axiom are not returned as part of the stream. The default implementation of this method returns an empty stream.
    
    Specified by:
    
    nestedClassExpressions in interface OWLObject
    
    Returns:
    
    A stream of OWLClassExpressions that represent the nested class expressions used in this object.
  - objectPropertiesInSignature
```
public Stream<OWLObjectProperty> objectPropertiesInSignature(Imports imports)
```
    Description copied from interface: OWLSignature
    
    Gets the object properties in the signature and optionally the imports closure.
    
    Specified by:
    
    objectPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    imports - if INCLUDED, include imports closure.
    
    Returns:
    
    the stream of object properties in the signature, optionally including the import closure.
  - objectPropertyAssertionAxioms
```
public Stream<OWLObjectPropertyAssertionAxiom> objectPropertyAssertionAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLObjectPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
    
    Specified by:
    
    objectPropertyAssertionAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search.
  - objectPropertyDomainAxioms
```
public Stream<OWLObjectPropertyDomainAxiom> objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLObjectPropertyDomainAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    objectPropertyDomainAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - objectPropertyRangeAxioms
```
public Stream<OWLObjectPropertyRangeAxiom> objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLObjectPropertyRangeAxiom objects where the property is equal to the specified property.
    
    Specified by:
    
    objectPropertyRangeAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - objectSubPropertyAxiomsForSubProperty
```
public Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubObjectPropertyOfAxiom objects where the sub-property is equal to the specified property.
    
    Specified by:
    
    objectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex
    
    Parameters:
    
    subProperty - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - objectSubPropertyAxiomsForSuperProperty
```
public Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSubObjectPropertyOfAxiom objects where the super-property is equal to the specified property.
    
    Specified by:
    
    objectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex
    
    Parameters:
    
    superProperty - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search.
  - reflexiveObjectPropertyAxioms
```
public Stream<OWLReflexiveObjectPropertyAxiom> reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLReflexiveObjectPropertyAxiom objects contained in this ontology that make the specified object property reflexive.
    
    Specified by:
    
    reflexiveObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made reflexive by the axioms.
    
    Returns:
    
    the axioms matching the search.
  - sameIndividualAxioms
```
public Stream<OWLSameIndividualAxiom> sameIndividualAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSameIndividualAxiom objects contained in this ontology that make the specified individual the same as some other individual.
    
    Specified by:
    
    sameIndividualAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    individual - The individual that the returned axioms make the same as some other individual.
    
    Returns:
    
    the axioms matching the search.
  - subClassAxiomsForSubClass
```
public Stream<OWLSubClassOfAxiom> subClassAxiomsForSubClass(OWLClass cls)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
    
    Specified by:
    
    subClassAxiomsForSubClass in interface OWLAxiomIndex
    
    Parameters:
    
    cls - The class that is equal to the left hand side of the axiom (subclass).
    
    Returns:
    
    the axioms matching the search.
  - subClassAxiomsForSuperClass
```
public Stream<OWLSubClassOfAxiom> subClassAxiomsForSuperClass(OWLClass cls)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
    
    Specified by:
    
    subClassAxiomsForSuperClass in interface OWLAxiomIndex
    
    Parameters:
    
    cls - The class
    
    Returns:
    
    the axioms matching the search.
  - symmetricObjectPropertyAxioms
```
public Stream<OWLSymmetricObjectPropertyAxiom> symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLSymmetricObjectPropertyAxiom objects contained in this ontology that make the specified object property symmetric.
    
    Specified by:
    
    symmetricObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made symmetric by the axioms.
    
    Returns:
    
    the axioms matching the search.
  - transitiveObjectPropertyAxioms
```
public Stream<OWLTransitiveObjectPropertyAxiom> transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomIndex
    
    Gets the OWLTransitiveObjectPropertyAxiom objects contained in this ontology that make the specified object property transitive.
    
    Specified by:
    
    transitiveObjectPropertyAxioms in interface OWLAxiomIndex
    
    Parameters:
    
    property - The property that is made transitive by the axioms.
    
    Returns:
    
    the axioms matching the search.

Class ConcurrentOWLOntologyImpl

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface org.semanticweb.owlapi.model.OWLOntology

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasComponents

Methods inherited from interface org.semanticweb.owlapi.model.IsAnonymous

Methods inherited from interface org.semanticweb.owlapi.model.HasApplyChanges

Methods inherited from interface org.semanticweb.owlapi.model.HasDirectRemoveAxioms

Constructor Detail

ConcurrentOWLOntologyImpl

Method Detail

typeIndex

setLock

trimToSize

accept

accept

hashCode

equals

getOWLOntologyManager

setOWLOntologyManager

getOntologyID

isAnonymous

getAnnotations

getDirectImportsDocuments

directImportsDocuments

getDirectImports

directImports

getImports

imports

getImportsClosure

importsClosure

getImportsDeclarations

isEmpty

getTBoxAxioms

getABoxAxioms

getRBoxAxioms

tboxAxioms

aboxAxioms

rboxAxioms

getGeneralClassAxioms

getSignature

getSignature

generalClassAxioms

signature

signature

isDeclared

isDeclared

saveOntology

saveOntology

saveOntology

saveOntology

saveOntology

saveOntology

saveOntology

saveOntology

getNestedClassExpressions

accept

accept

isTopEntity

isBottomEntity

toString

compareTo

containsEntityInSignature

containsEntitiesOfTypeInSignature

containsEntitiesOfTypeInSignature

getAnonymousIndividuals

getClassesInSignature

getObjectPropertiesInSignature

getDataPropertiesInSignature

getIndividualsInSignature

getDatatypesInSignature

getAnnotationPropertiesInSignature

getAxioms

getAxiomCount

getLogicalAxioms

getLogicalAxiomCount

getAxioms