uk.ac.manchester.cs.owl.owlapi

Class OWLImmutableOntologyImpl

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, IsAnonymous, 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)

Method Summary

Modifier and Type	Method and Description
void	accept(OWLNamedObjectVisitor visitor)
<O> O	accept(OWLNamedObjectVisitorEx<O> visitor)
void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
boolean	contains(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)
boolean	containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI)
boolean	containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI, boolean includeImportsClosure)
boolean	containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI, Imports includeImportsClosure)
boolean	containsAxiom(OWLAxiom axiom)
boolean	containsAxiom(OWLAxiom axiom, boolean includeImportsClosure)
boolean	containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations)
boolean	containsAxiomIgnoreAnnotations(OWLAxiom axiom)
boolean	containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean importsIncluded)
boolean	containsClassInSignature(IRI owlClassIRI)
boolean	containsClassInSignature(IRI owlClassIRI, boolean includeImportsClosure)
boolean	containsClassInSignature(IRI owlClassIRI, Imports includeImportsClosure)
boolean	containsDataPropertyInSignature(IRI owlDataPropertyIRI)
boolean	containsDataPropertyInSignature(IRI owlDataPropertyIRI, boolean includeImportsClosure)
boolean	containsDataPropertyInSignature(IRI owlDataPropertyIRI, Imports includeImportsClosure)
boolean	containsDatatypeInSignature(IRI owlDatatypeIRI)
boolean	containsDatatypeInSignature(IRI owlDatatypeIRI, boolean includeImportsClosure)
boolean	containsDatatypeInSignature(IRI owlDatatypeIRI, Imports includeImportsClosure)
boolean	containsEntitiesOfTypeInSignature(EntityType<?> type)
boolean	containsEntityInSignature(IRI entityIRI)
boolean	containsEntityInSignature(IRI entityIRI, boolean includeImportsClosure)
boolean	containsEntityInSignature(IRI entityIRI, Imports includeImportsClosure)
boolean	containsEntityInSignature(OWLEntity owlEntity)
boolean	containsEntityInSignature(OWLEntity owlEntity, boolean includeImportsClosure)
boolean	containsEntityInSignature(OWLEntity owlEntity, Imports includeImportsClosure)
boolean	containsIndividualInSignature(IRI owlIndividualIRI)
boolean	containsIndividualInSignature(IRI owlIndividualIRI, boolean includeImportsClosure)
boolean	containsIndividualInSignature(IRI owlIndividualIRI, Imports includeImportsClosure)
boolean	containsObjectPropertyInSignature(IRI owlObjectPropertyIRI)
boolean	containsObjectPropertyInSignature(IRI owlObjectPropertyIRI, boolean includeImportsClosure)
boolean	containsObjectPropertyInSignature(IRI owlObjectPropertyIRI, Imports includeImportsClosure)
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)
Set<OWLAxiom>	getABoxAxioms(Imports includeImportsClosure)
Set<OWLAnnotationProperty>	getAnnotationPropertiesInSignature()
Set<OWLAnnotationProperty>	getAnnotationPropertiesInSignature(boolean includeImportsClosure)
Set<OWLAnnotationProperty>	getAnnotationPropertiesInSignature(Imports includeImportsClosure)
Set<OWLAnnotation>	getAnnotations()
Set<OWLAnonymousIndividual>	getAnonymousIndividuals()
int	getAxiomCount()
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType)
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure)
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType, Imports includeImportsClosure)
int	getAxiomCount(boolean includeImportsClosure)
int	getAxiomCount(Imports includeImportsClosure)
Set<OWLAxiom>	getAxioms()
<T extends OWLAxiom> Set<T>	getAxioms(AxiomType<T> axiomType)
<T extends OWLAxiom> Set<T>	getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure)
<T extends OWLAxiom> Set<T>	getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure)
Set<OWLAxiom>	getAxioms(boolean b)
<A extends OWLAxiom> Set<A>	getAxioms(Class<A> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, Navigation forSubPosition)
<A extends OWLAxiom> Set<A>	getAxioms(Class<A> type, OWLObject entity, Imports includeImports, Navigation forSubPosition)
Set<OWLAxiom>	getAxioms(Imports includeImportsClosure)
Set<OWLAnnotationAxiom>	getAxioms(OWLAnnotationProperty property)
Set<OWLAnnotationAxiom>	getAxioms(OWLAnnotationProperty property, boolean includeImportsClosure)
Set<OWLAnnotationAxiom>	getAxioms(OWLAnnotationProperty property, Imports includeImportsClosure)
Set<OWLClassAxiom>	getAxioms(OWLClass cls)
Set<OWLClassAxiom>	getAxioms(OWLClass cls, boolean includeImportsClosure)
Set<OWLClassAxiom>	getAxioms(OWLClass cls, Imports includeImportsClosure)
Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty property)
Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty property, boolean includeImportsClosure)
Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty property, Imports includeImportsClosure)
Set<OWLDatatypeDefinitionAxiom>	getAxioms(OWLDatatype datatype)
Set<OWLDatatypeDefinitionAxiom>	getAxioms(OWLDatatype datatype, boolean includeImportsClosure)
Set<OWLDatatypeDefinitionAxiom>	getAxioms(OWLDatatype datatype, Imports includeImportsClosure)
Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual)
Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual, boolean includeImportsClosure)
Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual, Imports includeImportsClosure)
Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression property)
Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression property, boolean includeImportsClosure)
Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression property, Imports includeImportsClosure)
Set<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Set<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
Set<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure)
Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLClassExpression ce)
Set<OWLClass>	getClassesInSignature()
Set<OWLClass>	getClassesInSignature(boolean includeImportsClosure)
Set<OWLClass>	getClassesInSignature(Imports includeImportsClosure)
Set<OWLDataProperty>	getDataPropertiesInSignature()
Set<OWLDataProperty>	getDataPropertiesInSignature(boolean includeImportsClosure)
Set<OWLDataProperty>	getDataPropertiesInSignature(Imports includeImportsClosure)
Set<OWLDatatype>	getDatatypesInSignature()
Set<OWLDatatype>	getDatatypesInSignature(boolean includeImportsClosure)
Set<OWLDatatype>	getDatatypesInSignature(Imports includeImportsClosure)
Set<OWLOntology>	getDirectImports()
Set<IRI>	getDirectImportsDocuments()
Set<OWLEntity>	getEntitiesInSignature(IRI entityIRI)
Set<OWLEntity>	getEntitiesInSignature(IRI iri, boolean includeImportsClosure)
Set<OWLEntity>	getEntitiesInSignature(IRI iri, Imports includeImportsClosure)
Set<OWLClassAxiom>	getGeneralClassAxioms()
Set<OWLOntology>	getImports()
Set<OWLOntology>	getImportsClosure()
Set<OWLImportsDeclaration>	getImportsDeclarations()
Set<OWLNamedIndividual>	getIndividualsInSignature()
Set<OWLNamedIndividual>	getIndividualsInSignature(boolean includeImportsClosure)
Set<OWLNamedIndividual>	getIndividualsInSignature(Imports includeImportsClosure)
int	getLogicalAxiomCount()
int	getLogicalAxiomCount(boolean includeImportsClosure)
int	getLogicalAxiomCount(Imports includeImportsClosure)
Set<OWLLogicalAxiom>	getLogicalAxioms()
Set<OWLLogicalAxiom>	getLogicalAxioms(boolean includeImportsClosure)
Set<OWLLogicalAxiom>	getLogicalAxioms(Imports includeImportsClosure)
Set<OWLObjectProperty>	getObjectPropertiesInSignature()
Set<OWLObjectProperty>	getObjectPropertiesInSignature(boolean includeImportsClosure)
Set<OWLObjectProperty>	getObjectPropertiesInSignature(Imports includeImportsClosure)
OWLOntologyID	getOntologyID()
OWLOntologyManager	getOWLOntologyManager()
Set<IRI>	getPunnedIRIs(Imports includeImportsClosure)
Set<OWLAxiom>	getRBoxAxioms(Imports includeImportsClosure)
Set<OWLAnonymousIndividual>	getReferencedAnonymousIndividuals(boolean includeImportsClosure)
Set<OWLAnonymousIndividual>	getReferencedAnonymousIndividuals(Imports includeImportsClosure)
Set<OWLAxiom>	getReferencingAxioms(OWLPrimitive owlEntity)
Set<OWLAxiom>	getReferencingAxioms(OWLPrimitive owlEntity, boolean includeImports)
Set<OWLAxiom>	getReferencingAxioms(OWLPrimitive owlEntity, Imports includeImportsClosure)
Set<OWLEntity>	getSignature()
Set<OWLEntity>	getSignature(Imports includeImportsClosure)
Set<OWLAxiom>	getTBoxAxioms(Imports includeImportsClosure)
int	hashCode()
boolean	isAnonymous()
boolean	isDeclared(OWLEntity owlEntity)
boolean	isDeclared(OWLEntity owlEntity, Imports includeImportsClosure)
boolean	isEmpty()
void	saveOntology()
void	saveOntology(IRI documentIRI)
void	saveOntology(OutputStream outputStream)
void	saveOntology(OWLDocumentFormat ontologyFormat)
void	saveOntology(OWLDocumentFormat ontologyFormat, IRI documentIRI)
void	saveOntology(OWLDocumentFormat ontologyFormat, OutputStream outputStream)
void	saveOntology(OWLDocumentFormat ontologyFormat, OWLOntologyDocumentTarget documentTarget)
void	saveOntology(OWLOntologyDocumentTarget documentTarget)
void	setOWLOntologyManager(OWLOntologyManager manager)
String	toString()

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

getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, 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, getNestedClassExpressions, isBottomEntity, isTopEntity

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

containsEntitiesOfTypeInSignature

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

getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

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

isNamed

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

getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, 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()

Specified by:

getOWLOntologyManager in interface OWLOntology

setOWLOntologyManager

public void setOWLOntologyManager(OWLOntologyManager manager)

Specified by:

setOWLOntologyManager in interface OWLOntology

getOntologyID

public OWLOntologyID getOntologyID()

Specified by:

getOntologyID in interface HasOntologyID

Specified by:

getOntologyID in interface OWLOntology

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in interface IsAnonymous

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface OWLOntology

getAxiomCount

public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                              boolean includeImportsClosure)

Specified by:

getAxiomCount in interface OWLAxiomCollectionBooleanArgs

getAxiomCount

public int getAxiomCount(boolean includeImportsClosure)

Specified by:

getAxiomCount in interface OWLAxiomCollectionBooleanArgs

getAxiomCount

public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                              Imports includeImportsClosure)

Specified by:

getAxiomCount in interface OWLAxiomCollection

containsAxiom

public boolean containsAxiom(@Nonnull
                             OWLAxiom axiom)

Specified by:

containsAxiom in interface HasContainsAxiom

getAxiomCount

public int getAxiomCount()

Specified by:

getAxiomCount in interface OWLAxiomCollectionNoArgs

getAxiomCount

public int getAxiomCount(Imports includeImportsClosure)

Specified by:

getAxiomCount in interface OWLAxiomCollection

getAxioms

public Set<OWLAxiom> getAxioms()

Specified by:

getAxioms in interface HasAxioms

getAxioms

public Set<OWLAxiom> getAxioms(boolean b)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

getAxioms

public Set<OWLAxiom> getAxioms(Imports includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollection

getAxioms

@Nonnull
public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)

Specified by:

getAxioms in interface HasAxiomsByType

getAxioms

public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                             boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

getAxioms

public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                             Imports includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollection

getTBoxAxioms

@Nonnull
public Set<OWLAxiom> getTBoxAxioms(Imports includeImportsClosure)

Specified by:

getTBoxAxioms in interface OWLOntology

getABoxAxioms

@Nonnull
public Set<OWLAxiom> getABoxAxioms(Imports includeImportsClosure)

Specified by:

getABoxAxioms in interface OWLOntology

getRBoxAxioms

@Nonnull
public Set<OWLAxiom> getRBoxAxioms(Imports includeImportsClosure)

Specified by:

getRBoxAxioms in interface OWLOntology

getAxiomCount

public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)

Specified by:

getAxiomCount in interface OWLAxiomCollectionNoArgs

getLogicalAxioms

public Set<OWLLogicalAxiom> getLogicalAxioms()

Specified by:

getLogicalAxioms in interface HasLogicalAxioms

getLogicalAxioms

public Set<OWLLogicalAxiom> getLogicalAxioms(Imports includeImportsClosure)

Specified by:

getLogicalAxioms in interface OWLAxiomCollection

getLogicalAxioms

public Set<OWLLogicalAxiom> getLogicalAxioms(boolean includeImportsClosure)

Specified by:

getLogicalAxioms in interface OWLAxiomCollectionBooleanArgs

getLogicalAxiomCount

public int getLogicalAxiomCount()

Specified by:

getLogicalAxiomCount in interface OWLAxiomCollectionNoArgs

getLogicalAxiomCount

public int getLogicalAxiomCount(boolean includeImportsClosure)

Specified by:

getLogicalAxiomCount in interface OWLAxiomCollectionBooleanArgs

getLogicalAxiomCount

public int getLogicalAxiomCount(Imports includeImportsClosure)

Specified by:

getLogicalAxiomCount in interface OWLAxiomCollection

getAnnotations

@Nonnull
public Set<OWLAnnotation> getAnnotations()

Specified by:

getAnnotations in interface HasAnnotations

Specified by:

getAnnotations in interface OWLOntology

getGeneralClassAxioms

public Set<OWLClassAxiom> getGeneralClassAxioms()

Specified by:

getGeneralClassAxioms in interface OWLOntology

containsAxiom

public boolean containsAxiom(@Nonnull
                             OWLAxiom axiom,
                             boolean includeImportsClosure)

Specified by:

containsAxiom in interface OWLAxiomCollectionBooleanArgs

containsAxiom

public boolean containsAxiom(@Nonnull
                             OWLAxiom axiom,
                             Imports includeImportsClosure,
                             AxiomAnnotations ignoreAnnotations)

Specified by:

containsAxiom in interface OWLAxiomCollection

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(@Nonnull
                                              OWLAxiom axiom)

Specified by:

containsAxiomIgnoreAnnotations in interface OWLAxiomCollectionNoArgs

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(@Nonnull
                                              OWLAxiom axiom,
                                              boolean importsIncluded)

Specified by:

containsAxiomIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgs

getAxiomsIgnoreAnnotations

@Nonnull
public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                         OWLAxiom axiom)

Specified by:

getAxiomsIgnoreAnnotations in interface OWLAxiomCollectionNoArgs

getAxiomsIgnoreAnnotations

public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                OWLAxiom axiom,
                                                boolean includeImportsClosure)

Specified by:

getAxiomsIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgs

getAxiomsIgnoreAnnotations

public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                OWLAxiom axiom,
                                                Imports includeImportsClosure)

Specified by:

getAxiomsIgnoreAnnotations in interface OWLAxiomCollection

containsClassInSignature

public boolean containsClassInSignature(IRI owlClassIRI,
                                        Imports includeImportsClosure)

Specified by:

containsClassInSignature in interface OWLSignature

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI owlObjectPropertyIRI,
                                                 Imports includeImportsClosure)

Specified by:

containsObjectPropertyInSignature in interface OWLSignature

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI owlDataPropertyIRI,
                                               Imports includeImportsClosure)

Specified by:

containsDataPropertyInSignature in interface OWLSignature

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI,
                                                     Imports includeImportsClosure)

Specified by:

containsAnnotationPropertyInSignature in interface OWLSignature

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI owlIndividualIRI,
                                             Imports includeImportsClosure)

Specified by:

containsIndividualInSignature in interface OWLSignature

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI owlDatatypeIRI,
                                           Imports includeImportsClosure)

Specified by:

containsDatatypeInSignature in interface OWLSignature

getEntitiesInSignature

public Set<OWLEntity> getEntitiesInSignature(@Nonnull
                                             IRI entityIRI)

Specified by:

getEntitiesInSignature in interface HasGetEntitiesInSignature

getEntitiesInSignature

public Set<OWLEntity> getEntitiesInSignature(IRI iri,
                                             Imports includeImportsClosure)

Specified by:

getEntitiesInSignature in interface OWLSignature

getPunnedIRIs

public Set<IRI> getPunnedIRIs(Imports includeImportsClosure)

Specified by:

getPunnedIRIs in interface OWLSignature

containsReference

public boolean containsReference(@Nonnull
                                 OWLEntity entity,
                                 Imports includeImportsClosure)

Specified by:

containsReference in interface OWLSignature

isDeclared

public boolean isDeclared(OWLEntity owlEntity)

Specified by:

isDeclared in interface OWLOntology

isDeclared

public boolean isDeclared(OWLEntity owlEntity,
                          Imports includeImportsClosure)

Specified by:

isDeclared in interface OWLOntology

containsEntityInSignature

public boolean containsEntityInSignature(@Nonnull
                                         OWLEntity owlEntity)

Specified by:

containsEntityInSignature in interface HasContainsEntityInSignature

Overrides:

containsEntityInSignature in class OWLObjectImplWithEntityAndAnonCaching

containsEntityInSignature

public boolean containsEntityInSignature(@Nonnull
                                         OWLEntity owlEntity,
                                         Imports includeImportsClosure)

Specified by:

containsEntityInSignature in interface OWLSignature

containsEntityInSignature

public boolean containsEntityInSignature(IRI entityIRI,
                                         Imports includeImportsClosure)

Specified by:

containsEntityInSignature in interface OWLSignature

getSignature

public Set<OWLEntity> getSignature()

Specified by:

getSignature in interface HasSignature

Specified by:

getSignature in interface OWLOntology

Overrides:

getSignature in class OWLObjectImplWithEntityAndAnonCaching

getSignature

public Set<OWLEntity> getSignature(Imports includeImportsClosure)

Specified by:

getSignature in interface OWLOntology

getAnonymousIndividuals

public Set<OWLAnonymousIndividual> getAnonymousIndividuals()

Specified by:

getAnonymousIndividuals in interface HasAnonymousIndividuals

Overrides:

getAnonymousIndividuals in class OWLObjectImplWithEntityAndAnonCaching

getClassesInSignature

public Set<OWLClass> getClassesInSignature()

Specified by:

getClassesInSignature in interface HasClassesInSignature

Overrides:

getClassesInSignature in class OWLObjectImplWithEntityAndAnonCaching

getDataPropertiesInSignature

public Set<OWLDataProperty> getDataPropertiesInSignature()

Specified by:

getDataPropertiesInSignature in interface HasDataPropertiesInSignature

Overrides:

getDataPropertiesInSignature in class OWLObjectImplWithEntityAndAnonCaching

getObjectPropertiesInSignature

public Set<OWLObjectProperty> getObjectPropertiesInSignature()

Specified by:

getObjectPropertiesInSignature in interface HasObjectPropertiesInSignature

Overrides:

getObjectPropertiesInSignature in class OWLObjectImplWithEntityAndAnonCaching

getIndividualsInSignature

public Set<OWLNamedIndividual> getIndividualsInSignature()

Specified by:

getIndividualsInSignature in interface HasIndividualsInSignature

Overrides:

getIndividualsInSignature in class OWLObjectImplWithEntityAndAnonCaching

getDatatypesInSignature

public Set<OWLDatatype> getDatatypesInSignature()

Specified by:

getDatatypesInSignature in interface HasDatatypesInSignature

Overrides:

getDatatypesInSignature in class OWLObjectImplWithEntityAndAnonCaching

getClassesInSignature

public Set<OWLClass> getClassesInSignature(Imports includeImportsClosure)

Specified by:

getClassesInSignature in interface OWLSignature

getObjectPropertiesInSignature

public Set<OWLObjectProperty> getObjectPropertiesInSignature(Imports includeImportsClosure)

Specified by:

getObjectPropertiesInSignature in interface OWLSignature

getDataPropertiesInSignature

public Set<OWLDataProperty> getDataPropertiesInSignature(Imports includeImportsClosure)

Specified by:

getDataPropertiesInSignature in interface OWLSignature

getIndividualsInSignature

public Set<OWLNamedIndividual> getIndividualsInSignature(Imports includeImportsClosure)

Specified by:

getIndividualsInSignature in interface OWLSignature

getReferencedAnonymousIndividuals

public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(Imports includeImportsClosure)

Specified by:

getReferencedAnonymousIndividuals in interface OWLSignature

getDatatypesInSignature

public Set<OWLDatatype> getDatatypesInSignature(Imports includeImportsClosure)

Specified by:

getDatatypesInSignature in interface OWLSignature

getAnnotationPropertiesInSignature

public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()

Specified by:

getAnnotationPropertiesInSignature in interface HasAnnotationPropertiesInSignature

Overrides:

getAnnotationPropertiesInSignature in class OWLObjectImplWithEntityAndAnonCaching

getAnnotationPropertiesInSignature

public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(Imports includeImportsClosure)

Specified by:

getAnnotationPropertiesInSignature in interface OWLSignature

getImportsDeclarations

@Nonnull
public Set<OWLImportsDeclaration> getImportsDeclarations()

Specified by:

getImportsDeclarations in interface OWLOntology

getDirectImportsDocuments

public Set<IRI> getDirectImportsDocuments()

Specified by:

getDirectImportsDocuments in interface OWLOntology

getImports

public Set<OWLOntology> getImports()

Specified by:

getImports in interface OWLOntology

getDirectImports

public Set<OWLOntology> getDirectImports()

Specified by:

getDirectImports in interface HasDirectImports

Specified by:

getDirectImports in interface OWLOntology

getImportsClosure

public Set<OWLOntology> getImportsClosure()

Specified by:

getImportsClosure in interface HasImportsClosure

Specified by:

getImportsClosure in interface OWLOntology

accept

public void accept(@Nonnull
                   OWLObjectVisitor visitor)

Specified by:

accept in interface OWLObject

accept

public void accept(@Nonnull
                   OWLNamedObjectVisitor visitor)

Specified by:

accept in interface OWLOntology

accept

public <O> O accept(OWLNamedObjectVisitorEx<O> visitor)

Specified by:

accept in interface OWLOntology

accept

public <O> O accept(@Nonnull
                    OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface OWLObject

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)

Specified by:

getAxioms in interface OWLAxiomCollection

getAxioms

public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property,
                                             Imports includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollection

getAxioms

public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property,
                                         Imports includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollection

getAxioms

public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property,
                                           Imports includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollection

getAxioms

public Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual,
                                         Imports includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollection

getAxioms

public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype,
                                                 Imports includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollection

getReferencingAxioms

public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity)

Specified by:

getReferencingAxioms in interface OWLAxiomCollectionNoArgs

getReferencingAxioms

public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity,
                                          boolean includeImports)

Specified by:

getReferencingAxioms in interface OWLAxiomCollectionBooleanArgs

getReferencingAxioms

public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity,
                                          Imports includeImportsClosure)

Specified by:

getReferencingAxioms in interface OWLAxiomCollection

getAxioms

public <A extends OWLAxiom> Set<A> getAxioms(@Nonnull
                                             Class<A> type,
                                             @Nonnull
                                             OWLObject entity,
                                             Imports includeImports,
                                             Navigation forSubPosition)

Specified by:

getAxioms in interface OWLAxiomIndex

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)

Specified by:

getAxioms in interface OWLAxiomIndex

filterAxioms

@Nonnull
public <T extends OWLAxiom> Collection<T> filterAxioms(@Nonnull
                                                                OWLAxiomSearchFilter filter,
                                                                @Nonnull
                                                                Object key,
                                                                Imports includeImportsClosure)

Specified by:

filterAxioms in interface OWLAxiomIndex

contains

public boolean contains(@Nonnull
                        OWLAxiomSearchFilter filter,
                        @Nonnull
                        Object key,
                        Imports includeImportsClosure)

Specified by:

contains in interface OWLAxiomIndex

getAxioms

public Set<OWLClassAxiom> getAxioms(OWLClass cls)

Specified by:

getAxioms in interface OWLAxiomCollectionNoArgs

getAxioms

public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property)

Specified by:

getAxioms in interface OWLAxiomCollectionNoArgs

getAxioms

public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property)

Specified by:

getAxioms in interface OWLAxiomCollectionNoArgs

getAxioms

public Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)

Specified by:

getAxioms in interface OWLAxiomCollectionNoArgs

getAxioms

public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property)

Specified by:

getAxioms in interface OWLAxiomCollectionNoArgs

getAxioms

public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)

Specified by:

getAxioms in interface OWLAxiomCollectionNoArgs

getAxioms

public Set<OWLClassAxiom> getAxioms(OWLClass cls,
                                    boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

getAxioms

public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property,
                                             boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

getAxioms

public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property,
                                           boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

getAxioms

public Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual,
                                         boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

getAxioms

public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property,
                                         boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

getAxioms

public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype,
                                                 boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLAxiomCollectionBooleanArgs

saveOntology

public void saveOntology()
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

saveOntology

public void saveOntology(IRI documentIRI)
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

saveOntology

public void saveOntology(OutputStream outputStream)
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

saveOntology

public void saveOntology(OWLDocumentFormat ontologyFormat)
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

saveOntology

public void saveOntology(OWLDocumentFormat ontologyFormat,
                         IRI documentIRI)
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

saveOntology

public void saveOntology(OWLDocumentFormat ontologyFormat,
                         OutputStream outputStream)
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

saveOntology

public void saveOntology(OWLOntologyDocumentTarget documentTarget)
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

saveOntology

public void saveOntology(OWLDocumentFormat ontologyFormat,
                         OWLOntologyDocumentTarget documentTarget)
                  throws OWLOntologyStorageException

Specified by:

saveOntology in interface OWLOntology

Throws:

OWLOntologyStorageException

getClassAssertionAxioms

public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression ce)

Specified by:

getClassAssertionAxioms in interface OWLAxiomIndex

Overrides:

getClassAssertionAxioms in class OWLAxiomIndexImpl

containsEntitiesOfTypeInSignature

public boolean containsEntitiesOfTypeInSignature(EntityType<?> type)

Specified by:

containsEntitiesOfTypeInSignature in interface OWLSignature

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI owlDatatypeIRI)

Specified by:

containsDatatypeInSignature in interface OWLSignature

containsEntityInSignature

public boolean containsEntityInSignature(IRI entityIRI)

Specified by:

containsEntityInSignature in interface OWLSignature

containsClassInSignature

public boolean containsClassInSignature(IRI owlClassIRI)

Specified by:

containsClassInSignature in interface OWLSignature

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI owlObjectPropertyIRI)

Specified by:

containsObjectPropertyInSignature in interface OWLSignature

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI owlDataPropertyIRI)

Specified by:

containsDataPropertyInSignature in interface OWLSignature

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI)

Specified by:

containsAnnotationPropertyInSignature in interface OWLSignature

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI owlIndividualIRI)

Specified by:

containsIndividualInSignature in interface OWLSignature

containsReference

public boolean containsReference(OWLEntity entity)

Specified by:

containsReference in interface OWLSignature

getClassesInSignature

public Set<OWLClass> getClassesInSignature(boolean includeImportsClosure)

Specified by:

getClassesInSignature in interface OWLSignatureBooleanArgs

getObjectPropertiesInSignature

public Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean includeImportsClosure)

Specified by:

getObjectPropertiesInSignature in interface OWLSignatureBooleanArgs

getDataPropertiesInSignature

public Set<OWLDataProperty> getDataPropertiesInSignature(boolean includeImportsClosure)

Specified by:

getDataPropertiesInSignature in interface OWLSignatureBooleanArgs

getIndividualsInSignature

public Set<OWLNamedIndividual> getIndividualsInSignature(boolean includeImportsClosure)

Specified by:

getIndividualsInSignature in interface OWLSignatureBooleanArgs

getReferencedAnonymousIndividuals

public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(boolean includeImportsClosure)

Specified by:

getReferencedAnonymousIndividuals in interface OWLSignatureBooleanArgs

getDatatypesInSignature

public Set<OWLDatatype> getDatatypesInSignature(boolean includeImportsClosure)

Specified by:

getDatatypesInSignature in interface OWLSignatureBooleanArgs

getAnnotationPropertiesInSignature

public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(boolean includeImportsClosure)

Specified by:

getAnnotationPropertiesInSignature in interface OWLSignatureBooleanArgs

containsEntityInSignature

public boolean containsEntityInSignature(OWLEntity owlEntity,
                                         boolean includeImportsClosure)

Specified by:

containsEntityInSignature in interface OWLSignatureBooleanArgs

containsEntityInSignature

public boolean containsEntityInSignature(IRI entityIRI,
                                         boolean includeImportsClosure)

Specified by:

containsEntityInSignature in interface OWLSignatureBooleanArgs

containsClassInSignature

public boolean containsClassInSignature(IRI owlClassIRI,
                                        boolean includeImportsClosure)

Specified by:

containsClassInSignature in interface OWLSignatureBooleanArgs

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI owlObjectPropertyIRI,
                                                 boolean includeImportsClosure)

Specified by:

containsObjectPropertyInSignature in interface OWLSignatureBooleanArgs

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI owlDataPropertyIRI,
                                               boolean includeImportsClosure)

Specified by:

containsDataPropertyInSignature in interface OWLSignatureBooleanArgs

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI,
                                                     boolean includeImportsClosure)

Specified by:

containsAnnotationPropertyInSignature in interface OWLSignatureBooleanArgs

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI owlDatatypeIRI,
                                           boolean includeImportsClosure)

Specified by:

containsDatatypeInSignature in interface OWLSignatureBooleanArgs

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI owlIndividualIRI,
                                             boolean includeImportsClosure)

Specified by:

containsIndividualInSignature in interface OWLSignatureBooleanArgs

getEntitiesInSignature

public Set<OWLEntity> getEntitiesInSignature(IRI iri,
                                             boolean includeImportsClosure)

Specified by:

getEntitiesInSignature in interface OWLSignatureBooleanArgs

containsReference

public boolean containsReference(OWLEntity entity,
                                 boolean includeImportsClosure)

Specified by:

containsReference in interface OWLSignatureBooleanArgs