OWLImmutableOntologyImpl (OWLAPI OSGi and Compatibility Distribution 4.1.4 API)

java.lang.Object
- uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithEntityAndAnonCaching
- - uk.ac.manchester.cs.owl.owlapi.OWLAxiomIndexImpl
  - - uk.ac.manchester.cs.owl.owlapi.OWLImmutableOntologyImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasAxioms, HasAxiomsByType, HasClassesInSignature, HasContainsAxiom, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasDirectImports, HasGetEntitiesInSignature, HasImportsClosure, HasIndividualsInSignature, HasLogicalAxioms, HasObjectPropertiesInSignature, HasOntologyID, HasSignature, OWLAxiomCollection, OWLAxiomCollectionBooleanArgs, OWLAxiomCollectionNoArgs, OWLAxiomIndex, OWLObject, OWLOntology, OWLSignature, OWLSignatureBooleanArgs, HasTrimToSize

Direct Known Subclasses:

OWLOntologyImpl
```
public class OWLImmutableOntologyImpl
extends OWLAxiomIndexImpl
implements OWLOntology, Serializable
```
Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor and Description

OWLImmutableOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)

Constructors
Constructor and Description
`OWLImmutableOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`accept(OWLNamedObjectVisitor visitor)` accept for named object visitor
`<O> O`	`accept(OWLNamedObjectVisitorEx<O> visitor)` Accepts a visitor
`void`	`accept(OWLObjectVisitor visitor)` Accepts a visitor
`<O> O`	`accept(OWLObjectVisitorEx<O> visitor)` Accepts a visitor
`boolean`	`contains(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)` Generic containment check type for further refining search by axiom type.
`boolean`	`containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI)` Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
`boolean`	`containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI, boolean includeImportsClosure)` Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
`boolean`	`containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI, Imports includeImportsClosure)` Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
`boolean`	`containsAxiom(OWLAxiom axiom)` Determines whether or not this object contains a particular `OWLAxiom`.
`boolean`	`containsAxiom(OWLAxiom axiom, boolean includeImportsClosure)` Determines if this ontology contains the specified axiom, optionally including the imports closure.
`boolean`	`containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations)` Determines if this ontology contains the specified axiom, optionally including the imports closure.
`boolean`	`containsAxiomIgnoreAnnotations(OWLAxiom axiom)` Determines if this ontology contains the specified axiom.
`boolean`	`containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean importsIncluded)` Determines if this ontology contains the specified axiom, optionally including the imports closure.
`boolean`	`containsClassInSignature(IRI owlClassIRI)` Determines if the signature contains an OWLClass that has the specified IRI.
`boolean`	`containsClassInSignature(IRI owlClassIRI, boolean includeImportsClosure)` Determines if the signature contains an OWLClass that has the specified IRI.
`boolean`	`containsClassInSignature(IRI owlClassIRI, Imports includeImportsClosure)` Determines if the signature contains an OWLClass that has the specified IRI.
`boolean`	`containsDataPropertyInSignature(IRI owlDataPropertyIRI)` Determines if the signature contains an OWLDataProperty that has the specified IRI.
`boolean`	`containsDataPropertyInSignature(IRI owlDataPropertyIRI, boolean includeImportsClosure)` Determines if the signature contains an OWLDataProperty that has the specified IRI.
`boolean`	`containsDataPropertyInSignature(IRI owlDataPropertyIRI, Imports includeImportsClosure)` Determines if the signature contains an OWLDataProperty that has the specified IRI.
`boolean`	`containsDatatypeInSignature(IRI owlDatatypeIRI)` Determines if the signature contains an OWLDatatype that has the specified IRI.
`boolean`	`containsDatatypeInSignature(IRI owlDatatypeIRI, boolean includeImportsClosure)` Determines if the signature contains an OWLDatatype that has the specified IRI.
`boolean`	`containsDatatypeInSignature(IRI owlDatatypeIRI, Imports includeImportsClosure)` Determines if the signature contains an OWLDatatype that has the specified IRI.
`boolean`	`containsEntityInSignature(IRI entityIRI)` Determines if the signature contains an entity with the specified IRI.
`boolean`	`containsEntityInSignature(IRI entityIRI, boolean includeImportsClosure)` Determines if the signature contains an entity with the specified IRI.
`boolean`	`containsEntityInSignature(IRI entityIRI, Imports includeImportsClosure)` 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 includeImportsClosure)` Determines if the signature contains the specified entity.
`boolean`	`containsEntityInSignature(OWLEntity owlEntity, Imports includeImportsClosure)` Determines if the signature contains the specified entity.
`boolean`	`containsIndividualInSignature(IRI owlIndividualIRI)` Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
`boolean`	`containsIndividualInSignature(IRI owlIndividualIRI, boolean includeImportsClosure)` Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
`boolean`	`containsIndividualInSignature(IRI owlIndividualIRI, Imports includeImportsClosure)` Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
`boolean`	`containsObjectPropertyInSignature(IRI owlObjectPropertyIRI)` Determines if the signature contains an OWLObjectProperty that has the specified IRI.
`boolean`	`containsObjectPropertyInSignature(IRI owlObjectPropertyIRI, boolean includeImportsClosure)` Determines if the signature contains an OWLObjectProperty that has the specified IRI.
`boolean`	`containsObjectPropertyInSignature(IRI owlObjectPropertyIRI, Imports includeImportsClosure)` Determines if the signature contains an OWLObjectProperty that has the specified IRI.
`boolean`	`containsReference(OWLEntity entity)`
`boolean`	`containsReference(OWLEntity entity, boolean includeImportsClosure)`
`boolean`	`containsReference(OWLEntity entity, Imports includeImportsClosure)`
`boolean`	`equals(Object obj)`
`<T extends OWLAxiom> Collection<T>`	`filterAxioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)` Generic filter type for further refining search by axiom type.
`Set<OWLAxiom>`	`getABoxAxioms(Imports includeImportsClosure)` Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
`Set<OWLAnnotationProperty>`	`getAnnotationPropertiesInSignature(boolean includeImportsClosure)` Gets the annotation properties in the signature and optionally the imports closure.
`Set<OWLAnnotationProperty>`	`getAnnotationPropertiesInSignature(Imports includeImportsClosure)` Gets the annotation properties in the signature and optionally the imports closure.
`Set<OWLAnnotation>`	`getAnnotations()` Gets the annotations on this ontology.
`Set<OWLAnonymousIndividual>`	`getAnonymousIndividuals()` Gets the anonymous individuals occurring in this object.
`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 includeImportsClosure)` Gets the axiom count of a specific type of axiom, optionally including the imports closure.
`<T extends OWLAxiom> int`	`getAxiomCount(AxiomType<T> axiomType, Imports includeImportsClosure)` Gets the axiom count of a specific type of axiom, optionally including the imports closure.
`int`	`getAxiomCount(boolean includeImportsClosure)`
`int`	`getAxiomCount(Imports includeImportsClosure)`
`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 includeImportsClosure)` Gets all axioms of the specified type.
`<T extends OWLAxiom> Set<T>`	`getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure)` Gets all axioms of the specified type.
`Set<OWLAxiom>`	`getAxioms(boolean b)`
`<A extends OWLAxiom> Set<A>`	`getAxioms(Class<A> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, Navigation forSubPosition)` Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<A extends OWLAxiom> Set<A>`	`getAxioms(Class<A> type, OWLObject entity, Imports includeImports, Navigation forSubPosition)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`Set<OWLAxiom>`	`getAxioms(Imports includeImportsClosure)`
`Set<OWLAnnotationAxiom>`	`getAxioms(OWLAnnotationProperty property)` Gets the axioms that form the definition/description of an annotation property.
`Set<OWLAnnotationAxiom>`	`getAxioms(OWLAnnotationProperty property, boolean includeImportsClosure)` Gets the axioms that form the definition/description of an annotation property.
`Set<OWLAnnotationAxiom>`	`getAxioms(OWLAnnotationProperty property, Imports includeImportsClosure)` Gets the axioms that form the definition/description of an annotation property.
`Set<OWLClassAxiom>`	`getAxioms(OWLClass cls)` Gets the axioms that form the definition/description of a class.
`Set<OWLClassAxiom>`	`getAxioms(OWLClass cls, boolean includeImportsClosure)` Gets the axioms that form the definition/description of a class.
`Set<OWLClassAxiom>`	`getAxioms(OWLClass cls, Imports includeImportsClosure)` Gets the axioms that form the definition/description of a class.
`Set<OWLDataPropertyAxiom>`	`getAxioms(OWLDataProperty property)` Gets the axioms that form the definition/description of a data property.
`Set<OWLDataPropertyAxiom>`	`getAxioms(OWLDataProperty property, boolean includeImportsClosure)` Gets the axioms that form the definition/description of a data property.
`Set<OWLDataPropertyAxiom>`	`getAxioms(OWLDataProperty property, Imports includeImportsClosure)` Gets the axioms that form the definition/description of a data property.
`Set<OWLDatatypeDefinitionAxiom>`	`getAxioms(OWLDatatype datatype)` Gets the datatype definition axioms for the specified datatype.
`Set<OWLDatatypeDefinitionAxiom>`	`getAxioms(OWLDatatype datatype, boolean includeImportsClosure)` Gets the datatype definition axioms for the specified datatype.
`Set<OWLDatatypeDefinitionAxiom>`	`getAxioms(OWLDatatype datatype, Imports includeImportsClosure)` Gets the datatype definition axioms for the specified datatype.
`Set<OWLIndividualAxiom>`	`getAxioms(OWLIndividual individual)` Gets the axioms that form the definition/description of an individual.
`Set<OWLIndividualAxiom>`	`getAxioms(OWLIndividual individual, boolean includeImportsClosure)` Gets the axioms that form the definition/description of an individual.
`Set<OWLIndividualAxiom>`	`getAxioms(OWLIndividual individual, Imports includeImportsClosure)` Gets the axioms that form the definition/description of an individual.
`Set<OWLObjectPropertyAxiom>`	`getAxioms(OWLObjectPropertyExpression property)` Gets the axioms that form the definition/description of an object property.
`Set<OWLObjectPropertyAxiom>`	`getAxioms(OWLObjectPropertyExpression property, boolean includeImportsClosure)` Gets the axioms that form the definition/description of an object property.
`Set<OWLObjectPropertyAxiom>`	`getAxioms(OWLObjectPropertyExpression property, Imports includeImportsClosure)` Gets the axioms that form the definition/description of an object property.
`Set<OWLAxiom>`	`getAxiomsIgnoreAnnotations(OWLAxiom axiom)` Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
`Set<OWLAxiom>`	`getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)` Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
`Set<OWLAxiom>`	`getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure)` Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
`Set<OWLClass>`	`getClassesInSignature()` Gets the classes in the signature of this object.
`Set<OWLClass>`	`getClassesInSignature(boolean includeImportsClosure)` Gets the classes in the signature and optionally the imports closure.
`Set<OWLClass>`	`getClassesInSignature(Imports includeImportsClosure)` Gets the classes in the signature and optionally the imports closure.
`Set<OWLDataProperty>`	`getDataPropertiesInSignature()` A convenience method that obtains the data properties that are in the signature of this object
`Set<OWLDataProperty>`	`getDataPropertiesInSignature(boolean includeImportsClosure)` Gets the data properties in the signature and optionally the imports closure.
`Set<OWLDataProperty>`	`getDataPropertiesInSignature(Imports includeImportsClosure)` Gets the data properties in the signature and optionally the imports closure.
`Set<OWLDatatype>`	`getDatatypesInSignature()` A convenience method that obtains the datatypes that are in the signature of this object
`Set<OWLDatatype>`	`getDatatypesInSignature(boolean includeImportsClosure)` Gets the datatypes in the signature and optionally the imports closure.
`Set<OWLDatatype>`	`getDatatypesInSignature(Imports includeImportsClosure)` Gets the datatypes in the signature and optionally the imports closure.
`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<OWLEntity>`	`getEntitiesInSignature(IRI entityIRI)`
`Set<OWLEntity>`	`getEntitiesInSignature(IRI iri, boolean includeImportsClosure)` Gets the entities in the signature that have the specified IRI.
`Set<OWLEntity>`	`getEntitiesInSignature(IRI iri, Imports includeImportsClosure)` Gets the entities in the signature that have the specified IRI.
`Set<OWLClassAxiom>`	`getGeneralClassAxioms()` Gets the set of general axioms in this ontology.
`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 includeImportsClosure)` Gets the named individuals in the signature and optionally the imports closure.
`Set<OWLNamedIndividual>`	`getIndividualsInSignature(Imports includeImportsClosure)` Gets the named individuals in the signature and optionally the imports closure.
`int`	`getLogicalAxiomCount()` Gets the number of logical axioms in this collection.
`int`	`getLogicalAxiomCount(boolean includeImportsClosure)` Gets the number of logical axioms in this collection, optionally including the imports closure.
`int`	`getLogicalAxiomCount(Imports includeImportsClosure)` 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 includeImportsClosure)` Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
`Set<OWLLogicalAxiom>`	`getLogicalAxioms(Imports includeImportsClosure)` Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
`Set<OWLObjectProperty>`	`getObjectPropertiesInSignature()` A convenience method that obtains the object properties that are in the signature of this object
`Set<OWLObjectProperty>`	`getObjectPropertiesInSignature(boolean includeImportsClosure)` Gets the object properties in the signature and optionally the imports closure.
`Set<OWLObjectProperty>`	`getObjectPropertiesInSignature(Imports includeImportsClosure)` Gets the object properties in the signature and optionally the imports closure.
`OWLOntologyID`	`getOntologyID()` Gets the identity of this ontology (i.e.
`OWLOntologyManager`	`getOWLOntologyManager()` Gets the manager that manages this ontology.
`Set<IRI>`	`getPunnedIRIs(Imports includeImportsClosure)` Calculates the set of IRIs that are used for more than one entity type.
`Set<OWLAxiom>`	`getRBoxAxioms(Imports includeImportsClosure)` Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
`Set<OWLAnonymousIndividual>`	`getReferencedAnonymousIndividuals(boolean includeImportsClosure)` Gets the referenced anonymous individuals in the signature and optionally the imports closure.
`Set<OWLAnonymousIndividual>`	`getReferencedAnonymousIndividuals(Imports includeImportsClosure)` Gets the referenced anonymous individuals in the signature and optionally the imports closure.
`Set<OWLAxiom>`	`getReferencingAxioms(OWLPrimitive owlEntity)` Gets the axioms where the specified `OWLPrimitive` appears in the signature of the axiom. Note that currently signatures contain `OWLEntity` only.
`Set<OWLAxiom>`	`getReferencingAxioms(OWLPrimitive owlEntity, boolean includeImports)` 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 owlEntity, Imports includeImportsClosure)` Gets the axioms where the specified `OWLPrimitive` appears in the signature of the axiom. Note that currently signatures contain `OWLEntity` only.
`Set<OWLEntity>`	`getSignature()` Gets the signature of this object.
`Set<OWLEntity>`	`getSignature(Imports includeImportsClosure)` Gets the entities that are in the signature of this ontology.
`Set<OWLAxiom>`	`getTBoxAxioms(Imports includeImportsClosure)` Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.
`int`	`hashCode()`
`boolean`	`isAnonymous()` Determines whether or not this ontology is anonymous.
`boolean`	`isDeclared(OWLEntity owlEntity)` Determines if this ontology declares an entity i.e.
`boolean`	`isDeclared(OWLEntity owlEntity, Imports includeImportsClosure)` 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.
`void`	`saveOntology()` Saves the ontology.
`void`	`saveOntology(IRI documentIRI)` 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 ontologyFormat)` Saves the ontology in the specified ontology format to its document URI.
`void`	`saveOntology(OWLDocumentFormat ontologyFormat, IRI documentIRI)` Saves the ontology to the specified document IRI in the specified ontology format.
`void`	`saveOntology(OWLDocumentFormat ontologyFormat, OutputStream outputStream)` Saves the ontology to the specified output stream in the specified ontology format.
`void`	`saveOntology(OWLDocumentFormat ontologyFormat, OWLOntologyDocumentTarget documentTarget)` Saves the ontology to the specified output target in the specified ontology format.
`void`	`saveOntology(OWLOntologyDocumentTarget documentTarget)` Saves the ontology to the specified `OWLOntologyDocumentTarget`.
`void`	`setOWLOntologyManager(OWLOntologyManager manager)` Sets the manager for this ontology.
`String`	`toString()`

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomIndexImpl
getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, getClassAssertionAxioms, getClassAssertionAxioms, getDataPropertyAssertionAxioms, getDataPropertyDomainAxioms, getDataPropertyRangeAxioms, getDataSubPropertyAxiomsForSubProperty, getDataSubPropertyAxiomsForSuperProperty, getDatatypeDefinitions, getDeclarationAxioms, getDifferentIndividualAxioms, getDisjointClassesAxioms, getDisjointDataPropertiesAxioms, getDisjointObjectPropertiesAxioms, getDisjointUnionAxioms, getEquivalentClassesAxioms, getEquivalentDataPropertiesAxioms, getEquivalentObjectPropertiesAxioms, getFunctionalDataPropertyAxioms, getFunctionalObjectPropertyAxioms, getHasKeyAxioms, getInverseFunctionalObjectPropertyAxioms, getInverseObjectPropertyAxioms, getIrreflexiveObjectPropertyAxioms, getNegativeDataPropertyAssertionAxioms, getNegativeObjectPropertyAssertionAxioms, getObjectPropertyAssertionAxioms, getObjectPropertyDomainAxioms, getObjectPropertyRangeAxioms, getObjectSubPropertyAxiomsForSubProperty, getObjectSubPropertyAxiomsForSuperProperty, getReflexiveObjectPropertyAxioms, getSameIndividualAxioms, getSubAnnotationPropertyOfAxioms, getSubClassAxiomsForSubClass, getSubClassAxiomsForSuperClass, getSymmetricObjectPropertyAxioms, getTransitiveObjectPropertyAxioms, trimToSize

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithEntityAndAnonCaching
compareTo, getAnnotationPropertiesInSignature, getNestedClassExpressions, isBottomEntity, isTopEntity

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
getNestedClassExpressions, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable
compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature
getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomIndex
getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, getClassAssertionAxioms, getClassAssertionAxioms, getDataPropertyAssertionAxioms, getDataPropertyDomainAxioms, getDataPropertyRangeAxioms, getDataSubPropertyAxiomsForSubProperty, getDataSubPropertyAxiomsForSuperProperty, getDatatypeDefinitions, getDeclarationAxioms, getDifferentIndividualAxioms, getDisjointClassesAxioms, getDisjointDataPropertiesAxioms, getDisjointObjectPropertiesAxioms, getDisjointUnionAxioms, getEquivalentClassesAxioms, getEquivalentDataPropertiesAxioms, getEquivalentObjectPropertiesAxioms, getFunctionalDataPropertyAxioms, getFunctionalObjectPropertyAxioms, getHasKeyAxioms, getInverseFunctionalObjectPropertyAxioms, getInverseObjectPropertyAxioms, getIrreflexiveObjectPropertyAxioms, getNegativeDataPropertyAssertionAxioms, getNegativeObjectPropertyAssertionAxioms, getObjectPropertyAssertionAxioms, getObjectPropertyDomainAxioms, getObjectPropertyRangeAxioms, getObjectSubPropertyAxiomsForSubProperty, getObjectSubPropertyAxiomsForSuperProperty, getReflexiveObjectPropertyAxioms, getSameIndividualAxioms, getSubAnnotationPropertyOfAxioms, getSubClassAxiomsForSubClass, getSubClassAxiomsForSuperClass, getSymmetricObjectPropertyAxioms, getTransitiveObjectPropertyAxioms

- Constructor Detail
  - OWLImmutableOntologyImpl
```
public OWLImmutableOntologyImpl(@Nonnull
                                OWLOntologyManager manager,
                                @Nonnull
                                OWLOntologyID ontologyID)
```
    Parameters:
    
    manager - ontology manager
    
    ontologyID - ontology id
- Method Detail
  - toString
```
public String toString()
```
    Specified by:
    
    toString in interface OWLObject
    
    Overrides:
    
    toString in class OWLObjectImplWithEntityAndAnonCaching
  - 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(OWLOntologyManager manager)
```
    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:
    
    manager - the new manager for this ontology
  - getOntologyID
```
public OWLOntologyID getOntologyID()
```
    Description copied from interface: OWLOntology
    
    Gets the identity of this ontology (i.e. ontology IRI + version IRI).
    
    Specified by:
    
    getOntologyID in interface HasOntologyID
    
    Specified by:
    
    getOntologyID in interface OWLOntology
    
    Returns:
    
    The ID of this ontology.
  - isAnonymous
```
public boolean isAnonymous()
```
    Description copied from interface: OWLOntology
    
    Determines whether or not this ontology is anonymous. An ontology is anonymous if it does not have an ontology IRI. In this case, getOntologyID().getOntologyIRI() will return an Optional.absent.
    
    Specified by:
    
    isAnonymous in interface OWLOntology
    
    Returns:
    
    true if this ontology is anonymous, otherwise false
  - 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.getAxioms() returns the empty set), and it does not have any annotations (i.e. OWLOntology.getAnnotations() returns the empty set).
    
    Specified by:
    
    isEmpty in interface OWLOntology
    
    Returns:
    
    true if the ontology is empty, otherwise false.
  - getAxiomCount
```
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                              boolean includeImportsClosure)
```
    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
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of the specified types of axioms in this collection
  - getAxiomCount
```
public int getAxiomCount(boolean includeImportsClosure)
```
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    includeImportsClosure - if true, include imports closure.
    
    Returns:
    
    The number of axioms in this ontology, and optionally in the imports closure.
  - getAxiomCount
```
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                              Imports includeImportsClosure)
```
    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
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of the specified types of axioms in this collection
  - containsAxiom
```
public boolean containsAxiom(@Nonnull
                             OWLAxiom axiom)
```
    Description copied from interface: HasContainsAxiom
    
    Determines whether or not this object contains a particular OWLAxiom.
    
    Specified by:
    
    containsAxiom in interface HasContainsAxiom
    
    Parameters:
    
    axiom - The OWLAxiom to test for.
    
    Returns:
    
    true if this object contains axiom, otherwise false.
  - getAxiomCount
```
public int getAxiomCount()
```
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollectionNoArgs
    
    Returns:
    
    The number of axioms in this ontology.
  - getAxiomCount
```
public int getAxiomCount(Imports includeImportsClosure)
```
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollection
    
    Parameters:
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of axioms in this ontology, and optionally in the imports closure.
  - 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. Changes are not reflected back.
  - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLAxiom> getAxioms(Imports includeImportsClosure)
```
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getAxioms
```
@Nonnull
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.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                             boolean includeImportsClosure)
```
    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 retrived.
    
    includeImportsClosure - if true, include imports closure.
    
    Returns:
    
    all axioms of the specified type. The set is a copy of the data.
  - getAxioms
```
public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                             Imports includeImportsClosure)
```
    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 retrived.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    all axioms of the specified type. The set is a copy of the data.
  - getTBoxAxioms
```
@Nonnull
public Set<OWLAxiom> getTBoxAxioms(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - 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 of the axioms in the ontology (and its imports closure) - it will not be updated if the ontology changes.
  - getABoxAxioms
```
@Nonnull
public Set<OWLAxiom> getABoxAxioms(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - 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 of the axioms in the ontology (and its imports closure) - it will not be updated if the ontology changes.
  - getRBoxAxioms
```
@Nonnull
public Set<OWLAxiom> getRBoxAxioms(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - 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 of the axioms in the ontology (and its imports closure) - it will not be updated if the ontology changes.
  - getAxiomCount
```
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the axiom count of a specific type of axiom.
    
    Specified by:
    
    getAxiomCount in interface OWLAxiomCollectionNoArgs
    
    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
  - 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. Changes are not reflected back.
  - getLogicalAxioms
```
public Set<OWLLogicalAxiom> getLogicalAxioms(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - 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 of the data.
  - getLogicalAxioms
```
public Set<OWLLogicalAxiom> getLogicalAxioms(boolean includeImportsClosure)
```
    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:
    
    includeImportsClosure - 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 of the data.
  - getLogicalAxiomCount
```
public int getLogicalAxiomCount()
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the number of logical axioms in this collection.
    
    Specified by:
    
    getLogicalAxiomCount in interface OWLAxiomCollectionNoArgs
    
    Returns:
    
    The number of axioms in this collection.
  - getLogicalAxiomCount
```
public int getLogicalAxiomCount(boolean includeImportsClosure)
```
    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:
    
    includeImportsClosure - if true, include imports closure.
    
    Returns:
    
    The number of axioms in this collection, optionally including the imports closure.
  - getLogicalAxiomCount
```
public int getLogicalAxiomCount(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    The number of axioms in this collection, optionally including the imports closure.
  - getAnnotations
```
@Nonnull
public Set<OWLAnnotation> getAnnotations()
```
    Description copied from interface: OWLOntology
    
    Gets the annotations on this ontology.
    
    Specified by:
    
    getAnnotations in interface HasAnnotations
    
    Specified by:
    
    getAnnotations in interface OWLOntology
    
    Returns:
    
    A set of annotations on this ontology. The set returned will be a copy - modifying the set will have no effect on the annotations in this ontology, similarly, any changes that affect the annotations on this ontology will not change the returned set.
  - 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 that is returned is a copy of the axioms in the ontology - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.
  - containsAxiom
```
public boolean containsAxiom(@Nonnull
                             OWLAxiom axiom,
                             boolean includeImportsClosure)
```
    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:
    
    axiom - The axiom to search.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the ontology contains the specified axiom.
  - containsAxiom
```
public boolean containsAxiom(@Nonnull
                             OWLAxiom axiom,
                             Imports includeImportsClosure,
                             AxiomAnnotations ignoreAnnotations)
```
    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:
    
    axiom - The axiom to search.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    ignoreAnnotations - 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.
  - containsAxiomIgnoreAnnotations
```
public boolean containsAxiomIgnoreAnnotations(@Nonnull
                                              OWLAxiom axiom)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Determines if this ontology contains the specified axiom.
    
    Specified by:
    
    containsAxiomIgnoreAnnotations in interface OWLAxiomCollectionNoArgs
    
    Parameters:
    
    axiom - The axiom to search.
    
    Returns:
    
    true if the ontology contains the specified axiom.
  - containsAxiomIgnoreAnnotations
```
public boolean containsAxiomIgnoreAnnotations(@Nonnull
                                              OWLAxiom axiom,
                                              boolean importsIncluded)
```
    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:
    
    axiom - The axiom to search.
    
    importsIncluded - if true, include imports closure.
    
    Returns:
    
    true if the ontology contains the specified axiom.
  - getAxiomsIgnoreAnnotations
```
@Nonnull
public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                         OWLAxiom axiom)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    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 OWLAxiomCollectionNoArgs
    
    Parameters:
    
    axiom - 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.
  - getAxiomsIgnoreAnnotations
```
public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                OWLAxiom axiom,
                                                boolean includeImportsClosure)
```
    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:
    
    axiom - The axiom that the returned axioms must equal, ignoring annotations.
    
    includeImportsClosure - 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.
  - getAxiomsIgnoreAnnotations
```
public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                OWLAxiom axiom,
                                                Imports includeImportsClosure)
```
    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:
    
    axiom - The axiom that the returned axioms must equal, ignoring annotations.
    
    includeImportsClosure - 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.
  - containsClassInSignature
```
public boolean containsClassInSignature(IRI owlClassIRI,
                                        Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLClass that has the specified IRI.
    
    Specified by:
    
    containsClassInSignature in interface OWLSignature
    
    Parameters:
    
    owlClassIRI - The IRI of the class to check for
    
    includeImportsClosure - 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 owlObjectPropertyIRI,
                                                 Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLObjectProperty that has the specified IRI.
    
    Specified by:
    
    containsObjectPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    owlObjectPropertyIRI - The IRI of the OWLObjectProperty to check for
    
    includeImportsClosure - 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 owlDataPropertyIRI,
                                               Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDataProperty that has the specified IRI.
    
    Specified by:
    
    containsDataPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    owlDataPropertyIRI - The IRI of the OWLDataProperty to check for
    
    includeImportsClosure - 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 owlAnnotationPropertyIRI,
                                                     Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
    
    Specified by:
    
    containsAnnotationPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    owlAnnotationPropertyIRI - The IRI of the OWLAnnotationProperty to check for
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an annotation property with the specified IRI.
  - containsIndividualInSignature
```
public boolean containsIndividualInSignature(IRI owlIndividualIRI,
                                             Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
    
    Specified by:
    
    containsIndividualInSignature in interface OWLSignature
    
    Parameters:
    
    owlIndividualIRI - The IRI of the OWLNamedIndividual to check for
    
    includeImportsClosure - 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 owlDatatypeIRI,
                                           Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDatatype that has the specified IRI.
    
    Specified by:
    
    containsDatatypeInSignature in interface OWLSignature
    
    Parameters:
    
    owlDatatypeIRI - The IRI of the OWLDatatype to check for
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains a datatype with the specified IRI.
  - getEntitiesInSignature
```
public Set<OWLEntity> getEntitiesInSignature(@Nonnull
                                             IRI entityIRI)
```
    Specified by:
    
    getEntitiesInSignature in interface HasGetEntitiesInSignature
    
    Parameters:
    
    entityIRI - IRI for all entities to retrieve
    
    Returns:
    
    entities with IRI equal to entityIRI
  - getEntitiesInSignature
```
public Set<OWLEntity> getEntitiesInSignature(IRI iri,
                                             Imports includeImportsClosure)
```
    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 entitied to be retrieved.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    the set of entities with the specified IRI, optionally including the ones in the import closure.
  - getPunnedIRIs
```
public Set<IRI> getPunnedIRIs(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    punned IRIs.
  - containsReference
```
public boolean containsReference(@Nonnull
                                 OWLEntity entity,
                                 Imports includeImportsClosure)
```
    Specified by:
    
    containsReference in interface OWLSignature
    
    Parameters:
    
    entity - entyty to check
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    true if entity is referenced
  - 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 includeImportsClosure)
```
    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
    
    includeImportsClosure - 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.
  - containsEntityInSignature
```
public boolean containsEntityInSignature(@Nonnull
                                         OWLEntity owlEntity)
```
    Description copied from interface: HasContainsEntityInSignature
    
    Determines if the signature of this object contains the specified entity.
    
    Specified by:
    
    containsEntityInSignature in interface HasContainsEntityInSignature
    
    Overrides:
    
    containsEntityInSignature in class OWLObjectImplWithEntityAndAnonCaching
    
    Parameters:
    
    owlEntity - The entity
    
    Returns:
    
    true if the signature of this object contains owlEntity, otherwise false
  - containsEntityInSignature
```
public boolean containsEntityInSignature(@Nonnull
                                         OWLEntity owlEntity,
                                         Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains the specified entity.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignature
    
    Parameters:
    
    owlEntity - The entity
    
    includeImportsClosure - 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 entityIRI,
                                         Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an entity with the specified IRI.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignature
    
    Parameters:
    
    entityIRI - The IRI to test for.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    true if the signature or the import closure contains an entity with the specified IRI.
  - getSignature
```
public Set<OWLEntity> getSignature()
```
    Description copied from interface: HasSignature
    
    Gets the signature of this object.
    
    Specified by:
    
    getSignature in interface HasSignature
    
    Specified by:
    
    getSignature in interface OWLOntology
    
    Overrides:
    
    getSignature in class OWLObjectImplWithEntityAndAnonCaching
    
    Returns:
    
    A set of entities that represents the signature of this object. Changes are not reflected back.
    
    See Also:
    
    HasClassesInSignature.getClassesInSignature(), HasObjectPropertiesInSignature.getObjectPropertiesInSignature(), HasDataPropertiesInSignature.getDataPropertiesInSignature(), HasIndividualsInSignature.getIndividualsInSignature()
  - getSignature
```
public Set<OWLEntity> getSignature(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - if INCLUDED, the imports closure is included.
    
    Returns:
    
    A set of OWLEntity objects. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.
    
    See Also:
    
    HasClassesInSignature.getClassesInSignature(), HasObjectPropertiesInSignature.getObjectPropertiesInSignature(), HasDataPropertiesInSignature.getDataPropertiesInSignature(), HasIndividualsInSignature.getIndividualsInSignature()
  - getAnonymousIndividuals
```
public Set<OWLAnonymousIndividual> getAnonymousIndividuals()
```
    Description copied from interface: HasAnonymousIndividuals
    
    Gets the anonymous individuals occurring in this object. The set is a copy, changes are not reflected back.
    
    Specified by:
    
    getAnonymousIndividuals in interface HasAnonymousIndividuals
    
    Overrides:
    
    getAnonymousIndividuals in class OWLObjectImplWithEntityAndAnonCaching
    
    Returns:
    
    A set of anonymous individuals
  - 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
    
    Overrides:
    
    getClassesInSignature in class OWLObjectImplWithEntityAndAnonCaching
    
    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.
  - getDataPropertiesInSignature
```
public Set<OWLDataProperty> getDataPropertiesInSignature()
```
    Description copied from interface: HasDataPropertiesInSignature
    
    A convenience method that obtains the data properties that are in the signature of this object
    
    Specified by:
    
    getDataPropertiesInSignature in interface HasDataPropertiesInSignature
    
    Overrides:
    
    getDataPropertiesInSignature in class OWLObjectImplWithEntityAndAnonCaching
    
    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.
  - 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
    
    Specified by:
    
    getObjectPropertiesInSignature in interface HasObjectPropertiesInSignature
    
    Overrides:
    
    getObjectPropertiesInSignature in class OWLObjectImplWithEntityAndAnonCaching
    
    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.
  - 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
    
    Specified by:
    
    getIndividualsInSignature in interface HasIndividualsInSignature
    
    Overrides:
    
    getIndividualsInSignature in class OWLObjectImplWithEntityAndAnonCaching
    
    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
    
    A convenience method that obtains the datatypes that are in the signature of this object
    
    Specified by:
    
    getDatatypesInSignature in interface HasDatatypesInSignature
    
    Overrides:
    
    getDatatypesInSignature in class OWLObjectImplWithEntityAndAnonCaching
    
    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.
  - getClassesInSignature
```
public Set<OWLClass> getClassesInSignature(Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Gets the classes in the signature and optionally the imports closure.
    
    Specified by:
    
    getClassesInSignature in interface OWLSignature
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getObjectPropertiesInSignature
```
public Set<OWLObjectProperty> getObjectPropertiesInSignature(Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Gets the object properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getObjectPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getDataPropertiesInSignature
```
public Set<OWLDataProperty> getDataPropertiesInSignature(Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Gets the data properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getDataPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getIndividualsInSignature
```
public Set<OWLNamedIndividual> getIndividualsInSignature(Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Gets the named individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    getIndividualsInSignature in interface OWLSignature
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getReferencedAnonymousIndividuals
```
public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(Imports includeImportsClosure)
```
    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:
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    The set of referenced anonymous individuals
  - getDatatypesInSignature
```
public Set<OWLDatatype> getDatatypesInSignature(Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Gets the datatypes in the signature and optionally the imports closure.
    
    Specified by:
    
    getDatatypesInSignature in interface OWLSignature
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getAnnotationPropertiesInSignature
```
public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(Imports includeImportsClosure)
```
    Description copied from interface: OWLSignature
    
    Gets the annotation properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getAnnotationPropertiesInSignature in interface OWLSignature
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getImportsDeclarations
```
@Nonnull
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 - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.
  - getDirectImportsDocuments
```
public Set<IRI> getDirectImportsDocuments()
```
    Description copied from interface: OWLOntology
    
    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 OWLOntology
    
    Returns:
    
    The set of directlyImportsDocument IRIs.
  - 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 - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.
  - getDirectImports
```
public Set<OWLOntology> getDirectImports()
```
    Description copied from interface: OWLOntology
    
    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 OWLOntology.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
    
    Specified by:
    
    getDirectImports in interface OWLOntology
    
    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.
  - getImportsClosure
```
public Set<OWLOntology> getImportsClosure()
```
    Description copied from interface: OWLOntology
    
    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. (i.e. The set returned includes all ontologies returned by the OWLOntology.getImports() method plus this ontology.)
    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
    
    Specified by:
    
    getImportsClosure in interface OWLOntology
    
    Returns:
    
    The set of ontologies in the reflexive transitive closure of the directlyImports relation.
  - accept
```
public void accept(@Nonnull
                   OWLObjectVisitor visitor)
```
    Description copied from interface: OWLObject
    
    Accepts a visitor
    
    Specified by:
    
    accept in interface OWLObject
    
    Parameters:
    
    visitor - The visitor
  - accept
```
public void accept(@Nonnull
                   OWLNamedObjectVisitor visitor)
```
    Description copied from interface: OWLOntology
    
    accept for named object visitor
    
    Specified by:
    
    accept in interface OWLOntology
    
    Parameters:
    
    visitor - the visitor
  - accept
```
public <O> O accept(OWLNamedObjectVisitorEx<O> visitor)
```
    Description copied from interface: OWLOntology
    
    Accepts a visitor
    
    Specified by:
    
    accept in interface OWLOntology
    
    Type Parameters:
    
    O - visitor return type
    
    Parameters:
    
    visitor - The visitor
    
    Returns:
    
    visitor return value
  - accept
```
public <O> O accept(@Nonnull
                    OWLObjectVisitorEx<O> visitor)
```
    Description copied from interface: OWLObject
    
    Accepts a visitor
    
    Specified by:
    
    accept in interface OWLObject
    
    Type Parameters:
    
    O - visitor return type
    
    Parameters:
    
    visitor - The visitor
    
    Returns:
    
    visitor value
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class OWLObjectImplWithEntityAndAnonCaching
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class OWLObjectImplWithEntityAndAnonCaching
  - getAxioms
```
public Set<OWLClassAxiom> getAxioms(OWLClass cls,
                                    Imports includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    cls - The class whose describing axioms are to be retrieved.
    
    includeImportsClosure - 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 returned set is a copy of the data.
  - getAxioms
```
public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property,
                                             Imports includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    property - The property whose defining axioms are to be retrieved.
    
    includeImportsClosure - 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 of the data.
  - getAxioms
```
public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property,
                                         Imports includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    property - The property whose definition axioms are to be retrieved
    
    includeImportsClosure - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property,
                                           Imports includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    property - The property whose defining axioms are to be retrieved.
    
    includeImportsClosure - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual,
                                         Imports includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    individual - The individual whose defining axioms are to be retrieved.
    
    includeImportsClosure - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype,
                                                 Imports includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollection
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollection
    
    Parameters:
    
    datatype - The datatype
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    The set of datatype definition axioms for the specified datatype. The set is a copy of the data.
  - getReferencingAxioms
```
public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    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 OWLAxiomCollectionNoArgs
    
    Parameters:
    
    owlEntity - The entity that should be directly referred to by all axioms in the results set.
    
    Returns:
    
    All axioms referencing the entity. The set is a copy of the data.
  - getReferencingAxioms
```
public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity,
                                          boolean includeImports)
```
    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:
    
    owlEntity - The entity that should be directly referred to by all axioms in the results set.
    
    includeImports - if INCLUDED, include imports closure.
    
    Returns:
    
    All axioms referencing the entity. The set is a copy of the data.
  - getReferencingAxioms
```
public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity,
                                          Imports includeImportsClosure)
```
    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:
    
    owlEntity - The entity that should be directly referred to by all axioms in the results set.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    All axioms referencing the entity. The set is a copy of the data.
  - getAxioms
```
public <A extends OWLAxiom> Set<A> getAxioms(@Nonnull
                                             Class<A> type,
                                             @Nonnull
                                             OWLObject entity,
                                             Imports includeImports,
                                             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:
    
    A - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    includeImports - if INCLUDED, include imports closure.
    
    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 entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - getAxioms
```
public <A extends OWLAxiom> Set<A> getAxioms(@Nonnull
                                             Class<A> type,
                                             @Nonnull
                                             Class<? extends OWLObject> explicitClass,
                                             @Nonnull
                                             OWLObject entity,
                                             @Nonnull
                                             Imports includeImports,
                                             @Nonnull
                                             Navigation forSubPosition)
```
    Description copied from interface: OWLAxiomIndex
    
    Generic search method: resutns 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:
    
    A - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    explicitClass - for overlapping indexes in the ontology internals, an explicit class rathet than the entity class might be necessary
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    includeImports - if INCLUDED, include imports closure.
    
    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 entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - filterAxioms
```
@Nonnull
public <T extends OWLAxiom> Collection<T> filterAxioms(@Nonnull
                                                                OWLAxiomSearchFilter filter,
                                                                @Nonnull
                                                                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:
    
    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.
    
    includeImportsClosure - 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. It is a copy of the data.
  - contains
```
public boolean contains(@Nonnull
                        OWLAxiomSearchFilter filter,
                        @Nonnull
                        Object key,
                        Imports includeImportsClosure)
```
    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:
    
    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:
    
    true if there is at least one result matching the filter.
  - getAxioms
```
public Set<OWLClassAxiom> getAxioms(OWLClass cls)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionNoArgs
    
    Parameters:
    
    cls - 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 returned set is a copy of the data.
  - getAxioms
```
public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionNoArgs
    
    Parameters:
    
    property - 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 of the data.
  - getAxioms
```
public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionNoArgs
    
    Parameters:
    
    property - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionNoArgs
    
    Parameters:
    
    individual - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionNoArgs
    
    Parameters:
    
    property - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)
```
    Description copied from interface: OWLAxiomCollectionNoArgs
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionNoArgs
    
    Parameters:
    
    datatype - The datatype
    
    Returns:
    
    The set of datatype definition axioms for the specified datatype. The set is a copy of the data.
  - getAxioms
```
public Set<OWLClassAxiom> getAxioms(OWLClass cls,
                                    boolean includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of a class.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    cls - The class whose describing axioms are to be retrieved.
    
    includeImportsClosure - 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 returned set is a copy of the data.
  - getAxioms
```
public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property,
                                             boolean includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of an object property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    property - The property whose defining axioms are to be retrieved.
    
    includeImportsClosure - 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 of the data.
  - getAxioms
```
public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property,
                                           boolean includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of a data property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    property - The property whose defining axioms are to be retrieved.
    
    includeImportsClosure - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual,
                                         boolean includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of an individual.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    individual - The individual whose defining axioms are to be retrieved.
    
    includeImportsClosure - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property,
                                         boolean includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the axioms that form the definition/description of an annotation property.
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    property - The property whose definition axioms are to be retrieved
    
    includeImportsClosure - 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 is a copy of the data.
  - getAxioms
```
public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype,
                                                 boolean includeImportsClosure)
```
    Description copied from interface: OWLAxiomCollectionBooleanArgs
    
    Gets the datatype definition axioms for the specified datatype.
    
    Specified by:
    
    getAxioms in interface OWLAxiomCollectionBooleanArgs
    
    Parameters:
    
    datatype - The datatype
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    The set of datatype definition axioms for the specified datatype. The set is a copy of the data.
  - 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 documentIRI)
                  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:
    
    documentIRI - 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 ontologyFormat)
                  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:
    
    ontologyFormat - The format in which the ontology should be saved.
    
    Throws:
    
    OWLOntologyStorageException - If the ontology cannot be saved.
  - saveOntology
```
public void saveOntology(OWLDocumentFormat ontologyFormat,
                         IRI documentIRI)
                  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:
    
    ontologyFormat - The format in which to save the ontology
    
    documentIRI - The document IRI where the ontology should be saved to
    
    Throws:
    
    OWLOntologyStorageException - If the ontology could not be saved.
  - saveOntology
```
public void saveOntology(OWLDocumentFormat ontologyFormat,
                         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:
    
    ontologyFormat - 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 documentTarget)
                  throws OWLOntologyStorageException
```
    Description copied from interface: OWLOntology
    
    Saves the ontology to the specified OWLOntologyDocumentTarget.
    
    Specified by:
    
    saveOntology in interface OWLOntology
    
    Parameters:
    
    documentTarget - The output target where the ontology will be saved to.
    
    Throws:
    
    OWLOntologyStorageException - If the ontology could not be saved.
  - saveOntology
```
public void saveOntology(OWLDocumentFormat ontologyFormat,
                         OWLOntologyDocumentTarget documentTarget)
                  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:
    
    ontologyFormat - The output format in which to save the ontology
    
    documentTarget - The output target where the ontology will be saved to
    
    Throws:
    
    OWLOntologyStorageException - If the ontology could not be saved.
  - containsDatatypeInSignature
```
public boolean containsDatatypeInSignature(IRI owlDatatypeIRI)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDatatype that has the specified IRI.
    
    Specified by:
    
    containsDatatypeInSignature in interface OWLSignature
    
    Parameters:
    
    owlDatatypeIRI - 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 entityIRI)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an entity with the specified IRI.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignature
    
    Parameters:
    
    entityIRI - 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 owlClassIRI)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLClass that has the specified IRI.
    
    Specified by:
    
    containsClassInSignature in interface OWLSignature
    
    Parameters:
    
    owlClassIRI - 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 owlObjectPropertyIRI)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLObjectProperty that has the specified IRI.
    
    Specified by:
    
    containsObjectPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    owlObjectPropertyIRI - 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 owlDataPropertyIRI)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLDataProperty that has the specified IRI.
    
    Specified by:
    
    containsDataPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    owlDataPropertyIRI - 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 owlAnnotationPropertyIRI)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
    
    Specified by:
    
    containsAnnotationPropertyInSignature in interface OWLSignature
    
    Parameters:
    
    owlAnnotationPropertyIRI - 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 owlIndividualIRI)
```
    Description copied from interface: OWLSignature
    
    Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
    
    Specified by:
    
    containsIndividualInSignature in interface OWLSignature
    
    Parameters:
    
    owlIndividualIRI - The IRI of the OWLNamedIndividual to check for
    
    Returns:
    
    true if the signature or the import closure contains an individual with the specified IRI.
  - containsReference
```
public boolean containsReference(OWLEntity entity)
```
    Specified by:
    
    containsReference in interface OWLSignature
    
    Parameters:
    
    entity - entyty to check
    
    Returns:
    
    true if entity is referenced
  - getClassesInSignature
```
public Set<OWLClass> getClassesInSignature(boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the classes in the signature and optionally the imports closure.
    
    Specified by:
    
    getClassesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getObjectPropertiesInSignature
```
public Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the object properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getObjectPropertiesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getDataPropertiesInSignature
```
public Set<OWLDataProperty> getDataPropertiesInSignature(boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the data properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getDataPropertiesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getIndividualsInSignature
```
public Set<OWLNamedIndividual> getIndividualsInSignature(boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the named individuals in the signature and optionally the imports closure.
    
    Specified by:
    
    getIndividualsInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getReferencedAnonymousIndividuals
```
public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(boolean includeImportsClosure)
```
    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:
    
    includeImportsClosure - if true, include imports closure.
    
    Returns:
    
    The set of referenced anonymous individuals
  - getDatatypesInSignature
```
public Set<OWLDatatype> getDatatypesInSignature(boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the datatypes in the signature and optionally the imports closure.
    
    Specified by:
    
    getDatatypesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - getAnnotationPropertiesInSignature
```
public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Gets the annotation properties in the signature and optionally the imports closure.
    
    Specified by:
    
    getAnnotationPropertiesInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    includeImportsClosure - 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 of the data.
  - containsEntityInSignature
```
public boolean containsEntityInSignature(OWLEntity owlEntity,
                                         boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains the specified entity.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlEntity - The entity
    
    includeImportsClosure - 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 entityIRI,
                                         boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an entity with the specified IRI.
    
    Specified by:
    
    containsEntityInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    entityIRI - The IRI to test for.
    
    includeImportsClosure - 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 owlClassIRI,
                                        boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLClass that has the specified IRI.
    
    Specified by:
    
    containsClassInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlClassIRI - The IRI of the class to check for
    
    includeImportsClosure - 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 owlObjectPropertyIRI,
                                                 boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLObjectProperty that has the specified IRI.
    
    Specified by:
    
    containsObjectPropertyInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlObjectPropertyIRI - The IRI of the OWLObjectProperty to check for
    
    includeImportsClosure - 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 owlDataPropertyIRI,
                                               boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLDataProperty that has the specified IRI.
    
    Specified by:
    
    containsDataPropertyInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlDataPropertyIRI - The IRI of the OWLDataProperty to check for
    
    includeImportsClosure - 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 owlAnnotationPropertyIRI,
                                                     boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
    
    Specified by:
    
    containsAnnotationPropertyInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlAnnotationPropertyIRI - The IRI of the OWLAnnotationProperty to check for
    
    includeImportsClosure - 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 owlDatatypeIRI,
                                           boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLDatatype that has the specified IRI.
    
    Specified by:
    
    containsDatatypeInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlDatatypeIRI - The IRI of the OWLDatatype to check for
    
    includeImportsClosure - 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 owlIndividualIRI,
                                             boolean includeImportsClosure)
```
    Description copied from interface: OWLSignatureBooleanArgs
    
    Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
    
    Specified by:
    
    containsIndividualInSignature in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    owlIndividualIRI - The IRI of the OWLNamedIndividual to check for
    
    includeImportsClosure - 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 includeImportsClosure)
```
    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 entitied to be retrieved.
    
    includeImportsClosure - if true, include imports closure.
    
    Returns:
    
    the set of entities with the specified IRI, optionally including the ones in the import closure.
  - containsReference
```
public boolean containsReference(OWLEntity entity,
                                 boolean includeImportsClosure)
```
    Specified by:
    
    containsReference in interface OWLSignatureBooleanArgs
    
    Parameters:
    
    entity - entyty to check
    
    includeImportsClosure - if true, include imports closure.
    
    Returns:
    
    true if entity is referenced

Class OWLImmutableOntologyImpl

Constructor Summary

Method Summary

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomIndexImpl

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithEntityAndAnonCaching

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Comparable

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

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

Constructor Detail

OWLImmutableOntologyImpl

Method Detail

toString

getOWLOntologyManager

setOWLOntologyManager

getOntologyID

isAnonymous

isEmpty

getAxiomCount

getAxiomCount

getAxiomCount

containsAxiom

getAxiomCount

getAxiomCount

getAxioms

getAxioms

getAxioms

getAxioms

getAxioms

getAxioms

getTBoxAxioms

getABoxAxioms

getRBoxAxioms

getAxiomCount

getLogicalAxioms

getLogicalAxioms

getLogicalAxioms

getLogicalAxiomCount

getLogicalAxiomCount

getLogicalAxiomCount

getAnnotations

getGeneralClassAxioms

containsAxiom

containsAxiom

containsAxiomIgnoreAnnotations

containsAxiomIgnoreAnnotations

getAxiomsIgnoreAnnotations

getAxiomsIgnoreAnnotations

getAxiomsIgnoreAnnotations

containsClassInSignature

containsObjectPropertyInSignature

containsDataPropertyInSignature

containsAnnotationPropertyInSignature

containsIndividualInSignature

containsDatatypeInSignature

getEntitiesInSignature

getEntitiesInSignature

getPunnedIRIs

containsReference

isDeclared

isDeclared

containsEntityInSignature

containsEntityInSignature

containsEntityInSignature

getSignature

getSignature

getAnonymousIndividuals

getClassesInSignature

getDataPropertiesInSignature

getObjectPropertiesInSignature

getIndividualsInSignature

getDatatypesInSignature

getClassesInSignature

getObjectPropertiesInSignature

getDataPropertiesInSignature

getIndividualsInSignature

getReferencedAnonymousIndividuals

getDatatypesInSignature

getAnnotationPropertiesInSignature