uk.ac.manchester.cs.owl.owlapi

Class OWLImmutableOntologyImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLAxiomIndexImpl

uk.ac.manchester.cs.owl.owlapi.OWLImmutableOntologyImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasApplyChange, HasApplyChanges, HasApplyDirectChange, HasAxioms, HasAxiomsByType, HasClassesInSignature, HasComponents, HasContainsAxiom, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasDirectAddAxiom, HasDirectAddAxioms, HasDirectImports, HasDirectRemoveAxiom, HasDirectRemoveAxioms, HasGetEntitiesInSignature, HasHashIndex, HasImportsClosure, HasIndex, HasIndividualsInSignature, HasLogicalAxioms, HasObjectPropertiesInSignature, HasOntologyID, HasSignature, IsAnonymous, OWLAxiomCollection, OWLAxiomCollectionBooleanArgs, OWLAxiomIndex, OWLObject, OWLOntology, OWLSignature, OWLSignatureBooleanArgs, HasIncrementalSignatureGenerationSupport, 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
Stream<OWLAxiom>	aboxAxioms(Imports imports) Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
Stream<OWLAnnotationProperty>	annotationPropertiesInSignature()
Stream<OWLAnnotation>	annotations()
List<OWLAnnotation>	annotationsAsList()
Stream<OWLAnonymousIndividual>	anonymousIndividuals()
Stream<OWLAxiom>	axioms()
<T extends OWLAxiom> Stream<T>	axioms(AxiomType<T> axiomType) Gets the axioms which are of the specified type.
<A extends OWLAxiom> Stream<A>	axioms(Class<A> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition) Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
<T extends OWLAxiom> Stream<T>	axioms(OWLAxiomSearchFilter filter, Object key) Generic filter type for further refining search by axiom type.
<T extends OWLAxiom> Stream<T>	axioms(OWLAxiomSearchFilter filter, Object key, Imports imports) Generic filter type for further refining search by axiom type.
Stream<OWLClassAxiom>	axioms(OWLClass cls) Gets the axioms that form the definition/description of a class.
Stream<OWLDataPropertyAxiom>	axioms(OWLDataProperty property) Gets the axioms that form the definition/description of a data property.
Stream<OWLDatatypeDefinitionAxiom>	axioms(OWLDatatype datatype) Gets the datatype definition axioms for the specified datatype.
Stream<OWLIndividualAxiom>	axioms(OWLIndividual individual) Gets the axioms that form the definition/description of an individual.
Stream<OWLObjectPropertyAxiom>	axioms(OWLObjectPropertyExpression property) Gets the axioms that form the definition/description of an object property.
Stream<OWLAxiom>	axiomsIgnoreAnnotations(OWLAxiom axiom) Gets the stream of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
Stream<OWLAxiom>	axiomsIgnoreAnnotations(OWLAxiom axiom, Imports imports) Gets the stream of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
Stream<OWLClassAssertionAxiom>	classAssertionAxioms(OWLClassExpression ce) Gets the OWLClassAssertionAxiom objects contained in this ontology that make the specified class expression, ce, a type for some individual.
Stream<OWLClass>	classesInSignature()
boolean	contains(OWLAxiomSearchFilter filter, Object key) Generic containment check type for further refining search by axiom type.
boolean	contains(OWLAxiomSearchFilter filter, Object key, Imports imports) Generic containment check type for further refining search by axiom type.
boolean	containsAnnotationPropertyInSignature(IRI iri) Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
boolean	containsAnnotationPropertyInSignature(IRI iri, Imports imports) 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, Imports imports, 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	containsClassInSignature(IRI iri) Determines if the signature contains an OWLClass that has the specified IRI.
boolean	containsClassInSignature(IRI iri, Imports imports) Determines if the signature contains an OWLClass that has the specified IRI.
boolean	containsDataPropertyInSignature(IRI iri) Determines if the signature contains an OWLDataProperty that has the specified IRI.
boolean	containsDataPropertyInSignature(IRI iri, Imports imports) Determines if the signature contains an OWLDataProperty that has the specified IRI.
boolean	containsDatatypeInSignature(IRI iri) Determines if the signature contains an OWLDatatype that has the specified IRI.
boolean	containsDatatypeInSignature(IRI iri, Imports imports) Determines if the signature contains an OWLDatatype that has the specified IRI.
boolean	containsEntitiesOfTypeInSignature(EntityType<?> type) Determine whether the instance has entities of the specified type in its signature - e.g., whether an ontology has classes, object properties, or named individuals in its signature.
boolean	containsEntityInSignature(OWLEntity owlEntity) Determines if the signature of this object contains the specified entity.
boolean	containsIndividualInSignature(IRI iri) Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
boolean	containsIndividualInSignature(IRI iri, Imports imports) Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
boolean	containsObjectPropertyInSignature(IRI iri) Determines if the signature contains an OWLObjectProperty that has the specified IRI.
boolean	containsObjectPropertyInSignature(IRI iri, Imports imports) Determines if the signature contains an OWLObjectProperty that has the specified IRI.
boolean	containsReference(OWLEntity entity)
boolean	containsReference(OWLEntity entity, Imports includeImportsClosure)
Stream<OWLDataProperty>	dataPropertiesInSignature()
Stream<OWLDatatype>	datatypesInSignature()
Stream<OWLOntology>	directImports() Stream of loaded ontologies that this ontology is related to via the directlyImports relation.
Stream<IRI>	directImportsDocuments() The stream of document IRIs that are directly imported by this ontology.
Stream<OWLEntity>	entitiesInSignature(IRI iri)
boolean	equalAxioms(HasAxiomsByType o) Compare the axioms inside this object with the axioms inside the other object, shortcutting by type; it will not merge all axioms in a large lump for comparisons only
Stream<OWLClassAxiom>	generalClassAxioms() Gets the stream of general axioms in this ontology.
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, Imports imports) Gets the axiom count of a specific type of axiom, optionally including the imports closure.
int	getAxiomCount(Imports imports)
int	getLogicalAxiomCount() Gets the number of logical axioms in this collection.
int	getLogicalAxiomCount(Imports imports) Gets the number of logical axioms in this collection, optionally including the imports closure.
OWLOntologyID	getOntologyID() Gets the OWLOntologyID belonging to this object.
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.
Stream<OWLOntology>	imports() Gets the stream of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation. For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.
Stream<OWLOntology>	importsClosure() Gets the imports closure, including the root object.
Stream<OWLImportsDeclaration>	importsDeclarations() Gets the stream of imports declarations for this ontology.
Stream<OWLNamedIndividual>	individualsInSignature()
boolean	isAnonymous()
boolean	isDeclared(OWLEntity owlEntity) Determines if this ontology 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.
Stream<OWLLogicalAxiom>	logicalAxioms()
Stream<OWLObjectProperty>	objectPropertiesInSignature()
Stream<OWLAxiom>	rboxAxioms(Imports imports) Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
Stream<OWLAnonymousIndividual>	referencedAnonymousIndividuals() Gets the referenced anonymous individuals.
Stream<OWLAxiom>	referencingAxioms(OWLPrimitive owlEntity) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
void	setOWLOntologyManager(OWLOntologyManager manager) Sets the manager for this ontology.
Stream<OWLEntity>	signature()
Stream<OWLAxiom>	tboxAxioms(Imports imports) Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.
String	toString()
Stream<OWLEntity>	unsortedSignature()

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

annotationPropertyDomainAxioms, annotationPropertyRangeAxioms, datatypeDefinitions, subAnnotationPropertyOfAxioms, trimToSize

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

compareTo, equals, hashCode, nestedClassExpressions

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, accept, accept, addAxiom, addAxioms, addAxioms, addAxioms, applyChange, applyChangesAndGetDetails, applyDirectChange, components, getABoxAxioms, getFormat, getGeneralClassAxioms, getImports, getImportsDeclarations, getNonnullFormat, getRBoxAxioms, getSignature, getTBoxAxioms, hashIndex, initHashCode, isAxiom, isDeclared, isIndividual, isOntology, removeAxiom, removeAxioms, removeAxioms, removeAxioms, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, signature, typeIndex

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

getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isTopEntity, nestedClassExpressions

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature

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

getAnonymousIndividuals

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

componentsAnnotationsFirst, componentsWithoutAnnotations

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

isNamed

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

annotations, annotations, getAnnotations, getAnnotations

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

getDirectImports, getDirectImportsDocuments

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

containsAxiom, containsAxiomIgnoreAnnotations, getAxiomCount, getAxiomCount, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getLogicalAxiomCount, getLogicalAxioms, getReferencingAxioms

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

axioms, axioms, axioms, axioms, axioms, axioms, axioms, axioms, axioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getAxiomsIgnoreAnnotations, getLogicalAxioms, getReferencingAxioms, getReferencingAxioms, logicalAxioms, referencingAxioms

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

getAxioms

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

getLogicalAxioms

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

getAxioms

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

containsAnnotationPropertyInSignature, containsClassInSignature, containsDataPropertyInSignature, containsDatatypeInSignature, containsEntityInSignature, containsEntityInSignature, containsIndividualInSignature, containsObjectPropertyInSignature, containsReference, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getReferencedAnonymousIndividuals

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

annotationPropertiesInSignature, classesInSignature, containsEntitiesOfTypeInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, entitiesInSignature, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getReferencedAnonymousIndividuals, getReferencedAnonymousIndividuals, individualsInSignature, objectPropertiesInSignature, referencedAnonymousIndividuals

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

getEntitiesInSignature

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

getClassesInSignature

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

getAnnotationPropertiesInSignature

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

getObjectPropertiesInSignature

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

getDataPropertiesInSignature

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

getDatatypesInSignature

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

getIndividualsInSignature

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

annotationAssertionAxioms, annotationAssertionAxioms, annotationPropertyDomainAxioms, annotationPropertyRangeAxioms, asymmetricObjectPropertyAxioms, axioms, axioms, axioms, classAssertionAxioms, dataPropertyAssertionAxioms, dataPropertyDomainAxioms, dataPropertyRangeAxioms, dataSubPropertyAxiomsForSubProperty, dataSubPropertyAxiomsForSuperProperty, datatypeDefinitions, declarationAxioms, differentIndividualAxioms, disjointClassesAxioms, disjointDataPropertiesAxioms, disjointObjectPropertiesAxioms, disjointUnionAxioms, equivalentClassesAxioms, equivalentDataPropertiesAxioms, equivalentObjectPropertiesAxioms, filterAxioms, filterAxioms, functionalDataPropertyAxioms, functionalObjectPropertyAxioms, getAnnotationAssertionAxioms, getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, getAxioms, getAxioms, getAxioms, getAxioms, 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, hasKeyAxioms, inverseFunctionalObjectPropertyAxioms, inverseObjectPropertyAxioms, irreflexiveObjectPropertyAxioms, negativeDataPropertyAssertionAxioms, negativeObjectPropertyAssertionAxioms, objectPropertyAssertionAxioms, objectPropertyDomainAxioms, objectPropertyRangeAxioms, objectSubPropertyAxiomsForSubProperty, objectSubPropertyAxiomsForSuperProperty, reflexiveObjectPropertyAxioms, sameIndividualAxioms, subAnnotationPropertyOfAxioms, subClassAxiomsForSubClass, subClassAxiomsForSuperClass, symmetricObjectPropertyAxioms, transitiveObjectPropertyAxioms

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

applyChanges, applyChanges, applyChangesAndGetDetails

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

add

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

add, add

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

remove

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

remove, remove, remove

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLImmutableOntologyImpl

public OWLImmutableOntologyImpl(OWLOntologyManager manager,
                                OWLOntologyID ontologyID)

Parameters:

manager - ontology manager

ontologyID - ontology id

Method Detail

toString

public String toString()

Overrides:

toString in class OWLObjectImpl

getOWLOntologyManager

public OWLOntologyManager getOWLOntologyManager()

Description copied from interface: OWLOntology

Gets the manager that manages this ontology. The manager is used by various methods on OWLOntology to resolve imports

Specified by:

getOWLOntologyManager in interface OWLOntology

Returns:

The manager for this ontology.

setOWLOntologyManager

public void setOWLOntologyManager(@Nullable
                                  OWLOntologyManager 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: HasOntologyID

Gets the OWLOntologyID belonging to this object.

Specified by:

getOntologyID in interface HasOntologyID

Returns:

The OWLOntologyID

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in interface IsAnonymous

Returns:

true if this object is anonymous, false otherwise. For example, class expressions are anonymous while class entities are not (they have an IRI); OWLNamedIndividual instances are named, OWLAnonymousIndividual instances are anonymous. An ontology is anonymous if it does not have an ontology IRI. In this case, getOntologyID().getOntologyIRI() will return an empty optional.

isEmpty

public boolean isEmpty()

Description copied from interface: OWLOntology

Determines if this ontology is empty - an ontology is empty if it does not contain any axioms (i.e. HasAxioms.axioms() is empty), and it does not have any annotations (i.e. HasAnnotations.annotations() is empty).

Specified by:

isEmpty in interface OWLOntology

Returns:

true if the ontology is empty, otherwise false.

getAxiomCount

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

Description copied from interface: OWLAxiomCollection

Gets the axiom count of a specific type of axiom.

Specified by:

getAxiomCount in interface OWLAxiomCollection

Type Parameters:

T - axiom type class

Parameters:

axiomType - The type of axiom to count

Returns:

The number of the specified types of axioms in this collection

getAxiomCount

public int getAxiomCount()

Specified by:

getAxiomCount in interface OWLAxiomCollection

Returns:

The number of axioms in this ontology.

containsAxiom

public boolean containsAxiom(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.

axioms

public Stream<OWLAxiom> axioms()

Specified by:

axioms in interface HasAxioms

Returns:

Stream of OWLAxioms contained in this object.

equalAxioms

public boolean equalAxioms(HasAxiomsByType o)

Description copied from interface: HasAxiomsByType

Compare the axioms inside this object with the axioms inside the other object, shortcutting by type; it will not merge all axioms in a large lump for comparisons only

Specified by:

equalAxioms in interface HasAxiomsByType

Parameters:

o - other object to compare

Returns:

true if the two objects contain the same axioms

axioms

public <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType)

Description copied from interface: HasAxiomsByType

Gets the axioms which are of the specified type.

Specified by:

axioms in interface HasAxiomsByType

Type Parameters:

T - axiom type

Parameters:

axiomType - The type of axioms to be retrieved.

Returns:

Stream of axioms of the specified type.

logicalAxioms

public Stream<OWLLogicalAxiom> logicalAxioms()

Specified by:

logicalAxioms in interface HasLogicalAxioms

Returns:

Stream of OWLLogicalAxioms that are contained within this object.

getLogicalAxiomCount

public int getLogicalAxiomCount()

Description copied from interface: OWLAxiomCollection

Gets the number of logical axioms in this collection.

Specified by:

getLogicalAxiomCount in interface OWLAxiomCollection

Returns:

The number of axioms in this collection.

getAxiomCount

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

Description copied from interface: OWLAxiomCollection

Gets the axiom count of a specific type of axiom, optionally including the imports closure.

Specified by:

getAxiomCount in interface OWLAxiomCollection

Type Parameters:

T - axiom type

Parameters:

axiomType - The type of axiom to count

imports - if INCLUDED, include imports closure.

Returns:

The number of the specified types of axioms in this collection

getAxiomCount

public int getAxiomCount(Imports imports)

Specified by:

getAxiomCount in interface OWLAxiomCollection

Parameters:

imports - if INCLUDED, include imports closure.

Returns:

The number of axioms in this ontology, and optionally in the imports closure.

tboxAxioms

public Stream<OWLAxiom> tboxAxioms(Imports imports)

Description copied from interface: OWLOntology

Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes.

Specified by:

tboxAxioms in interface OWLOntology

Parameters:

imports - if INCLUDED, the imports closure is included.

Returns:

A stream containing the axioms which are of the specified type.

aboxAxioms

public Stream<OWLAxiom> aboxAxioms(Imports imports)

Description copied from interface: OWLOntology

Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.

Specified by:

aboxAxioms in interface OWLOntology

Parameters:

imports - if INCLUDED, the imports closure is included.

Returns:

A stream containing the axioms which are of the specified type.

rboxAxioms

public Stream<OWLAxiom> rboxAxioms(Imports imports)

Description copied from interface: OWLOntology

Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.

Specified by:

rboxAxioms in interface OWLOntology

Parameters:

imports - if INCLUDED, the imports closure is included.

Returns:

A stream containing the axioms which are of the specified type.

getLogicalAxiomCount

public int getLogicalAxiomCount(Imports imports)

Description copied from interface: OWLAxiomCollection

Gets the number of logical axioms in this collection, optionally including the imports closure.

Specified by:

getLogicalAxiomCount in interface OWLAxiomCollection

Parameters:

imports - if INCLUDED, include imports closure.

Returns:

The number of axioms in this collection, optionally including the imports closure.

annotations

public Stream<OWLAnnotation> annotations()

Specified by:

annotations in interface HasAnnotations

Returns:

a sorted stream of OWLAnnotation instances on this object. This will only include the annotations contained in this object, not the value of annotation assertion axioms in an ontology or in other ontologies. Use the EntitySearcher methods for that purpose.

annotationsAsList

public List<OWLAnnotation> annotationsAsList()

Specified by:

annotationsAsList in interface HasAnnotations

Returns:

annotation collection s list

generalClassAxioms

public Stream<OWLClassAxiom> generalClassAxioms()

Description copied from interface: OWLOntology

Gets the stream of general axioms in this ontology. This includes:

• Subclass axioms that have a complex class as the subclass
• Equivalent class axioms that don't contain any named classes ( OWLClasses)
• Disjoint class axioms that don't contain any named classes ( OWLClasses)

Specified by:

generalClassAxioms in interface OWLOntology

Returns:

The sorted stream containing the general axioms in the ontology.

containsAxiom

public boolean containsAxiom(OWLAxiom axiom,
                             Imports imports,
                             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.

imports - 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.

axiomsIgnoreAnnotations

public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom)

Description copied from interface: OWLAxiomCollection

Gets the stream of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations. Optionally the imports closure is included.

Specified by:

axiomsIgnoreAnnotations in interface OWLAxiomCollection

Parameters:

axiom - The axiom that the returned axioms must equal, ignoring annotations.

Returns:

stream of axioms such that for any two axioms, axiomA and axiomB, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the stream.

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)

Description copied from interface: OWLAxiomCollection

Determines if this ontology contains the specified axiom.

Specified by:

containsAxiomIgnoreAnnotations in interface OWLAxiomCollection

Parameters:

axiom - The axiom to search.

Returns:

true if the ontology contains the specified axiom.

axiomsIgnoreAnnotations

public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom,
                                                Imports imports)

Description copied from interface: OWLAxiomCollection

Gets the stream of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations. Optionally the imports closure is included.

Specified by:

axiomsIgnoreAnnotations in interface OWLAxiomCollection

Parameters:

axiom - The axiom that the returned axioms must equal, ignoring annotations.

imports - if INCLUDED, include imports closure.

Returns:

stream of axioms such that for any two axioms, axiomA and axiomB, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the stream.

containsClassInSignature

public boolean containsClassInSignature(IRI iri,
                                        Imports imports)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLClass that has the specified IRI.

Specified by:

containsClassInSignature in interface OWLSignature

Parameters:

iri - The IRI of the class to check for

imports - if INCLUDED, include imports closure.

Returns:

true if the signature or the import closure contains an entity with the specified IRI.

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI iri,
                                                 Imports imports)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLObjectProperty that has the specified IRI.

Specified by:

containsObjectPropertyInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLObjectProperty to check for

imports - if INCLUDED, include imports closure.

Returns:

true if the signature or the import closure contains an object property with the specified IRI.

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI iri,
                                               Imports imports)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLDataProperty that has the specified IRI.

Specified by:

containsDataPropertyInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLDataProperty to check for

imports - if INCLUDED, include imports closure.

Returns:

true if the signature or the import closure contains a data property with the specified IRI.

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI iri,
                                                     Imports imports)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.

Specified by:

containsAnnotationPropertyInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLAnnotationProperty to check for

imports - if INCLUDED, include imports closure.

Returns:

true if the signature or the import closure contains an annotation property with the specified IRI.

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI iri,
                                             Imports imports)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLNamedIndividual that has the specified IRI.

Specified by:

containsIndividualInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLNamedIndividual to check for

imports - if INCLUDED, include imports closure.

Returns:

true if the signature or the import closure contains an individual with the specified IRI.

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI iri,
                                           Imports imports)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLDatatype that has the specified IRI.

Specified by:

containsDatatypeInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLDatatype to check for

imports - if INCLUDED, include imports closure.

Returns:

true if the signature or the import closure contains a datatype with the specified IRI.

containsEntitiesOfTypeInSignature

public boolean containsEntitiesOfTypeInSignature(EntityType<?> type)

Description copied from interface: OWLSignature

Determine whether the instance has entities of the specified type in its signature - e.g., whether an ontology has classes, object properties, or named individuals in its signature. Anonymous individuals are not included.

Specified by:

containsEntitiesOfTypeInSignature in interface OWLSignature

Parameters:

type - type of entity to check

Returns:

true if entities of the specified type are in the signature

entitiesInSignature

public Stream<OWLEntity> entitiesInSignature(IRI iri)

Specified by:

entitiesInSignature in interface HasGetEntitiesInSignature

Parameters:

iri - IRI for all entities to retrieve

Returns:

stream of entities with IRI equal to entity IRI

unsortedSignature

public Stream<OWLEntity> unsortedSignature()

Specified by:

unsortedSignature in interface HasSignature

Returns:

signature without sorting requirement. For immutable objects, this does not necessarily differ from the signature. Mutable objects, such as OWLOntology instances, can provide an unsorted signature faster.

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(OWLEntity entity,
                                 Imports includeImportsClosure)

Specified by:

containsReference in interface OWLSignature

Parameters:

entity - entity 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.

containsEntityInSignature

public boolean containsEntityInSignature(OWLEntity owlEntity)

Description copied from interface: HasContainsEntityInSignature

Determines if the signature of this object contains the specified entity.

Specified by:

containsEntityInSignature in interface HasContainsEntityInSignature

Overrides:

containsEntityInSignature in class OWLObjectImpl

Parameters:

owlEntity - The entity

Returns:

true if the signature of this object contains owlEntity, otherwise false

signature

public Stream<OWLEntity> signature()

Specified by:

signature in interface HasSignature

Overrides:

signature in class OWLObjectImpl

Returns:

Stream of the signature of this object.

anonymousIndividuals

public Stream<OWLAnonymousIndividual> anonymousIndividuals()

Specified by:

anonymousIndividuals in interface HasAnonymousIndividuals

Overrides:

anonymousIndividuals in class OWLObjectImpl

Returns:

A stream of anonymous individuals occurring in this object.

classesInSignature

public Stream<OWLClass> classesInSignature()

Specified by:

classesInSignature in interface HasClassesInSignature

Overrides:

classesInSignature in class OWLObjectImpl

Returns:

Stream of classes in the signature of this object.

dataPropertiesInSignature

public Stream<OWLDataProperty> dataPropertiesInSignature()

Specified by:

dataPropertiesInSignature in interface HasDataPropertiesInSignature

Overrides:

dataPropertiesInSignature in class OWLObjectImpl

Returns:

Stream of data properties that are in the signature of this object.

objectPropertiesInSignature

public Stream<OWLObjectProperty> objectPropertiesInSignature()

Specified by:

objectPropertiesInSignature in interface HasObjectPropertiesInSignature

Overrides:

objectPropertiesInSignature in class OWLObjectImpl

Returns:

Stream of object properties that are in the signature of this object.

individualsInSignature

public Stream<OWLNamedIndividual> individualsInSignature()

Specified by:

individualsInSignature in interface HasIndividualsInSignature

Overrides:

individualsInSignature in class OWLObjectImpl

Returns:

Stream containing the individuals that are in the signature of this object.

datatypesInSignature

public Stream<OWLDatatype> datatypesInSignature()

Specified by:

datatypesInSignature in interface HasDatatypesInSignature

Overrides:

datatypesInSignature in class OWLObjectImpl

Returns:

A stream of the datatypes that are in the signature of this object.

referencedAnonymousIndividuals

public Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals()

Description copied from interface: OWLSignature

Gets the referenced anonymous individuals.

Specified by:

referencedAnonymousIndividuals in interface OWLSignature

Returns:

Sorted stream of referenced anonymous individuals

annotationPropertiesInSignature

public Stream<OWLAnnotationProperty> annotationPropertiesInSignature()

Specified by:

annotationPropertiesInSignature in interface HasAnnotationPropertiesInSignature

Overrides:

annotationPropertiesInSignature in class OWLObjectImpl

Returns:

the annotation properties that are in the signature of this object.

importsDeclarations

public Stream<OWLImportsDeclaration> importsDeclarations()

Description copied from interface: OWLOntology

Gets the stream of imports declarations for this ontology. These are the IRIs that correspond to the set of IRIs in an ontology's directlyImportsDocuments (see Section 3 in the OWL 2 structural specification).

Specified by:

importsDeclarations in interface OWLOntology

Returns:

Sorted stream of imports declarations that correspond to the set of ontology document IRIs that are directly imported by this ontology.

directImportsDocuments

public Stream<IRI> directImportsDocuments()

Description copied from interface: HasDirectImports

The stream of document IRIs that are directly imported by this ontology. This corresponds to the IRIs defined by the directlyImportsDocument association as discussed in Section 3.4 of the OWL 2 Structural specification.

Specified by:

directImportsDocuments in interface HasDirectImports

Returns:

The stream of directly imported document IRIs.

imports

public Stream<OWLOntology> imports()

Description copied from interface: OWLOntology

Gets the stream of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation.
For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.

Specified by:

imports in interface OWLOntology

Returns:

The stream of ontologies that this ontology is related to via the transitive closure of the directlyImports relation.

directImports

public Stream<OWLOntology> directImports()

Description copied from interface: HasDirectImports

Stream of loaded ontologies that this ontology is related to via the directlyImports relation. See Section 3.4 of the OWL 2 specification for the definition of the directlyImports relation.
Note that there may be fewer ontologies in the set returned by this method than there are IRIs in the set returned by the HasDirectImports.getDirectImportsDocuments() method. This will be the case if some of the ontologies that are directly imported by this ontology are not loaded for what ever reason.

Specified by:

directImports in interface HasDirectImports

Returns:

Stream of ontologies such that for this ontology O, and each ontology O' in the set, (O, O') is in the directlyImports relation.

importsClosure

public Stream<OWLOntology> importsClosure()

Description copied from interface: HasImportsClosure

Gets the imports closure, including the root object.

Specified by:

importsClosure in interface HasImportsClosure

Returns:

Stream of ontologies representing the imports closure of this object (includes this object).

axioms

public Stream<OWLClassAxiom> axioms(OWLClass cls)

Description copied from interface: OWLAxiomCollection

Gets the axioms that form the definition/description of a class.

Specified by:

axioms in interface OWLAxiomCollection

Parameters:

cls - The class whose describing axioms are to be retrieved.

Returns:

A stream of class axioms that describe the class. This set includes

• Subclass axioms where the subclass is equal to the specified class
• Equivalent class axioms where the specified class is an operand in the equivalent class axiom
• Disjoint class axioms where the specified class is an operand in the disjoint class axiom
• Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union

axioms

public Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLAxiomCollection

Gets the axioms that form the definition/description of an object property.

Specified by:

axioms in interface OWLAxiomCollection

Parameters:

property - The property whose defining axioms are to be retrieved.

Returns:

A stream of object property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Equivalent property axioms that contain the inverse of the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
• Inverse properties axioms that contain the specified property

axioms

public Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property)

Description copied from interface: OWLAxiomCollection

Gets the axioms that form the definition/description of a data property.

Specified by:

axioms in interface OWLAxiomCollection

Parameters:

property - The property whose defining axioms are to be retrieved.

Returns:

A stream of data property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property

axioms

public Stream<OWLIndividualAxiom> axioms(OWLIndividual individual)

Description copied from interface: OWLAxiomCollection

Gets the axioms that form the definition/description of an individual.

Specified by:

axioms in interface OWLAxiomCollection

Parameters:

individual - The individual whose defining axioms are to be retrieved.

Returns:

A stream of individual axioms that includes

• Individual type assertions that assert the type of the specified individual
• Same individuals axioms that contain the specified individual
• Different individuals axioms that contain the specified individual
• Object property assertion axioms whose subject is the specified individual
• Data property assertion axioms whose subject is the specified individual
• Negative object property assertion axioms whose subject is the specified individual
• Negative data property assertion axioms whose subject is the specified individual

axioms

public Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype)

Description copied from interface: OWLAxiomCollection

Gets the datatype definition axioms for the specified datatype.

Specified by:

axioms in interface OWLAxiomCollection

Parameters:

datatype - The datatype

Returns:

stream of datatype definition axioms for the specified datatype.

referencingAxioms

public Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlEntity)

Description copied from interface: OWLAxiomCollection

Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.

Specified by:

referencingAxioms in interface OWLAxiomCollection

Parameters:

owlEntity - The entity that should be directly referred to by all axioms in the results set.

Returns:

Stream of all axioms referencing the entity.

classAssertionAxioms

public Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)

Description copied from interface: OWLAxiomIndex

Gets the OWLClassAssertionAxiom objects contained in this ontology that make the specified class expression, ce, a type for some individual.

Specified by:

classAssertionAxioms in interface OWLAxiomIndex

Parameters:

ce - The class expression that the returned axioms make a type for some individual.

Returns:

the axioms matching the search.

axioms

public <A extends OWLAxiom> Stream<A> axioms(Class<A> type,
                                             Class<? extends OWLObject> explicitClass,
                                             OWLObject entity,
                                             Navigation forSubPosition)

Description copied from interface: OWLAxiomIndex

Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.

Specified by:

axioms in interface OWLAxiomIndex

Type Parameters:

A - type of returned axioms

Parameters:

type - type of axioms

explicitClass - for overlapping indexes in the ontology internals, an explicit class rather than the entity class might be necessary

entity - referred entity (OWLPrimitive or property/class expression)

forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entities, this parameter is ignored.

Returns:

stream of axioms satisfying the conditions.

axioms

public <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter,
                                             Object key,
                                             Imports imports)

Description copied from interface: OWLAxiomIndex

Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.

Specified by:

axioms in interface OWLAxiomIndex

Type Parameters:

T - type of returned axioms

Parameters:

filter - the filter to match

key - the key. Its type is generic and it is used only by the filter.

imports - if INCLUDED, include imports closure.

Returns:

a stream of axioms matching the request. The axioms are collected from a set, therefore it contains no duplicates.

axioms

public <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter,
                                             Object key)

Description copied from interface: OWLAxiomIndex

Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.

Specified by:

axioms in interface OWLAxiomIndex

Type Parameters:

T - type of returned axioms

Parameters:

filter - the filter to match

key - the key. Its type is generic and it is used only by the filter.

Returns:

a stream of axioms matching the request. The axioms are collected from a set, therefore it contains no duplicates.

contains

public boolean contains(OWLAxiomSearchFilter filter,
                        Object key)

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.

Returns:

true if there is at least one result matching the filter.

contains

public boolean contains(OWLAxiomSearchFilter filter,
                        Object key,
                        Imports imports)

Description copied from interface: OWLAxiomIndex

Generic containment check type for further refining search by axiom type. The method returns true if there is at least one result matching the filter.

Specified by:

contains in interface OWLAxiomIndex

Parameters:

filter - the filter to match

key - the key. Its type is generic and it is used only by the filter.

imports - if INCLUDED, include imports closure.

Returns:

true if there is at least one result matching the filter.

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI iri)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLDatatype that has the specified IRI.

Specified by:

containsDatatypeInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLDatatype to check for

Returns:

true if the signature or the import closure contains a datatype with the specified IRI.

containsClassInSignature

public boolean containsClassInSignature(IRI iri)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLClass that has the specified IRI.

Specified by:

containsClassInSignature in interface OWLSignature

Parameters:

iri - The IRI of the class to check for

Returns:

true if the signature or the import closure contains an entity with the specified IRI.

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI iri)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLObjectProperty that has the specified IRI.

Specified by:

containsObjectPropertyInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLObjectProperty to check for

Returns:

true if the signature or the import closure contains an object property with the specified IRI.

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI iri)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLDataProperty that has the specified IRI.

Specified by:

containsDataPropertyInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLDataProperty to check for

Returns:

true if the signature or the import closure contains a data property with the specified IRI.

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI iri)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.

Specified by:

containsAnnotationPropertyInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLAnnotationProperty to check for

Returns:

true if the signature or the import closure contains an annotation property with the specified IRI.

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI iri)

Description copied from interface: OWLSignature

Determines if the signature contains an OWLNamedIndividual that has the specified IRI.

Specified by:

containsIndividualInSignature in interface OWLSignature

Parameters:

iri - The IRI of the OWLNamedIndividual to check for

Returns:

true if the signature or the import closure contains an individual with the specified IRI.

containsReference

public boolean containsReference(OWLEntity entity)

Specified by:

containsReference in interface OWLSignature

Parameters:

entity - entity to check

Returns:

true if entity is referenced