public class OWLOntologyImpl extends OWLObjectImpl implements OWLMutableOntology, java.io.Serializable
Modifier and Type | Class and Description |
---|---|
protected class |
OWLOntologyImpl.OWLOntologyChangeFilter |
Modifier and Type | Field and Description |
---|---|
protected Internals |
internals |
protected OWLOntologyID |
ontologyID |
Constructor and Description |
---|
OWLOntologyImpl(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLNamedObjectVisitor visitor) |
void |
accept(OWLObjectVisitor visitor) |
<O> O |
accept(OWLObjectVisitorEx<O> visitor) |
java.util.List<OWLOntologyChange> |
applyChange(OWLOntologyChange change) |
java.util.List<OWLOntologyChange> |
applyChanges(java.util.List<OWLOntologyChange> changes) |
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
containsAnnotationPropertyInSignature(IRI propIRI)
Determines if the signature of this ontology contains an OWLAnnotationProperty with the specified IRI.
|
boolean |
containsAnnotationPropertyInSignature(IRI propIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports
closure of this ontology, contains an OWLAnnotationProperty that has the specified IRI.
|
boolean |
containsAxiom(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.
|
boolean |
containsAxiom(OWLAxiom axiom,
boolean includeImportsClosure)
Determines if this ontology, and possibly the imports closure, contains
the specified axiom.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom, ignoring any
annotations on this axiom.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Determines if this ontology and possibly its imports closure contains the
specified axiom, ignoring any annotations on this axiom.
|
boolean |
containsClassInSignature(IRI owlClassIRI)
Determines if the signature of this ontology contains an OWLClass with the specified IRI.
|
boolean |
containsClassInSignature(IRI owlClassIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports
closure of this ontology, contains an OWLClass that has the specified IRI.
|
boolean |
containsDataPropertyInSignature(IRI propIRI)
Determines if the signature of this ontology contains an OWLDataProperty with the specified IRI.
|
boolean |
containsDataPropertyInSignature(IRI propIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports
closure of this ontology, contains an OWLDataProperty that has the specified IRI.
|
boolean |
containsDatatypeInSignature(IRI datatypeIRI)
Determines if the signature of this ontology contains an OWLDatatype with the specified IRI.
|
boolean |
containsDatatypeInSignature(IRI datatypeIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports
closure of this ontology, contains an OWLDatatype that has the specified IRI.
|
boolean |
containsEntityInSignature(IRI entityIRI)
Determines if the signature of this ontology contains a class, object property, data property, named individual,
annotation property or datatype with the specified IRI.
|
boolean |
containsEntityInSignature(IRI entityIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology and possibly its imports closure contains a class, object property,
data property, named individual, annotation property or datatype with the specified IRI.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity)
Determines if the signature of the ontology contains the specified entity.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity,
boolean includeImportsClosure)
Determines if the ontology, and possibly its imports closure, contains a
reference to the specified entity.
|
boolean |
containsIndividualInSignature(IRI individualIRI)
Determines if the signature of this ontology contains an OWLNamedIndividual with the specified IRI.
|
boolean |
containsIndividualInSignature(IRI individualIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports
closure of this ontology, contains an OWLNamedIndividual that has the specified IRI.
|
boolean |
containsObjectPropertyInSignature(IRI propIRI)
Determines if the signature of this ontology contains an OWLObjectProperty with the specified IRI.
|
boolean |
containsObjectPropertyInSignature(IRI propIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports
closure of this ontology, contains an OWLObjectProperty that has the specified IRI.
|
boolean |
containsReference(OWLAnnotationProperty property) |
boolean |
containsReference(OWLClass owlClass) |
boolean |
containsReference(OWLDataProperty prop) |
boolean |
containsReference(OWLDatatype dt) |
boolean |
containsReference(OWLNamedIndividual ind) |
boolean |
containsReference(OWLObjectProperty prop) |
boolean |
equals(java.lang.Object obj) |
java.util.Set<OWLAxiom> |
getABoxAxioms(boolean includeImportsClosure)
Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes
|
java.util.Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject subject)
Gets the axioms that annotate the specified entity.
|
java.util.Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature()
Gets the annotation properties that are in the signature of this ontology.
|
java.util.Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyDomainAxiom s where the specified property is the property
in the domain axiom. |
java.util.Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyRangeAxiom s where the specified property is the property
in the range axiom. |
java.util.Set<OWLAnnotation> |
getAnnotations()
Gets the annotations on this ontology.
|
java.util.Set<OWLAnonymousIndividual> |
getAnonymousIndividuals()
Gets the anonymous individuals occurring in this object, as collected by an
OWLEntityCollector.
|
java.util.Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxiom s contained in this ontology that
make the specified object property asymmetric. |
int |
getAxiomCount()
Gets the number of axioms in this ontology.
|
<T extends OWLAxiom> |
getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom
|
<T extends OWLAxiom> |
getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure)
Gets the axiom count of a specific type of axiom, possibly in the imports
closure of this ontology
|
java.util.Set<OWLAxiom> |
getAxioms()
Retrieves all of the axioms in this ontology.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure)
Gets the axioms which are of the specified type, possibly from the
imports closure of this ontology
|
java.util.Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty prop)
Gets the axioms that form the definition/description of an annotation property.
|
java.util.Set<OWLClassAxiom> |
getAxioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
java.util.Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty prop)
Gets the axioms that form the definition/description of a data property.
|
java.util.Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype datatype)
Gets the datatype definition axioms for the specified datatype
|
java.util.Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual
|
java.util.Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression prop)
Gets the axioms that form the definition/description of an object property.
|
java.util.Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms that have the same "logical structure" as the
specified axiom.
|
java.util.Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Gets the set of axioms that have the same "logical structure" as the
specified axiom, possibly searching the imports closure of this ontology.
|
java.util.Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClassExpression type)
Gets the
OWLClassAssertionAxiom s contained in this ontology that make the
specified class expression, ce , a type for some individual. |
java.util.Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxiom s contained in this ontology that
make the specified individual an instance of some class expression. |
java.util.Set<OWLClass> |
getClassesInSignature()
A convenience method that obtains the classes
that are in the signature of this object
|
java.util.Set<OWLClass> |
getClassesInSignature(boolean includeImportsClosure)
Gets the classes that are referenced by axioms in this ontology, and
possibly the imports closure of this ontology.
|
java.util.Set<OWLDataProperty> |
getDataPropertiesInSignature()
A convenience method that obtains the data properties
that are in the signature of this object
|
java.util.Set<OWLDataProperty> |
getDataPropertiesInSignature(boolean includeImportsClosure)
Gets the data properties that are referenced by axioms in this ontology,
and possibly the imports closure of this ontology.
|
java.util.Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxiom s contained in this ontology that
have the specified individual as the subject of the axiom. |
java.util.Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxiom s where the property (returned by
OWLUnaryPropertyAxiom.getProperty() ) is equal to the specified property. |
java.util.Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxiom s where the property (returned by
OWLUnaryPropertyAxiom.getProperty() ) is equal to the
specified property. |
java.util.Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
Gets the
OWLSubDataPropertyOfAxiom s where the sub-property is equal to the specified property. |
java.util.Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
Gets the
OWLSubDataPropertyOfAxiom s where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty() ) is equal to the specified property. |
java.util.Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype datatype)
Gets the
OWLDatatypeDefinitionAxiom s contained in this ontology that provide
a definition for the specified datatype. |
java.util.Set<OWLDatatype> |
getDatatypesInSignature()
A convenience method that obtains the datatypes that are in the signature
of this object
|
java.util.Set<OWLDatatype> |
getDatatypesInSignature(boolean includeImportsClosure)
Gets the datatypes that are referenced by this ontology and possibly its
imports closure
|
java.util.Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity entity)
Gets the declaration axioms for specified entity.
|
java.util.Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxiom s contained in this ontology that make
the specified individual different to some other individual. |
java.util.Set<OWLOntology> |
getDirectImports()
Gets the ontologies that are directly imported by this ontology.
|
java.util.Set<IRI> |
getDirectImportsDocuments()
Gets the set of IRIs corresponding to the IRIs of the ontology documents
that are directly imported by this ontology.
|
java.util.Set<OWLDisjointClassesAxiom> |
getDisjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as an operand.
|
java.util.Set<OWLDisjointDataPropertiesAxiom> |
getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxiom s that make the specified property
disjoint with some other data property expression(s). |
java.util.Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxiom s that make the specified property
disjoint with some other object property expression(s). |
java.util.Set<OWLDisjointUnionAxiom> |
getDisjointUnionAxioms(OWLClass owlClass)
Gets the set of disjoint union axioms that have the specified class as the named class that is equivalent to the
disjoint union of operands.
|
java.util.Set<OWLEntity> |
getEntitiesInSignature(IRI iri)
Gets the entities in the signature of this ontology that have the
specified IRI
|
java.util.Set<OWLEntity> |
getEntitiesInSignature(IRI iri,
boolean includeImportsClosure)
Gets the entities in the signature of this ontology, and possibly its
imports closure, that have the specified IRI
|
java.util.Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
|
java.util.Set<OWLEquivalentDataPropertiesAxiom> |
getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxiom s that make the specified property
equivalent to some other data property expression(s). |
java.util.Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxiom s that make the specified property
equivalent to some other object property expression(s). |
java.util.Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the
OWLFunctionalDataPropertyAxiom s contained in this ontology that
make the specified data property functional. |
java.util.Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxiom s contained in this ontology that
make the specified object property functional. |
java.util.Set<OWLClassAxiom> |
getGeneralClassAxioms()
Gets the set of general axioms in this ontology.
|
java.util.Set<OWLHasKeyAxiom> |
getHasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
java.util.Set<OWLOntology> |
getImports()
Gets the set of loaded ontologies that this ontology is related to via the
transitive closure of the directlyImports relation.
|
java.util.Set<OWLOntology> |
getImportsClosure()
Gets the set of loaded ontologies that this ontology is related to via the
reflexive transitive closure of the directlyImports relation
as defined in Section 3.4 of the OWL 2 Structural Specification.
|
java.util.Set<OWLImportsDeclaration> |
getImportsDeclarations()
Gets the set of imports declarations for this ontology.
|
java.util.Set<OWLNamedIndividual> |
getIndividualsInSignature()
A convenience method that obtains the individuals
that are in the signature of this object
|
java.util.Set<OWLNamedIndividual> |
getIndividualsInSignature(boolean includeImportsClosure)
Gets the named individuals that are referenced by axioms in this
ontology, and possibly the imports closure of this ontology.
|
java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom s contained in this ontology that
make the specified object property inverse functional. |
java.util.Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxiom s where the specified property
is contained in the set returned by OWLNaryPropertyAxiom.getProperties() . |
java.util.Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxiom s contained in this ontology that
make the specified object property irreflexive. |
int |
getLogicalAxiomCount()
Gets the number of logical axioms in this ontology.
|
java.util.Set<OWLLogicalAxiom> |
getLogicalAxioms()
Gets all of the axioms in the ontology that affect the logical meaning of the ontology.
|
java.util.Set<OWLNegativeDataPropertyAssertionAxiom> |
getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom s contained in this ontology that
have the specified individual as the subject of the axiom. |
java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> |
getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom s contained in this ontology that
have the specified individual as the subject of the axiom. |
java.util.Set<OWLObjectProperty> |
getObjectPropertiesInSignature()
A convenience method that obtains the object properties
that are in the signature of this object
|
java.util.Set<OWLObjectProperty> |
getObjectPropertiesInSignature(boolean includeImportsClosure)
Gets the object properties that are referenced by axioms in this
ontology, and possibly the imports closure of this ontology.
|
java.util.Set<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom s contained in this ontology that
have the specified individual as the subject of the axiom. |
java.util.Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxiom s where the property (returned by
OWLUnaryPropertyAxiom.getProperty() ) is equal to the specified property. |
java.util.Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom s where the property (returned by
OWLUnaryPropertyAxiom.getProperty() ) is equal to the
specified property. |
java.util.Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
Gets the
OWLSubObjectPropertyOfAxiom s where the sub-property is equal to the specified property. |
java.util.Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
Gets the
OWLSubObjectPropertyOfAxiom s where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty() ) is equal to the specified property. |
OWLOntologyID |
getOntologyID()
Gets the identity of this ontology (i.e.
|
OWLOntologyManager |
getOWLOntologyManager()
Gets the manager that created this ontology.
|
java.util.Set<OWLAxiom> |
getRBoxAxioms(boolean includeImportsClosure)
Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes
|
java.util.Set<OWLAnnotationProperty> |
getReferencedAnnotationProperties(boolean includeImportsClosure)
Deprecated.
|
java.util.Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals()
Gets the referenced anonymous individuals
|
java.util.Set<OWLNamedObject> |
getReferencedObjects()
Deprecated.
|
java.util.Set<OWLAxiom> |
getReferencingAxioms(OWLAnonymousIndividual individual)
Gets the axioms that reference the specified anonymous individual
|
java.util.Set<OWLAxiom> |
getReferencingAxioms(OWLEntity owlEntity)
Gets the axioms where the specified entity appears in the signature of the axiom.
|
java.util.Set<OWLAxiom> |
getReferencingAxioms(OWLEntity owlEntity,
boolean includeImportsClosure)
Gets the axioms where the specified entity appears in the signature of the axiom.
|
java.util.Set<OWLReflexiveObjectPropertyAxiom> |
getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxiom s contained in this ontology that
make the specified object property reflexive. |
java.util.Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxiom s contained in this ontology that make
the specified individual the same as some other individual. |
java.util.Set<OWLEntity> |
getSignature()
Gets the signature of this object
|
java.util.Set<OWLEntity> |
getSignature(boolean includeImportsClosure)
Gets the entities that are in the signature of this ontology.
|
java.util.Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the
SubAnnotationPropertyOfAxiom s where the specified property is the sub-property. |
java.util.Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
|
java.util.Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
|
java.util.Set<OWLSymmetricObjectPropertyAxiom> |
getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxiom s contained in this ontology that
make the specified object property symmetric. |
java.util.Set<OWLAxiom> |
getTBoxAxioms(boolean includeImportsClosure)
Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes
|
java.util.Set<OWLTransitiveObjectPropertyAxiom> |
getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom s contained in this ontology that
make the specified object property transitive. |
int |
hashCode() |
boolean |
isAnonymous()
Determines whether or not this ontology is anonymous.
|
boolean |
isDeclared(OWLEntity entity)
Determines if this ontology declares an entity i.e.
|
boolean |
isDeclared(OWLEntity owlEntity,
boolean includeImportsClosure)
Determines if this ontology or its imports closure declares an entity i.e.
|
boolean |
isEmpty()
Determines if this ontology is empty - an ontology is empty if it does not contain
any axioms (i.e.
|
java.lang.String |
toString() |
compareLists, compareSets, compareTo, getNestedClassExpressions, getOWLDataFactory, isBottomEntity, isTopEntity, setOWLDataFactory
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getNestedClassExpressions, isBottomEntity, isTopEntity
protected OWLOntologyID ontologyID
protected Internals internals
public OWLOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)
public java.lang.String toString()
toString
in class OWLObjectImpl
public OWLOntologyManager getOWLOntologyManager()
OWLOntology
getOWLOntologyManager
in interface OWLOntology
public OWLOntologyID getOntologyID()
OWLOntology
getOntologyID
in interface OWLOntology
public boolean isAnonymous()
OWLOntology
isAnonymous
in interface OWLOntology
true
if this ontology is anonymous, otherwise false
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl
public boolean isEmpty()
OWLOntology
OWLOntology.getAxioms()
returns the empty set), and it does not have any annotations (i.e.
OWLOntology.getAnnotations()
returns the empty set).isEmpty
in interface OWLOntology
true
if the ontology is empty, otherwise false
.public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure)
getAxiomCount
in interface OWLOntology
axiomType
- The type of axiom to countincludeImportsClosure
- Specifies that the imports closure should be included when
counting axiomspublic boolean containsAxiom(OWLAxiom axiom)
OWLOntology
containsAxiom
in interface OWLOntology
axiom
- The axiom to test for.true
if the ontology contains the specified axioms, or false
if the ontology
doesn't contain the specified axiom.public int getAxiomCount()
OWLOntology
getAxiomCount
in interface OWLOntology
public java.util.Set<OWLAxiom> getAxioms()
OWLOntology
getAxioms
in interface OWLOntology
containsAxiom
method is used to determine whether or not this ontology
contains a particular axiom rather than using getAxioms().contains().public <T extends OWLAxiom> java.util.Set<T> getAxioms(AxiomType<T> axiomType)
OWLOntology
getAxioms
in interface OWLOntology
axiomType
- The type of axioms to be retrived.public <T extends OWLAxiom> java.util.Set<T> getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure)
getAxioms
in interface OWLOntology
axiomType
- The type of axioms to be retrived.includeImportsClosure
- if true
then axioms of the specified type will
also be retrieved from the imports closure of this ontology,
if false
then axioms of the specified type will
only be retrieved from this ontology.public java.util.Set<OWLAxiom> getTBoxAxioms(boolean includeImportsClosure)
OWLOntology
getTBoxAxioms
in interface OWLOntology
includeImportsClosure
- if true
then axioms of the specified type will also be retrieved from
the imports closure of this ontology, if false
then axioms of the specified type will only
be retrieved from this ontology.public java.util.Set<OWLAxiom> getABoxAxioms(boolean includeImportsClosure)
OWLOntology
getABoxAxioms
in interface OWLOntology
includeImportsClosure
- if true
then axioms of the specified type will also be retrieved from
the imports closure of this ontology, if false
then axioms of the specified type will only
be retrieved from this ontology.public java.util.Set<OWLAxiom> getRBoxAxioms(boolean includeImportsClosure)
OWLOntology
getRBoxAxioms
in interface OWLOntology
includeImportsClosure
- if true
then axioms of the specified type will also be retrieved from
the imports closure of this ontology, if false
then axioms of the specified type will only
be retrieved from this ontology.public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
OWLOntology
getAxiomCount
in interface OWLOntology
axiomType
- The type of axiom to countpublic java.util.Set<OWLLogicalAxiom> getLogicalAxioms()
OWLOntology
getLogicalAxioms
in interface OWLOntology
OWLLogicalAxiom
The set that is returned is a copy of
the axioms in the ontology - it will not be updated if the ontology changes.public int getLogicalAxiomCount()
OWLOntology
getLogicalAxiomCount
in interface OWLOntology
public java.util.Set<OWLAnnotation> getAnnotations()
OWLOntology
getAnnotations
in interface OWLOntology
public java.util.Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity entity)
OWLOntology
getDeclarationAxioms
in interface OWLOntology
entity
- The entity that is the subject of the set of returned axioms.public java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject subject)
OWLOntology
getAnnotationAssertionAxioms
in interface OWLOntology
subject
- The entity whose annotations are to be retrieved.public java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
OWLOntology
OWLClass
es)OWLClass
es)getGeneralClassAxioms
in interface OWLOntology
public boolean containsAxiom(OWLAxiom axiom, boolean includeImportsClosure)
containsAxiom
in interface OWLOntology
axiom
- The axiom to test for.includeImportsClosure
- if true
the imports closure of this ontology will
be searched for the specific axiom, if false
just
this ontology will be searched.true
if the ontology contains the specified axioms,
or false
if the ontology doesn't contain the
specified axiom.public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)
containsAxiomIgnoreAnnotations
in interface OWLOntology
axiom
- The axiom to test for.true
if this ontology contains this axiom with or
without annotations.public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
containsAxiomIgnoreAnnotations
in interface OWLOntology
axiom
- The axiom to test for.includeImportsClosure
- if true
the imports closure of this ontology will
be searched for the specified axiom. If false
only this ontology will be searched for the specifed axiom.true
if this ontology contains this axiom with or
without annotations.public java.util.Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom)
getAxiomsIgnoreAnnotations
in interface OWLOntology
axiom
- The axiom that specifies the logical structure of the axioms
to retrieveaxiomA
and axiomB
in the set,
axiomA.getAxiomWithoutAnnotations()
is equal to
axiomB.getAxiomWithoutAnnotations()
. The specified
axiom will be contained in the set.public java.util.Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
getAxiomsIgnoreAnnotations
in interface OWLOntology
axiom
- The axiom that specifies the logical structure of the axioms
to retrieve. If this axiom is annotated then the annotations
are ignored.includeImportsClosure
- if true
then axioms in the imports closure of
this ontology are returned, if false
only axioms
in this ontology will be returned.axiomA
and axiomB
in the set,
axiomA.getAxiomWithoutAnnotations()
is equal to
axiomB.getAxiomWithoutAnnotations()
. The specified
axiom will be contained in the set.public boolean containsClassInSignature(IRI owlClassIRI)
OWLOntology
containsClassInSignature
in interface OWLOntology
owlClassIRI
- The IRI of the OWLClass to check for.true
if the signature of this ontology contains an OWLClass that has owlClassIRI
as
its IRI, otherwise false
.public boolean containsClassInSignature(IRI owlClassIRI, boolean includeImportsClosure)
OWLOntology
containsClassInSignature
in interface OWLOntology
owlClassIRI
- The IRI of the class to check forincludeImportsClosure
- true
if the signature of the ontologies in the imports closure of this
ontology should be checked, false
if just the signature of this ontology should be chekced.includeImportsClosure=true
then returns true
if there is an OWLClass with
owlClassIRI
as its IRI in the signature of at least one ontology in the imports clousre of this ontology
and false
if this is not the case. If includeImportsClosure=false
then returns true
if the signature of this ontology contains an OWLClass that has owlClassIRI
as its IRI and false
if the signature of this ontology does not contain a class with owlClassIRI
as its IRI.public boolean containsObjectPropertyInSignature(IRI propIRI)
OWLOntology
containsObjectPropertyInSignature
in interface OWLOntology
propIRI
- The IRI of the OWLObjectProperty to check for.true
if the signature of this ontology contains an OWLObjectProperty that has owlObjectPropertyIRI
as
its IRI, otherwise false
.public boolean containsObjectPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
OWLOntology
containsObjectPropertyInSignature
in interface OWLOntology
propIRI
- The IRI of the OWLObjectProperty to check forincludeImportsClosure
- true
if the signature of the ontologies in the imports closure of this
ontology should be checked, false
if just the signature of this ontology should be chekced.includeImportsClosure=true
then returns true
if there is an OWLObjectProperty with
owlObjectPropertyIRI
as its IRI in the signature of at least one ontology in the imports clousre of this ontology
and false
if this is not the case. If includeImportsClosure=false
then returns true
if the signature of this ontology contains an OWLObjectProperty that has owlObjectPropertyIRI
as its IRI and false
if the signature of this ontology does not contain a class with owlObjectPropertyIRI
as its IRI.public boolean containsDataPropertyInSignature(IRI propIRI)
OWLOntology
containsDataPropertyInSignature
in interface OWLOntology
propIRI
- The IRI of the OWLDataProperty to check for.true
if the signature of this ontology contains an OWLDataProperty that has owlDataPropertyIRI
as
its IRI, otherwise false
.public boolean containsDataPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
OWLOntology
containsDataPropertyInSignature
in interface OWLOntology
propIRI
- The IRI of the OWLDataProperty to check forincludeImportsClosure
- true
if the signature of the ontologies in the imports closure of this
ontology should be checked, false
if just the signature of this ontology should be chekced.includeImportsClosure=true
then returns true
if there is an OWLDataProperty with
owlDataPropertyIRI
as its IRI in the signature of at least one ontology in the imports clousre of this ontology
and false
if this is not the case. If includeImportsClosure=false
then returns true
if the signature of this ontology contains an OWLDataProperty that has owlDataPropertyIRI
as its IRI and false
if the signature of this ontology does not contain a class with owlDataPropertyIRI
as its IRI.public boolean containsAnnotationPropertyInSignature(IRI propIRI)
OWLOntology
containsAnnotationPropertyInSignature
in interface OWLOntology
propIRI
- The IRI of the OWLAnnotationProperty to check for.true
if the signature of this ontology contains an OWLAnnotationProperty that has owlAnnotationPropertyIRI
as
its IRI, otherwise false
.public boolean containsAnnotationPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
OWLOntology
containsAnnotationPropertyInSignature
in interface OWLOntology
propIRI
- The IRI of the OWLAnnotationProperty to check forincludeImportsClosure
- true
if the signature of the ontologies in the imports closure of this
ontology should be checked, false
if just the signature of this ontology should be chekced.includeImportsClosure=true
then returns true
if there is an OWLAnnotationProperty with
owlAnnotationPropertyIRI
as its IRI in the signature of at least one ontology in the imports clousre of this ontology
and false
if this is not the case. If includeImportsClosure=false
then returns true
if the signature of this ontology contains an OWLAnnotationProperty that has owlAnnotationPropertyIRI
as its IRI and false
if the signature of this ontology does not contain a class with owlAnnotationPropertyIRI
as its IRI.public boolean containsIndividualInSignature(IRI individualIRI)
OWLOntology
containsIndividualInSignature
in interface OWLOntology
individualIRI
- The IRI of the OWLNamedIndividual to check for.true
if the signature of this ontology contains an OWLNamedIndividual that has owlIndividualIRI
as
its IRI, otherwise false
.public boolean containsIndividualInSignature(IRI individualIRI, boolean includeImportsClosure)
OWLOntology
containsIndividualInSignature
in interface OWLOntology
individualIRI
- The IRI of the OWLNamedIndividual to check forincludeImportsClosure
- true
if the signature of the ontologies in the imports closure of this
ontology should be checked, false
if just the signature of this ontology should be chekced.includeImportsClosure=true
then returns true
if there is an OWLNamedIndividual with
owlIndividualIRI
as its IRI in the signature of at least one ontology in the imports closure of this ontology
and false
if this is not the case. If includeImportsClosure=false
then returns true
if the signature of this ontology contains an OWLNamedIndividual that has owlIndividualIRI
as its IRI and false
if the signature of this ontology does not contain a class with owlIndividualIRI
as its IRI.public boolean containsDatatypeInSignature(IRI datatypeIRI)
OWLOntology
containsDatatypeInSignature
in interface OWLOntology
datatypeIRI
- The IRI of the OWLDatatype to check for.true
if the signature of this ontology contains an OWLDatatype that has owlDatatypeIRI
as
its IRI, otherwise false
.public boolean containsDatatypeInSignature(IRI datatypeIRI, boolean includeImportsClosure)
OWLOntology
containsDatatypeInSignature
in interface OWLOntology
datatypeIRI
- The IRI of the OWLDatatype to check forincludeImportsClosure
- true
if the signature of the ontologies in the imports closure of this
ontology should be checked, false
if just the signature of this ontology should be chekced.includeImportsClosure=true
then returns true
if there is an OWLDatatype with
owlDatatypeIRI
as its IRI in the signature of at least one ontology in the imports closure of this ontology
and false
if this is not the case. If includeImportsClosure=false
then returns true
if the signature of this ontology contains an OWLDatatype that has owlDatatypeIRI
as its IRI and false
if the signature of this ontology does not contain a class with owlDatatypeIRI
as its IRI.public java.util.Set<OWLEntity> getEntitiesInSignature(IRI iri)
getEntitiesInSignature
in interface OWLOntology
iri
- The IRIpublic java.util.Set<OWLEntity> getEntitiesInSignature(IRI iri, boolean includeImportsClosure)
getEntitiesInSignature
in interface OWLOntology
iri
- The IRIincludeImportsClosure
- Specifies if the imports closure signature should be taken
into accountpublic boolean containsReference(OWLClass owlClass)
public boolean containsReference(OWLObjectProperty prop)
public boolean containsReference(OWLDataProperty prop)
public boolean containsReference(OWLNamedIndividual ind)
public boolean containsReference(OWLDatatype dt)
public boolean containsReference(OWLAnnotationProperty property)
public boolean isDeclared(OWLEntity entity)
OWLOntology
isDeclared
in interface OWLOntology
entity
- The entity to be tested fortrue
if the ontology contains a declaration for the specified entity, otherwise
false
.public java.util.Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
OWLOntology
OWLDatatypeDefinitionAxiom
s contained in this ontology that provide
a definition for the specified datatype.getDatatypeDefinitions
in interface OWLOntology
datatype
- The datatype for which the returned axioms provide a definition.OWLDatatypeDefinitionAxiom
s such that for each axiom in the
set OWLDatatypeDefinitionAxiom.getDatatype()
is equal to datatype
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
OWLOntology
SubAnnotationPropertyOfAxiom
s where the specified property is the sub-property.getSubAnnotationPropertyOfAxioms
in interface OWLOntology
subProperty
- The sub-property of the axioms to be retrieved.OWLSubAnnotationPropertyOfAxiom
s such that the sub-property is equal
to subProperty
.public java.util.Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
OWLOntology
OWLAnnotationPropertyDomainAxiom
s where the specified property is the property
in the domain axiom.getAnnotationPropertyDomainAxioms
in interface OWLOntology
property
- The property that the axiom specifies a domain for.OWLAnnotationPropertyDomainAxiom
s such that the property is equal
to property
.public java.util.Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
OWLOntology
OWLAnnotationPropertyRangeAxiom
s where the specified property is the property
in the range axiom.getAnnotationPropertyRangeAxioms
in interface OWLOntology
property
- The property that the axiom specifies a range for.OWLAnnotationPropertyRangeAxiom
s such that the property is equal
to property
.public boolean isDeclared(OWLEntity owlEntity, boolean includeImportsClosure)
OWLOntology
isDeclared
in interface OWLOntology
owlEntity
- The entity to be tested forincludeImportsClosure
- true
if the imports closure of this ontology should be examined,
false
if just this ontology should be examined.true
if the ontology or its imports closure contains a declaration for the specified entity, otherwise
false
.public boolean containsEntityInSignature(OWLEntity owlEntity)
OWLOntology
containsEntityInSignature
in interface OWLOntology
owlEntity
- The entitytrue
if the signature of this ontology contains owlEntity
, otherwise
false
.public boolean containsEntityInSignature(OWLEntity owlEntity, boolean includeImportsClosure)
containsEntityInSignature
in interface OWLOntology
owlEntity
- The entityincludeImportsClosure
- Specifies whether the imports closure should be examined for
the entity reference or not.true
if the ontology contains a reference to the
specified entity, otherwise false
The set that is
returned is a copy - it will not be updated if the ontology
changes. It is therefore safe to apply changes to this ontology
while iterating over this set.public boolean containsEntityInSignature(IRI entityIRI)
OWLOntology
containsEntityInSignature
in interface OWLOntology
entityIRI
- The IRI to test for.true
if the signature of this ontology contains a class, object property, data property,
named individual, annotation property or datatype with the specified IRI.public boolean containsEntityInSignature(IRI entityIRI, boolean includeImportsClosure)
OWLOntology
containsEntityInSignature
in interface OWLOntology
entityIRI
- The IRI to test for.includeImportsClosure
- Specifies whether the imports closure of this ontology should be examined or not.includeImportsClosure=true
then returns
true
if the signature of this ontology or the signature of an ontology in the imports closure of this
ontology contains a class, object property, data property,
named individual, annotation property or datatype with the specified IRI. If includeImportsClosure=false
then returns true
if the signature of this ontology contains a class, object property, data property,
named individual, annotation property or datatype with the specified IRI.public java.util.Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity)
OWLOntology
getReferencingAxioms
in interface OWLOntology
owlEntity
- The entity that should be directly referred to by an axiom that appears in the results set.public java.util.Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity, boolean includeImportsClosure)
OWLOntology
getReferencingAxioms
in interface OWLOntology
owlEntity
- The entity that should be directly referred to by an axiom that appears in the results set.includeImportsClosure
- Specifies if the axioms returned should just be from this ontology, or from the
imports closure of this ontology. If true
the axioms returned will be from the imports closure
of this ontology, if false
the axioms returned will just be from this ontology.public java.util.Set<OWLAxiom> getReferencingAxioms(OWLAnonymousIndividual individual)
OWLOntology
getReferencingAxioms
in interface OWLOntology
individual
- The individualpublic java.util.Set<OWLClassAxiom> getAxioms(OWLClass cls)
OWLOntology
getAxioms
in interface OWLOntology
cls
- The class whose describing axioms are to be retrieved.public java.util.Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression prop)
OWLOntology
getAxioms
in interface OWLOntology
prop
- The property whose defining axioms are to be retrieved.public java.util.Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty prop)
OWLOntology
getAxioms
in interface OWLOntology
prop
- The property whose definition axioms are to be retrievedpublic java.util.Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty prop)
OWLOntology
getAxioms
in interface OWLOntology
prop
- The property whose defining axioms are to be retrieved.public java.util.Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)
OWLOntology
getAxioms
in interface OWLOntology
individual
- The individual whose defining axioms are to be retrieved.public java.util.Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)
OWLOntology
getAxioms
in interface OWLOntology
datatype
- The datatype@Deprecated public java.util.Set<OWLNamedObject> getReferencedObjects()
public java.util.Set<OWLEntity> getSignature()
OWLObject
getSignature
in interface OWLObject
getSignature
in interface OWLOntology
getSignature
in class OWLObjectImpl
OWLOntology.getClassesInSignature()
,
OWLOntology.getObjectPropertiesInSignature()
,
OWLOntology.getDataPropertiesInSignature()
,
OWLOntology.getIndividualsInSignature()
public java.util.Set<OWLEntity> getSignature(boolean includeImportsClosure)
OWLOntology
getSignature
in interface OWLOntology
includeImportsClosure
- Specifies whether or not the returned set of entities should represent the signature
of just this ontology, or the signature of the imports closure of this ontology.OWLEntity
objects. The set that is returned is a copy - it will not be updated if
the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this
set.OWLOntology.getClassesInSignature()
,
OWLOntology.getObjectPropertiesInSignature()
,
OWLOntology.getDataPropertiesInSignature()
,
OWLOntology.getIndividualsInSignature()
public java.util.Set<OWLAnonymousIndividual> getAnonymousIndividuals()
OWLObject
getAnonymousIndividuals
in interface OWLObject
getAnonymousIndividuals
in class OWLObjectImpl
public java.util.Set<OWLClass> getClassesInSignature()
OWLObject
getClassesInSignature
in interface OWLObject
getClassesInSignature
in interface OWLOntology
getClassesInSignature
in class OWLObjectImpl
OWLOntology.getSignature()
public java.util.Set<OWLDataProperty> getDataPropertiesInSignature()
OWLObject
getDataPropertiesInSignature
in interface OWLObject
getDataPropertiesInSignature
in interface OWLOntology
getDataPropertiesInSignature
in class OWLObjectImpl
OWLOntology.getSignature()
public java.util.Set<OWLObjectProperty> getObjectPropertiesInSignature()
OWLObject
getObjectPropertiesInSignature
in interface OWLObject
getObjectPropertiesInSignature
in interface OWLOntology
getObjectPropertiesInSignature
in class OWLObjectImpl
OWLOntology.getSignature()
public java.util.Set<OWLNamedIndividual> getIndividualsInSignature()
OWLObject
getIndividualsInSignature
in interface OWLObject
getIndividualsInSignature
in interface OWLOntology
getIndividualsInSignature
in class OWLObjectImpl
OWLOntology.getSignature()
public java.util.Set<OWLDatatype> getDatatypesInSignature()
getDatatypesInSignature
in interface OWLObject
getDatatypesInSignature
in interface OWLOntology
getDatatypesInSignature
in class OWLObjectImpl
OWLOntology.getSignature()
public java.util.Set<OWLClass> getClassesInSignature(boolean includeImportsClosure)
getClassesInSignature
in interface OWLOntology
includeImportsClosure
- Specifies whether referenced classes should be drawn from this
ontology or the imports closure. If true
then the
set of referenced classes will be from the imports closure of
this ontology, if false
then the set of
referenced classes will just be from this ontology.public java.util.Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean includeImportsClosure)
getObjectPropertiesInSignature
in interface OWLOntology
includeImportsClosure
- Specifies whether referenced object properties should be drawn
from this ontology or the imports closure. If
true
then the set of referenced object properties
will be from the imports closure of this ontology, if
false
then the set of referenced object
properties will just be from this ontology.public java.util.Set<OWLDataProperty> getDataPropertiesInSignature(boolean includeImportsClosure)
getDataPropertiesInSignature
in interface OWLOntology
includeImportsClosure
- Specifies whether referenced data properties should be drawn
from this ontology or the imports closure. If
true
then the set of referenced data properties
will be from the imports closure of this ontology, if
false
then the set of referenced data properties
will just be from this ontology.public java.util.Set<OWLNamedIndividual> getIndividualsInSignature(boolean includeImportsClosure)
getIndividualsInSignature
in interface OWLOntology
includeImportsClosure
- Specifies whether referenced named individuals should be drawn
from this ontology or the imports closure. If
true
then the set of referenced named individuals
will be from the imports closure of this ontology, if
false
then the set of referenced named
individuals will just be from this ontology.OWLOntology.getSignature()
public java.util.Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
getReferencedAnonymousIndividuals
in interface OWLOntology
public java.util.Set<OWLDatatype> getDatatypesInSignature(boolean includeImportsClosure)
getDatatypesInSignature
in interface OWLOntology
includeImportsClosure
- Specifies whether referenced named individuals should be drawn
from this ontology or the imports closure of this ontology. If
true
then the set of referenced named individuals
will be from the imports closure of this ontology, if
false
then the set of referenced named
individuals will just be from this ontology.OWLOntology.getSignature()
public java.util.Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
OWLOntology
getAnnotationPropertiesInSignature
in interface OWLOntology
OWLOntology.getSignature()
@Deprecated public java.util.Set<OWLAnnotationProperty> getReferencedAnnotationProperties(boolean includeImportsClosure)
public java.util.Set<OWLImportsDeclaration> getImportsDeclarations()
OWLOntology
getImportsDeclarations
in interface OWLOntology
public java.util.Set<IRI> getDirectImportsDocuments() throws UnknownOWLOntologyException
getDirectImportsDocuments
in interface OWLOntology
UnknownOWLOntologyException
- If this ontology is no longer managed by its manager because
it was removed from the manager.public java.util.Set<OWLOntology> getImports() throws UnknownOWLOntologyException
OWLOntology
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.
getImports
in interface OWLOntology
UnknownOWLOntologyException
- if this ontology is no longer managed by its manager because it was removed
from the manager.public java.util.Set<OWLOntology> getDirectImports() throws UnknownOWLOntologyException
getDirectImports
in interface OWLOntology
UnknownOWLOntologyException
- If this ontology is no longer managed by its manager because
it was removed from the manager.public java.util.Set<OWLOntology> getImportsClosure() throws UnknownOWLOntologyException
OWLOntology
OWLOntology.getImports()
method plus this ontology.)
For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of this ontology, ontology B and ontology C.
getImportsClosure
in interface OWLOntology
UnknownOWLOntologyException
- If this ontology is no longer managed by its manager because it was removed
from the manager.public java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
OWLOntology
getSubClassAxiomsForSubClass
in interface OWLOntology
cls
- The class that is equal to the left hand side of the axiom (subclass).public java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
OWLOntology
getSubClassAxiomsForSuperClass
in interface OWLOntology
cls
- The classpublic java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
OWLOntology
getEquivalentClassesAxioms
in interface OWLOntology
cls
- The classpublic java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
OWLOntology
getDisjointClassesAxioms
in interface OWLOntology
cls
- The class that should be contained in the set of disjoint class axioms that will be returned.public java.util.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
OWLOntology
getDisjointUnionAxioms
in interface OWLOntology
owlClass
- The class that indexes the axioms to be retrieved.public java.util.Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
OWLOntology
getHasKeyAxioms
in interface OWLOntology
cls
- The subject of the has key axiomspublic java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
OWLOntology
OWLSubObjectPropertyOfAxiom
s where the sub-property is equal to the specified property.getObjectSubPropertyAxiomsForSubProperty
in interface OWLOntology
property
- The property which is equal to the sub property of the retrived axioms.OWLSubObjectPropertyOfAxiom
s such that each axiom in the set is of the form
SubObjectPropertyOf(subProperty, pe)
.
The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore
safe to apply changes to this ontology while iterating over this set.public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
OWLOntology
OWLSubObjectPropertyOfAxiom
s where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty()
) is equal to the specified property.getObjectSubPropertyAxiomsForSuperProperty
in interface OWLOntology
property
- The property which is equal to the super-property of the retrived axioms.OWLSubObjectPropertyOfAxiom
s such that each axiom in the set is of the form
SubObjectPropertyOf(pe, superProperty)
.
The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore
safe to apply changes to this ontology while iterating over this set.public java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLObjectPropertyDomainAxiom
s where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property.getObjectPropertyDomainAxioms
in interface OWLOntology
property
- The property which is equal to the property of the retrived axioms.OWLObjectPropertyDomainAxiom
s such that each axiom in the
set is of the form ObjectPropertyDomain(pe, ce)
. The set that is returned is a copy - it will not
be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over
this set.public java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLObjectPropertyRangeAxiom
s where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the
specified property.getObjectPropertyRangeAxioms
in interface OWLOntology
property
- The property which is equal to the property of the retieved axioms.OWLObjectPropertyRangeAxiom
s such that each axiom in the
set is of the form ObjectPropertyRange(property, ce)
. The set that is returned is a copy - it will not
be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over
this set.public java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLInverseObjectPropertiesAxiom
s where the specified property
is contained in the set returned by OWLNaryPropertyAxiom.getProperties()
.getInverseObjectPropertyAxioms
in interface OWLOntology
property
- The property which is equal to the property of the retrieved axioms.OWLInverseObjectPropertiesAxiom
s such that each axiom in the
set is of the form InverseObjectProperties(property, pe)
or InverseObjectProperties(pe, property)
.
The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLEquivalentObjectPropertiesAxiom
s that make the specified property
equivalent to some other object property expression(s).getEquivalentObjectPropertiesAxioms
in interface OWLOntology
property
- The property that the retrieved axioms make equivalent to some other property expressions. For each
axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties()
will
contain property.OWLEquivalentObjectPropertiesAxiom
s such that each axiom
in the set is of the form EquivalentObjectProperties(pe0, ..., property, ..., pen)
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLDisjointObjectPropertiesAxiom
s that make the specified property
disjoint with some other object property expression(s).getDisjointObjectPropertiesAxioms
in interface OWLOntology
property
- The property that the retrieved axioms makes disjoint to some other property expressions. For each
axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties()
will
contain property.OWLDisjointObjectPropertiesAxiom
s such that each axiom
in the set is of the form DisjointObjectProperties(pe0, ..., property, ..., pen)
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLFunctionalObjectPropertyAxiom
s contained in this ontology that
make the specified object property functional.getFunctionalObjectPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made functional by the axioms.OWLFunctionalObjectPropertyAxiom
s such that each axiom in the
set is of the form FunctionalObjectProperty(property)
.public java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLInverseFunctionalObjectPropertyAxiom
s contained in this ontology that
make the specified object property inverse functional.getInverseFunctionalObjectPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made inverse functional by the axioms.OWLFunctionalObjectPropertyAxiom
s such that each axiom in the
set is of the form InverseFunctionalObjectProperty(property)
.public java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLSymmetricObjectPropertyAxiom
s contained in this ontology that
make the specified object property symmetric.getSymmetricObjectPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made symmetric by the axioms.OWLSymmetricObjectPropertyAxiom
s such that each axiom in the
set is of the form SymmetricObjectProperty(property)
.public java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLAsymmetricObjectPropertyAxiom
s contained in this ontology that
make the specified object property asymmetric.getAsymmetricObjectPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made asymmetric by the axioms.OWLAsymmetricObjectPropertyAxiom
s such that each axiom in the
set is of the form AsymmetricObjectProperty(property)
.public java.util.Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLReflexiveObjectPropertyAxiom
s contained in this ontology that
make the specified object property reflexive.getReflexiveObjectPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made reflexive by the axioms.OWLReflexiveObjectPropertyAxiom
s such that each axiom in the
set is of the form ReflexiveObjectProperty(property)
.public java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLIrreflexiveObjectPropertyAxiom
s contained in this ontology that
make the specified object property irreflexive.getIrreflexiveObjectPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made irreflexive by the axioms.OWLIrreflexiveObjectPropertyAxiom
s such that each axiom in the
set is of the form IrreflexiveObjectProperty(property)
.public java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
OWLTransitiveObjectPropertyAxiom
s contained in this ontology that
make the specified object property transitive.getTransitiveObjectPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made transitive by the axioms.OWLTransitiveObjectPropertyAxiom
s such that each axiom in the
set is of the form TransitiveObjectProperty(property)
.public java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
OWLOntology
OWLFunctionalDataPropertyAxiom
s contained in this ontology that
make the specified data property functional.getFunctionalDataPropertyAxioms
in interface OWLOntology
property
- The property (returned by OWLUnaryPropertyAxiom.getProperty()
)
that is made functional by the axioms.OWLFunctionalDataPropertyAxiom
s such that each axiom in the
set is of the form FunctionalDataProperty(property)
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
OWLOntology
OWLSubDataPropertyOfAxiom
s where the sub-property is equal to the specified property.getDataSubPropertyAxiomsForSubProperty
in interface OWLOntology
lhsProperty
- The property which is equal to the sub property of the retrived axioms.OWLSubDataPropertyOfAxiom
s such that each axiom in the set is of the form
SubDataPropertyOf(subProperty, pe)
.
The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore
safe to apply changes to this ontology while iterating over this set.public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
OWLOntology
OWLSubDataPropertyOfAxiom
s where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty()
) is equal to the specified property.getDataSubPropertyAxiomsForSuperProperty
in interface OWLOntology
property
- The property which is equal to the super-property of the retrived axioms.OWLSubDataPropertyOfAxiom
s such that each axiom in the set is of the form
SubDataPropertyOf(pe, superProperty)
.
The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore
safe to apply changes to this ontology while iterating over this set.public java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
OWLOntology
OWLDataPropertyDomainAxiom
s where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property.getDataPropertyDomainAxioms
in interface OWLOntology
property
- The property which is equal to the property of the retrived axioms.OWLDataPropertyDomainAxiom
s such that each axiom in the
set is of the form DataPropertyDomain(pe, ce)
. The set that is returned is a copy - it will not
be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over
this set.public java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
OWLOntology
OWLDataPropertyRangeAxiom
s where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the
specified property.getDataPropertyRangeAxioms
in interface OWLOntology
property
- The property which is equal to the property of the retieved axioms.OWLDataPropertyRangeAxiom
s such that each axiom in the
set is of the form DataPropertyRange(property, ce)
. The set that is returned is a copy - it will not
be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over
this set.public java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
OWLOntology
OWLEquivalentDataPropertiesAxiom
s that make the specified property
equivalent to some other data property expression(s).getEquivalentDataPropertiesAxioms
in interface OWLOntology
property
- The property that the retrieved axioms make equivalent to some other property expressions. For each
axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties()
will
contain property.OWLEquivalentDataPropertiesAxiom
s such that each axiom
in the set is of the form EquivalentDataProperties(pe0, ..., property, ..., pen)
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
OWLOntology
OWLDisjointDataPropertiesAxiom
s that make the specified property
disjoint with some other data property expression(s).getDisjointDataPropertiesAxioms
in interface OWLOntology
property
- The property that the retrieved axioms makes disjoint to some other property expressions. For each
axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties()
will
contain property.OWLDisjointDataPropertiesAxiom
s such that each axiom
in the set is of the form DisjointDataProperties(pe0, ..., property, ..., pen)
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
OWLOntology
OWLClassAssertionAxiom
s contained in this ontology that
make the specified individual
an instance of some class expression.getClassAssertionAxioms
in interface OWLOntology
individual
- The individual that the returned axioms make an instance of some class expression.OWLClassAssertionAxiom
s such that each axiom in the set
is of the form ClassAssertion(ce, individual)
(for each axiom OWLClassAssertionAxiom.getIndividual()
is
equal to individual
). The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression type)
OWLOntology
OWLClassAssertionAxiom
s contained in this ontology that make the
specified class expression, ce
, a type for some individual.getClassAssertionAxioms
in interface OWLOntology
type
- The class expression that the returned axioms make a type for some individual.OWLClassAssertionAxiom
s such that each axiom in the set
is of the form ClassAssertion(ce, ind)
(for each axiom OWLClassAssertionAxiom.getClassExpression()
is
equal to ce
). The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
OWLOntology
OWLDataPropertyAssertionAxiom
s contained in this ontology that
have the specified individual
as the subject of the axiom.getDataPropertyAssertionAxioms
in interface OWLOntology
individual
- The individual that the returned axioms have as a subject.OWLDataPropertyAssertionAxiom
s such that each axiom in
the set is of the form DataPropertyAssertion(dp, individual, l)
(for each axiom OWLPropertyAssertionAxiom.getSubject()
is
equal to individual
). The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLOntology
OWLObjectPropertyAssertionAxiom
s contained in this ontology that
have the specified individual
as the subject of the axiom.getObjectPropertyAssertionAxioms
in interface OWLOntology
individual
- The individual that the returned axioms have as a subject.OWLObjectPropertyAssertionAxiom
s such that each axiom in
the set is of the form ObjectPropertyAssertion(dp, individual, obj)
(for each axiom OWLPropertyAssertionAxiom.getSubject()
is
equal to individual
). The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLOntology
OWLNegativeObjectPropertyAssertionAxiom
s contained in this ontology that
have the specified individual
as the subject of the axiom.getNegativeObjectPropertyAssertionAxioms
in interface OWLOntology
individual
- The individual that the returned axioms have as a subject.OWLNegativeObjectPropertyAssertionAxiom
s such that each axiom in
the set is of the form NegativeObjectPropertyAssertion(dp, individual, obj)
(for each axiom OWLPropertyAssertionAxiom.getSubject()
is
equal to individual
). The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
OWLOntology
OWLNegativeDataPropertyAssertionAxiom
s contained in this ontology that
have the specified individual
as the subject of the axiom.getNegativeDataPropertyAssertionAxioms
in interface OWLOntology
individual
- The individual that the returned axioms have as a subject.OWLNegativeDataPropertyAssertionAxiom
s such that each axiom in
the set is of the form NegativeDataPropertyAssertion(dp, individual, obj)
(for each axiom OWLPropertyAssertionAxiom.getSubject()
is
equal to individual
). The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
OWLOntology
OWLSameIndividualAxiom
s contained in this ontology that make
the specified individual
the same as some other individual.getSameIndividualAxioms
in interface OWLOntology
individual
- The individual that the returned axioms make the same as some other individual.OWLSameIndividualAxiom
s such that each axiom in the set
is of the form SameIndividual(individual, ind, ...)
(for each axiom returned OWLNaryIndividualAxiom.getIndividuals()
contains individual
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
OWLOntology
OWLDifferentIndividualsAxiom
s contained in this ontology that make
the specified individual
different to some other individual.getDifferentIndividualAxioms
in interface OWLOntology
individual
- The individual that the returned axioms make the different as some other individual.OWLDifferentIndividualsAxiom
s such that each axiom in the set
is of the form DifferentIndividuals(individual, ind, ...)
(for each axiom returned OWLNaryIndividualAxiom.getIndividuals()
contains individual
. The set that is
returned is a copy - it will not be updated if the ontology changes. It is therefore safe to
apply changes to this ontology while iterating over this set.public java.util.List<OWLOntologyChange> applyChange(OWLOntologyChange change)
applyChange
in interface OWLMutableOntology
change
- the change to applypublic java.util.List<OWLOntologyChange> applyChanges(java.util.List<OWLOntologyChange> changes)
applyChanges
in interface OWLMutableOntology
changes
- the changes to applypublic void accept(OWLObjectVisitor visitor)
public void accept(OWLNamedObjectVisitor visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
public boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl
public int hashCode()
hashCode
in class OWLObjectImpl