|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectuk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLOntologyImpl
public class OWLOntologyImpl
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date:
26-Oct-2006
Constructor Summary | |
---|---|
OWLOntologyImpl(OWLOntologyManager manager,
OWLOntologyID ontologyID)
|
Method Summary | ||
---|---|---|
void |
accept(OWLNamedObjectVisitor visitor)
|
|
void |
accept(OWLObjectVisitor visitor)
|
|
|
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 |
containsAnnotationPropertyReference(IRI propIRI)
Determines if the ontology contains a reference to an annotation property that has a specific IRI. |
|
boolean |
containsAnnotationPropertyReference(IRI propIRI,
boolean includeImportsClosure)
|
|
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 |
containsClassReference(IRI owlClassIRI)
Determines if the ontology contains a reference to a class that has a specific IRI. |
|
boolean |
containsClassReference(IRI owlClassIRI,
boolean includeImportsClosure)
|
|
boolean |
containsDataPropertyReference(IRI propIRI)
Determines if the ontology contains a reference to a data property that has a specific IRI. |
|
boolean |
containsDataPropertyReference(IRI propIRI,
boolean includeImportsClosure)
|
|
boolean |
containsDatatypeReference(IRI datatypeIRI)
|
|
boolean |
containsDatatypeReference(IRI datatypeIRI,
boolean includeImportsClosure)
|
|
boolean |
containsEntityReference(IRI entityIRI)
|
|
boolean |
containsEntityReference(IRI entityIRI,
boolean includeImportsClosure)
|
|
boolean |
containsEntityReference(OWLEntity owlEntity)
Determines if the ontology contains a reference to the specified entity. |
|
boolean |
containsEntityReference(OWLEntity owlEntity,
boolean includeImportsClosure)
Determines if the ontology, and possibly its imports closure, contains a reference to the specified entity. |
|
boolean |
containsIndividualReference(IRI individualIRI)
Determines if the ontology contains a reference to an individual that has a specific IRI. |
|
boolean |
containsIndividualReference(IRI individualIRI,
boolean includeImportsClosure)
|
|
boolean |
containsObjectPropertyReference(IRI propIRI)
Determines if the ontology contains a reference to an object property that has a specific IRI. |
|
boolean |
containsObjectPropertyReference(IRI propIRI,
boolean includeImportsClosure)
|
|
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<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(IRI subject)
|
|
java.util.Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject subject)
Gets the axioms that annotate the specified entity. |
|
java.util.Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
|
|
java.util.Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
|
|
java.util.Set<OWLAnnotation> |
getAnnotations()
Gets the annotations on this ontology. |
|
java.util.Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the axiom that states that this property is asymmetric. |
|
int |
getAxiomCount()
Gets the number of axioms in this ontology. |
|
|
getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom |
|
|
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. |
|
|
getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type. |
|
|
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<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClass type)
|
|
java.util.Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual individual)
|
|
java.util.Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual individual)
|
|
java.util.Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty property)
|
|
java.util.Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty property)
|
|
java.util.Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
|
|
java.util.Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
|
|
java.util.Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype datatype)
|
|
java.util.Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity entity)
Gets the declaration axioms for specified entity. |
|
java.util.Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual 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)
|
|
java.util.Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
|
|
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> |
getEntitiesWithIRI(IRI iri)
Gets the entities in the signature of this ontology that have the specified IRI |
|
java.util.Set<OWLEntity> |
getEntitiesWithIRI(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)
|
|
java.util.Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
|
|
java.util.Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
|
|
java.util.Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
|
|
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<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
|
|
java.util.Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
|
|
java.util.Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
|
|
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)
|
|
java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> |
getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
|
|
java.util.Set<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual individual)
|
|
java.util.Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
|
|
java.util.Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
|
|
java.util.Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
Gets the object property sub property axioms where the specified property is on the left hand side of the axiom. |
|
java.util.Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
|
|
OWLOntologyID |
getOntologyID()
Gets the identity of this ontology (i.e. |
|
OWLOntologyManager |
getOWLOntologyManager()
Gets the manager that created this ontology. |
|
java.util.Set<OWLSubPropertyChainOfAxiom> |
getPropertyChainSubPropertyAxioms()
|
|
java.util.Set<OWLAnnotationProperty> |
getReferencedAnnotationProperties()
|
|
java.util.Set<OWLAnnotationProperty> |
getReferencedAnnotationProperties(boolean includeImportsClosure)
|
|
java.util.Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals()
Gets the referenced anonymous individuals |
|
java.util.Set<OWLClass> |
getReferencedClasses()
Gets the classes that are referenced by axioms in this ontology. |
|
java.util.Set<OWLClass> |
getReferencedClasses(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> |
getReferencedDataProperties()
Gets the data properties that are referenced by axioms in this ontology. |
|
java.util.Set<OWLDataProperty> |
getReferencedDataProperties(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<OWLDatatype> |
getReferencedDatatypes()
Gets the datatypes that are referenced by this ontology |
|
java.util.Set<OWLDatatype> |
getReferencedDatatypes(boolean includeImportsClosure)
Gets the datatypes that are referenced by this ontology and possibly its imports closure |
|
java.util.Set<OWLEntity> |
getReferencedEntities()
Gets the entities that are referenced by axioms in this ontology. |
|
java.util.Set<OWLNamedIndividual> |
getReferencedIndividuals()
Gets the individuals that are referenced by axioms in this ontology. |
|
java.util.Set<OWLNamedIndividual> |
getReferencedIndividuals(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<OWLObjectProperty> |
getReferencedObjectProperties()
Gets the object properties that are referenced by axioms (including annotation axioms) in this ontology. |
|
java.util.Set<OWLObjectProperty> |
getReferencedObjectProperties(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<OWLNamedObject> |
getReferencedObjects()
|
|
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)
|
|
java.util.Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual individual)
|
|
java.util.Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
|
|
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)
|
|
java.util.Set<OWLTransitiveObjectPropertyAxiom> |
getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
|
|
boolean |
isAnonymous()
Determines whether or not this ontology is anonymous. |
|
boolean |
isDeclared(OWLEntity owlEntity)
Determines if this ontology declares an entity i.e. |
|
boolean |
isDeclared(OWLEntity owlEntity,
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. |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
---|
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
---|
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Constructor Detail |
---|
public OWLOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)
Method Detail |
---|
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 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 <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
OWLOntology
getAxiomCount
in interface OWLOntology
axiomType
- The type of axiom to count
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 axioms
public 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<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
getSubAnnotationPropertyOfAxioms
in interface OWLOntology
public java.util.Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
getAnnotationPropertyDomainAxioms
in interface OWLOntology
public java.util.Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
getAnnotationPropertyRangeAxioms
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<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(IRI subject)
public java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
OWLOntology
OWLClass
es)OWLClass
es)
getGeneralClassAxioms
in interface OWLOntology
public java.util.Set<OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxioms()
public 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 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 containsClassReference(IRI owlClassIRI)
OWLOntology
containsClassReference
in interface OWLOntology
owlClassIRI
- The IRI to test for.
true
if the ontology refers to a class with the specified IRI, otherwise false
public boolean containsClassReference(IRI owlClassIRI, boolean includeImportsClosure)
containsClassReference
in interface OWLOntology
public boolean containsObjectPropertyReference(IRI propIRI)
OWLOntology
containsObjectPropertyReference
in interface OWLOntology
propIRI
- The IRI of the property
true
if the ontology references (ontology signature contains) a property that has the
specified IRI.public boolean containsObjectPropertyReference(IRI propIRI, boolean includeImportsClosure)
containsObjectPropertyReference
in interface OWLOntology
public boolean containsDataPropertyReference(IRI propIRI)
OWLOntology
containsDataPropertyReference
in interface OWLOntology
propIRI
- The IRI to check for
true
if the ontology references (ontology signature contains) a property that has the
specified IRI.public boolean containsDataPropertyReference(IRI propIRI, boolean includeImportsClosure)
containsDataPropertyReference
in interface OWLOntology
public boolean containsAnnotationPropertyReference(IRI propIRI)
OWLOntology
containsAnnotationPropertyReference
in interface OWLOntology
propIRI
- The IRI to check for
true
if the ontology references (ontology signature contains) a property that has the
specified URI.public boolean containsAnnotationPropertyReference(IRI propIRI, boolean includeImportsClosure)
containsAnnotationPropertyReference
in interface OWLOntology
public boolean containsIndividualReference(IRI individualIRI)
OWLOntology
containsIndividualReference
in interface OWLOntology
individualIRI
- The IRI of the individual
true
if the ontology references (ontology signature contains) an individual that has the
specified IRI.public boolean containsIndividualReference(IRI individualIRI, boolean includeImportsClosure)
containsIndividualReference
in interface OWLOntology
public boolean containsDatatypeReference(IRI datatypeIRI)
containsDatatypeReference
in interface OWLOntology
public boolean containsDatatypeReference(IRI datatypeIRI, boolean includeImportsClosure)
containsDatatypeReference
in interface OWLOntology
public java.util.Set<OWLEntity> getEntitiesWithIRI(IRI iri)
getEntitiesWithIRI
in interface OWLOntology
iri
- The IRI
public java.util.Set<OWLEntity> getEntitiesWithIRI(IRI iri, boolean includeImportsClosure)
getEntitiesWithIRI
in interface OWLOntology
iri
- The IRIincludeImportsClosure
- Specifies if the imports closure signature should be taken into account
public 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 owlEntity)
OWLOntology
isDeclared
in interface OWLOntology
owlEntity
- The entity to be tested for
true
if the ontology contains a declaration for the specified entity, otherwise
false
.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 containsEntityReference(OWLEntity owlEntity)
OWLOntology
containsEntityReference
in interface OWLOntology
owlEntity
- The entity
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 containsEntityReference(OWLEntity owlEntity, boolean includeImportsClosure)
containsEntityReference
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 containsEntityReference(IRI entityIRI)
containsEntityReference
in interface OWLOntology
public boolean containsEntityReference(IRI entityIRI, boolean includeImportsClosure)
containsEntityReference
in interface OWLOntology
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)
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)
getReferencingAxioms
in interface OWLOntology
individual
- The individual
public 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 retrieved
public 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
public java.util.Set<OWLNamedObject> getReferencedObjects()
public java.util.Set<OWLEntity> getReferencedEntities()
OWLOntology
getReferencedEntities
in interface OWLOntology
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.public java.util.Set<OWLClass> getReferencedClasses()
OWLOntology
getReferencedClasses
in interface OWLOntology
public java.util.Set<OWLClass> getReferencedClasses(boolean includeImportsClosure)
getReferencedClasses
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> getReferencedObjectProperties()
OWLOntology
getReferencedObjectProperties
in interface OWLOntology
public java.util.Set<OWLObjectProperty> getReferencedObjectProperties(boolean includeImportsClosure)
getReferencedObjectProperties
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> getReferencedDataProperties()
OWLOntology
getReferencedDataProperties
in interface OWLOntology
public java.util.Set<OWLDataProperty> getReferencedDataProperties(boolean includeImportsClosure)
getReferencedDataProperties
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> getReferencedIndividuals()
OWLOntology
getReferencedIndividuals
in interface OWLOntology
public java.util.Set<OWLNamedIndividual> getReferencedIndividuals(boolean includeImportsClosure)
getReferencedIndividuals
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.
public java.util.Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
getReferencedAnonymousIndividuals
in interface OWLOntology
public java.util.Set<OWLDatatype> getReferencedDatatypes()
OWLOntology
getReferencedDatatypes
in interface OWLOntology
public java.util.Set<OWLDatatype> getReferencedDatatypes(boolean includeImportsClosure)
getReferencedDatatypes
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.
public java.util.Set<OWLAnnotationProperty> getReferencedAnnotationProperties()
getReferencedAnnotationProperties
in interface OWLOntology
public java.util.Set<OWLAnnotationProperty> getReferencedAnnotationProperties(boolean includeImportsClosure)
getReferencedAnnotationProperties
in interface OWLOntology
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<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
getDatatypeDefinitions
in interface OWLOntology
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 class
public java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
OWLOntology
getEquivalentClassesAxioms
in interface OWLOntology
cls
- The class
public 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 axioms
public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
OWLOntology
getObjectSubPropertyAxiomsForSubProperty
in interface OWLOntology
property
- The property which is on the left hand side of the axiom.
public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
getObjectSubPropertyAxiomsForSuperProperty
in interface OWLOntology
public java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
getObjectPropertyDomainAxioms
in interface OWLOntology
public java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
getObjectPropertyRangeAxioms
in interface OWLOntology
public java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
getInverseObjectPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
getEquivalentObjectPropertiesAxioms
in interface OWLOntology
public java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
getDisjointObjectPropertiesAxioms
in interface OWLOntology
public java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
getFunctionalObjectPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
getInverseFunctionalObjectPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
getSymmetricObjectPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLOntology
getAsymmetricObjectPropertyAxioms
in interface OWLOntology
property
- The property
null
if there is
no axiom that states this.public java.util.Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
getReflexiveObjectPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
getIrreflexiveObjectPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
getTransitiveObjectPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
getFunctionalDataPropertyAxioms
in interface OWLOntology
public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
getDataSubPropertyAxiomsForSubProperty
in interface OWLOntology
public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
getDataSubPropertyAxiomsForSuperProperty
in interface OWLOntology
public java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
getDataPropertyDomainAxioms
in interface OWLOntology
public java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
getDataPropertyRangeAxioms
in interface OWLOntology
public java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
getEquivalentDataPropertiesAxioms
in interface OWLOntology
public java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
getDisjointDataPropertiesAxioms
in interface OWLOntology
public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
getClassAssertionAxioms
in interface OWLOntology
public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)
getClassAssertionAxioms
in interface OWLOntology
public java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
getDataPropertyAssertionAxioms
in interface OWLOntology
public java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
getObjectPropertyAssertionAxioms
in interface OWLOntology
public java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
getNegativeObjectPropertyAssertionAxioms
in interface OWLOntology
public java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
getNegativeDataPropertyAssertionAxioms
in interface OWLOntology
public java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
getSameIndividualAxioms
in interface OWLOntology
public java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
getDifferentIndividualAxioms
in interface OWLOntology
public java.util.List<OWLOntologyChange> applyChange(OWLOntologyChange change)
applyChange
in interface OWLMutableOntology
public java.util.List<OWLOntologyChange> applyChanges(java.util.List<OWLOntologyChange> changes)
applyChanges
in interface OWLMutableOntology
public void accept(OWLObjectVisitor visitor)
accept
in interface OWLObject
public void accept(OWLNamedObjectVisitor visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
accept
in interface OWLObject
public boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |