uk.ac.manchester.cs.owl.owlapi
Class OWLOntologyImpl

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLOntologyImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLMutableOntology, OWLObject, OWLOntology

public class OWLOntologyImpl
extends OWLObjectImpl
implements OWLMutableOntology

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)
           
<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 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.
<T extends OWLAxiom>
int
getAxiomCount(AxiomType<T> axiomType)
          Gets the axiom count of a specific type of axiom
<T extends OWLAxiom>
int
getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure)
          Gets the axiom count of a specific type of axiom, possibly in the imports closure of this ontology
 java.util.Set<OWLAxiom> getAxioms()
          Retrieves all of the axioms in this ontology.
<T extends OWLAxiom>
java.util.Set<T>
getAxioms(AxiomType<T> axiomType)
          Gets the axioms which are of the specified type.
<T extends OWLAxiom>
java.util.Set<T>
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

OWLOntologyImpl

public OWLOntologyImpl(OWLOntologyManager manager,
                       OWLOntologyID ontologyID)
Method Detail

getOWLOntologyManager

public OWLOntologyManager getOWLOntologyManager()
Description copied from interface: OWLOntology
Gets the manager that created this ontology. The manager is used by various methods on OWLOntology to resolve imports

Specified by:
getOWLOntologyManager in interface OWLOntology
Returns:
The manager that created this ontology.

getOntologyID

public OWLOntologyID getOntologyID()
Description copied from interface: OWLOntology
Gets the identity of this ontology (i.e. ontology IRI + version IRI)

Specified by:
getOntologyID in interface OWLOntology
Returns:
The ID of this ontology.

isAnonymous

public boolean isAnonymous()
Description copied from interface: OWLOntology
Determines whether or not this ontology is anonymous. An ontology is anonymous if it does not have an ontology IRI.

Specified by:
isAnonymous in interface OWLOntology
Returns:
true if this ontology is anonymous, otherwise false

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)
Specified by:
compareObjectOfSameType in class OWLObjectImpl

isEmpty

public boolean isEmpty()
Description copied from interface: OWLOntology
Determines if this ontology is empty - an ontology is empty if it does not contain any axioms (i.e. OWLOntology.getAxioms() returns the empty set), and it does not have any annotations (i.e. OWLOntology.getAnnotations() returns the empty set).

Specified by:
isEmpty in interface OWLOntology
Returns:
true if the ontology is empty, otherwise false.

getAxiomCount

public int getAxiomCount()
Description copied from interface: OWLOntology
Gets the number of axioms in this ontology.

Specified by:
getAxiomCount in interface OWLOntology
Returns:
The number of axioms in this ontology.

getAxioms

public java.util.Set<OWLAxiom> getAxioms()
Description copied from interface: OWLOntology
Retrieves all of the axioms in this ontology. Note that to test whether or not this ontology is empty (i.e. contains no axioms, the isEmpty method is preferred over getAxioms().isEmpty(). )

Specified by:
getAxioms in interface OWLOntology
Returns:
The set of all axioms in this ontology, including logical axioms and annotation axioms. The set that is returned is a copy of the axioms in the ontology - it will not be updated if the ontology changes. It is recommended that the containsAxiom method is used to determine whether or not this ontology contains a particular axiom rather than using getAxioms().contains().

getAxioms

public <T extends OWLAxiom> java.util.Set<T> getAxioms(AxiomType<T> axiomType)
Description copied from interface: OWLOntology
Gets the axioms which are of the specified type.

Specified by:
getAxioms in interface OWLOntology
Parameters:
axiomType - The type of axioms to be retrived.
Returns:
A set containing the axioms which are of the specified type. The set that is returned is a copy of the axioms in the ontology - it will not be updated if the ontology changes.

getAxioms

public <T extends OWLAxiom> java.util.Set<T> getAxioms(AxiomType<T> axiomType,
                                                       boolean includeImportsClosure)
Gets the axioms which are of the specified type, possibly from the imports closure of this ontology

Specified by:
getAxioms in interface OWLOntology
Parameters:
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.
Returns:
A set containing the axioms which are of the specified type. The set that is returned is a copy of the axioms in the ontology (and its imports closure) - it will not be updated if the ontology changes.

getAxiomCount

public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
Description copied from interface: OWLOntology
Gets the axiom count of a specific type of axiom

Specified by:
getAxiomCount in interface OWLOntology
Parameters:
axiomType - The type of axiom to count
Returns:
The number of the specified types of axioms in this ontology

getAxiomCount

public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                              boolean includeImportsClosure)
Gets the axiom count of a specific type of axiom, possibly in the imports closure of this ontology

Specified by:
getAxiomCount in interface OWLOntology
Parameters:
axiomType - The type of axiom to count
includeImportsClosure - Specifies that the imports closure should be included when counting axioms
Returns:
The number of the specified types of axioms in this ontology

getLogicalAxioms

public java.util.Set<OWLLogicalAxiom> getLogicalAxioms()
Description copied from interface: OWLOntology
Gets all of the axioms in the ontology that affect the logical meaning of the ontology. In other words, this method returns all axioms that are not annotation axioms, or declaration axioms.

Specified by:
getLogicalAxioms in interface OWLOntology
Returns:
A set of axioms which are of the type OWLLogicalAxiom The set that is returned is a copy of the axioms in the ontology - it will not be updated if the ontology changes.

getLogicalAxiomCount

public int getLogicalAxiomCount()
Description copied from interface: OWLOntology
Gets the number of logical axioms in this ontology.

Specified by:
getLogicalAxiomCount in interface OWLOntology
Returns:
The number of axioms in this ontology.

getAnnotations

public java.util.Set<OWLAnnotation> getAnnotations()
Description copied from interface: OWLOntology
Gets the annotations on this ontology.

Specified by:
getAnnotations in interface OWLOntology
Returns:
A set of annotations on this ontology. The set returned will be a copy - modifying the set will have no effect on the annotations in this ontology, similarly, any changes that affect the annotations on this ontology will not change the returned set.

getSubAnnotationPropertyOfAxioms

public java.util.Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Specified by:
getSubAnnotationPropertyOfAxioms in interface OWLOntology

getAnnotationPropertyDomainAxioms

public java.util.Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Specified by:
getAnnotationPropertyDomainAxioms in interface OWLOntology

getAnnotationPropertyRangeAxioms

public java.util.Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Specified by:
getAnnotationPropertyRangeAxioms in interface OWLOntology

getDeclarationAxioms

public java.util.Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity entity)
Description copied from interface: OWLOntology
Gets the declaration axioms for specified entity.

Specified by:
getDeclarationAxioms in interface OWLOntology
Parameters:
entity - The entity that is the subject of the set of returned axioms.
Returns:
The set of declaration axioms. Note that this set will be a copy and will not be updated if the ontology changes. It is therefore safe to iterate over this set while making changes to the ontology.

getAnnotationAssertionAxioms

public java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject subject)
Description copied from interface: OWLOntology
Gets the axioms that annotate the specified entity.

Specified by:
getAnnotationAssertionAxioms in interface OWLOntology
Parameters:
subject - The entity whose annotations are to be retrieved.
Returns:
The set of entity annotation axioms. Note that this set will be a copy and will not be updated if the ontology changes. It is therefore safe to iterate over this set while making changes to the ontology.

getAnnotationAssertionAxioms

public java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(IRI subject)

getGeneralClassAxioms

public java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
Description copied from interface: OWLOntology
Gets the set of general axioms in this ontology. This includes:

Specified by:
getGeneralClassAxioms in interface OWLOntology
Returns:
The set that is returned is a copy of the axioms in the ontology - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getPropertyChainSubPropertyAxioms

public java.util.Set<OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxioms()

containsAxiom

public boolean containsAxiom(OWLAxiom axiom)
Description copied from interface: OWLOntology
Determines if this ontology contains the specified axiom.

Specified by:
containsAxiom in interface OWLOntology
Parameters:
axiom - The axiom to test for.
Returns:
true if the ontology contains the specified axioms, or false if the ontology doesn't contain the specified axiom.

containsAxiom

public boolean containsAxiom(OWLAxiom axiom,
                             boolean includeImportsClosure)
Determines if this ontology, and possibly the imports closure, contains the specified axiom.

Specified by:
containsAxiom in interface OWLOntology
Parameters:
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.
Returns:
true if the ontology contains the specified axioms, or false if the ontology doesn't contain the specified axiom.

containsClassReference

public boolean containsClassReference(IRI owlClassIRI)
Description copied from interface: OWLOntology
Determines if the ontology contains a reference to a class that has a specific IRI.

Specified by:
containsClassReference in interface OWLOntology
Parameters:
owlClassIRI - The IRI to test for.
Returns:
true if the ontology refers to a class with the specified IRI, otherwise false

containsClassReference

public boolean containsClassReference(IRI owlClassIRI,
                                      boolean includeImportsClosure)
Specified by:
containsClassReference in interface OWLOntology

containsObjectPropertyReference

public boolean containsObjectPropertyReference(IRI propIRI)
Description copied from interface: OWLOntology
Determines if the ontology contains a reference to an object property that has a specific IRI.

Specified by:
containsObjectPropertyReference in interface OWLOntology
Parameters:
propIRI - The IRI of the property
Returns:
true if the ontology references (ontology signature contains) a property that has the specified IRI.

containsObjectPropertyReference

public boolean containsObjectPropertyReference(IRI propIRI,
                                               boolean includeImportsClosure)
Specified by:
containsObjectPropertyReference in interface OWLOntology

containsDataPropertyReference

public boolean containsDataPropertyReference(IRI propIRI)
Description copied from interface: OWLOntology
Determines if the ontology contains a reference to a data property that has a specific IRI.

Specified by:
containsDataPropertyReference in interface OWLOntology
Parameters:
propIRI - The IRI to check for
Returns:
true if the ontology references (ontology signature contains) a property that has the specified IRI.

containsDataPropertyReference

public boolean containsDataPropertyReference(IRI propIRI,
                                             boolean includeImportsClosure)
Specified by:
containsDataPropertyReference in interface OWLOntology

containsAnnotationPropertyReference

public boolean containsAnnotationPropertyReference(IRI propIRI)
Description copied from interface: OWLOntology
Determines if the ontology contains a reference to an annotation property that has a specific IRI.

Specified by:
containsAnnotationPropertyReference in interface OWLOntology
Parameters:
propIRI - The IRI to check for
Returns:
true if the ontology references (ontology signature contains) a property that has the specified URI.

containsAnnotationPropertyReference

public boolean containsAnnotationPropertyReference(IRI propIRI,
                                                   boolean includeImportsClosure)
Specified by:
containsAnnotationPropertyReference in interface OWLOntology

containsIndividualReference

public boolean containsIndividualReference(IRI individualIRI)
Description copied from interface: OWLOntology
Determines if the ontology contains a reference to an individual that has a specific IRI.

Specified by:
containsIndividualReference in interface OWLOntology
Parameters:
individualIRI - The IRI of the individual
Returns:
true if the ontology references (ontology signature contains) an individual that has the specified IRI.

containsIndividualReference

public boolean containsIndividualReference(IRI individualIRI,
                                           boolean includeImportsClosure)
Specified by:
containsIndividualReference in interface OWLOntology

containsDatatypeReference

public boolean containsDatatypeReference(IRI datatypeIRI)
Specified by:
containsDatatypeReference in interface OWLOntology

containsDatatypeReference

public boolean containsDatatypeReference(IRI datatypeIRI,
                                         boolean includeImportsClosure)
Specified by:
containsDatatypeReference in interface OWLOntology

getEntitiesWithIRI

public java.util.Set<OWLEntity> getEntitiesWithIRI(IRI iri)
Gets the entities in the signature of this ontology that have the specified IRI

Specified by:
getEntitiesWithIRI in interface OWLOntology
Parameters:
iri - The IRI
Returns:
A set of entities that are in the signature of this ontology that have the specified IRI. The set will be empty if there are no entities in the signature of this ontology with the specified IRI.

getEntitiesWithIRI

public 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

Specified by:
getEntitiesWithIRI in interface OWLOntology
Parameters:
iri - The IRI
includeImportsClosure - Specifies if the imports closure signature should be taken into account
Returns:
A set of entities that are in the signature of this ontology and possibly its imports closure that have the specified IRI. The set will be empty if there are no entities in the signature of this ontology and possibly its imports closure with the specified IRI.

containsReference

public boolean containsReference(OWLClass owlClass)

containsReference

public boolean containsReference(OWLObjectProperty prop)

containsReference

public boolean containsReference(OWLDataProperty prop)

containsReference

public boolean containsReference(OWLNamedIndividual ind)

containsReference

public boolean containsReference(OWLDatatype dt)

containsReference

public boolean containsReference(OWLAnnotationProperty property)

isDeclared

public boolean isDeclared(OWLEntity owlEntity)
Description copied from interface: OWLOntology
Determines if this ontology declares an entity i.e. it contains a declaration axiom for the specified entity.

Specified by:
isDeclared in interface OWLOntology
Parameters:
owlEntity - The entity to be tested for
Returns:
true if the ontology contains a declaration for the specified entity, otherwise false.

isDeclared

public boolean isDeclared(OWLEntity owlEntity,
                          boolean includeImportsClosure)
Description copied from interface: OWLOntology
Determines if this ontology or its imports closure declares an entity i.e. contains a declaration axiom for the specified entity.

Specified by:
isDeclared in interface OWLOntology
Parameters:
owlEntity - The entity to be tested for
includeImportsClosure - true if the imports closure of this ontology should be examined, false if just this ontology should be examined.
Returns:
true if the ontology or its imports closure contains a declaration for the specified entity, otherwise false.

containsEntityReference

public boolean containsEntityReference(OWLEntity owlEntity)
Description copied from interface: OWLOntology
Determines if the ontology contains a reference to the specified entity.

Specified by:
containsEntityReference in interface OWLOntology
Parameters:
owlEntity - The entity
Returns:
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.

containsEntityReference

public boolean containsEntityReference(OWLEntity owlEntity,
                                       boolean includeImportsClosure)
Determines if the ontology, and possibly its imports closure, contains a reference to the specified entity.

Specified by:
containsEntityReference in interface OWLOntology
Parameters:
owlEntity - The entity
includeImportsClosure - Specifies whether the imports closure should be examined for the entity reference or not.
Returns:
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.

containsEntityReference

public boolean containsEntityReference(IRI entityIRI)
Specified by:
containsEntityReference in interface OWLOntology

containsEntityReference

public boolean containsEntityReference(IRI entityIRI,
                                       boolean includeImportsClosure)
Specified by:
containsEntityReference in interface OWLOntology

getReferencingAxioms

public java.util.Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity)
Description copied from interface: OWLOntology
Gets the axioms where the specified entity appears in the signature of the axiom. The set that is returned, contains all axioms that directly reference the specified entity.

Specified by:
getReferencingAxioms in interface OWLOntology
Parameters:
owlEntity - The entity that should be directly referred to by an axiom that appears in the results set.
Returns:
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.

getReferencingAxioms

public java.util.Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity,
                                                    boolean includeImportsClosure)
Gets the axioms where the specified entity appears in the signature of the axiom. The set that is returned, contains all axioms that directly reference the specified entity.

Specified by:
getReferencingAxioms in interface OWLOntology
Parameters:
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.
Returns:
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.

getReferencingAxioms

public java.util.Set<OWLAxiom> getReferencingAxioms(OWLAnonymousIndividual individual)
Gets the axioms that reference the specified anonymous individual

Specified by:
getReferencingAxioms in interface OWLOntology
Parameters:
individual - The individual
Returns:
The axioms that reference the specified anonymous individual

getAxioms

public java.util.Set<OWLClassAxiom> getAxioms(OWLClass cls)
Description copied from interface: OWLOntology
Gets the axioms that form the definition/description of a class.

Specified by:
getAxioms in interface OWLOntology
Parameters:
cls - The class whose describing axioms are to be retrieved.
Returns:
A set of class axioms that describe the class. This set includes
  • Subclass axioms where the subclass is equal to the specified class
  • Equivalent class axioms where the specified class is an operand in the equivalent class axiom
  • Disjoint class axioms where the specified class is an operand in the disjoint class axiom
  • Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union
The 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.

getAxioms

public java.util.Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression prop)
Description copied from interface: OWLOntology
Gets the axioms that form the definition/description of an object property.

Specified by:
getAxioms in interface OWLOntology
Parameters:
prop - The property whose defining axioms are to be retrieved.
Returns:
A set of object property axioms that includes
  • Sub-property axioms where the sub property is equal to the specified property
  • Equivalent property axioms where the axiom contains the specified property
  • Equivalent property axioms that contain the inverse of the specified property
  • Disjoint property axioms that contain the specified property
  • Domain axioms that specify a domain of the specified property
  • Range axioms that specify a range of the specified property
  • Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
  • Inverse properties axioms that contain the specified property
The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getAxioms

public java.util.Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty prop)
Description copied from interface: OWLOntology
Gets the axioms that form the definition/description of an annotation property.

Specified by:
getAxioms in interface OWLOntology
Parameters:
prop - The property whose definition axioms are to be retrieved
Returns:
A set of axioms that includes
  • Annotation subpropertyOf axioms where the specified property is the sub property
  • Annotation property domain axioms that specify a domain for the specified property
  • Annotation property range axioms that specify a range for the specified property

getAxioms

public java.util.Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty prop)
Description copied from interface: OWLOntology
Gets the axioms that form the definition/description of a data property.

Specified by:
getAxioms in interface OWLOntology
Parameters:
prop - The property whose defining axioms are to be retrieved.
Returns:
A set of data property axioms that includes
  • Sub-property axioms where the sub property is equal to the specified property
  • Equivalent property axioms where the axiom contains the specified property
  • Disjoint property axioms that contain the specified property
  • Domain axioms that specify a domain of the specified property
  • Range axioms that specify a range of the specified property
  • Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
The set 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.

getAxioms

public java.util.Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)
Description copied from interface: OWLOntology
Gets the axioms that form the definition/description of an individual

Specified by:
getAxioms in interface OWLOntology
Parameters:
individual - The individual whose defining axioms are to be retrieved.
Returns:
A set of individual axioms that includes
  • Individual type assertions that assert the type of the specified individual
  • Same individuals axioms that contain the specified individual
  • Different individuals axioms that contain the specified individual
  • Object property assertion axioms whose subject is the specified individual
  • Data property assertion axioms whose subject is the specified individual
  • Negative object property assertion axioms whose subject is the specified individual
  • Negative data property assertion axioms whose subject is the specified individual
The set that is returned is a copy - it will not be updated if the ontology changes.

getAxioms

public java.util.Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)
Description copied from interface: OWLOntology
Gets the datatype definition axioms for the specified datatype

Specified by:
getAxioms in interface OWLOntology
Parameters:
datatype - The datatype
Returns:
The set of datatype definition axioms for the specified datatype

getReferencedObjects

public java.util.Set<OWLNamedObject> getReferencedObjects()

getReferencedEntities

public java.util.Set<OWLEntity> getReferencedEntities()
Description copied from interface: OWLOntology
Gets the entities that are referenced by axioms in this ontology.

Specified by:
getReferencedEntities in interface OWLOntology
Returns:
A set of OWLEntity objects. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedClasses

public java.util.Set<OWLClass> getReferencedClasses()
Description copied from interface: OWLOntology
Gets the classes that are referenced by axioms in this ontology.

Specified by:
getReferencedClasses in interface OWLOntology
Returns:
A set of named classes, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedClasses

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

Specified by:
getReferencedClasses in interface OWLOntology
Parameters:
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.
Returns:
A set of named classes, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedObjectProperties

public java.util.Set<OWLObjectProperty> getReferencedObjectProperties()
Description copied from interface: OWLOntology
Gets the object properties that are referenced by axioms (including annotation axioms) in this ontology.

Specified by:
getReferencedObjectProperties in interface OWLOntology
Returns:
A set of object properties, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedObjectProperties

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

Specified by:
getReferencedObjectProperties in interface OWLOntology
Parameters:
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.
Returns:
A set of object properties, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedDataProperties

public java.util.Set<OWLDataProperty> getReferencedDataProperties()
Description copied from interface: OWLOntology
Gets the data properties that are referenced by axioms in this ontology.

Specified by:
getReferencedDataProperties in interface OWLOntology
Returns:
A set of data properties, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedDataProperties

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

Specified by:
getReferencedDataProperties in interface OWLOntology
Parameters:
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.
Returns:
A set of data properties, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedIndividuals

public java.util.Set<OWLNamedIndividual> getReferencedIndividuals()
Description copied from interface: OWLOntology
Gets the individuals that are referenced by axioms in this ontology.

Specified by:
getReferencedIndividuals in interface OWLOntology
Returns:
A set of individuals, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedIndividuals

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

Specified by:
getReferencedIndividuals in interface OWLOntology
Parameters:
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.
Returns:
A set of named individuals, which are referenced by any axiom in this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getReferencedAnonymousIndividuals

public java.util.Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
Gets the referenced anonymous individuals

Specified by:
getReferencedAnonymousIndividuals in interface OWLOntology
Returns:
The set of referenced anonymous individuals

getReferencedDatatypes

public java.util.Set<OWLDatatype> getReferencedDatatypes()
Description copied from interface: OWLOntology
Gets the datatypes that are referenced by this ontology

Specified by:
getReferencedDatatypes in interface OWLOntology
Returns:
The set of referenced datatypes

getReferencedDatatypes

public java.util.Set<OWLDatatype> getReferencedDatatypes(boolean includeImportsClosure)
Gets the datatypes that are referenced by this ontology and possibly its imports closure

Specified by:
getReferencedDatatypes in interface OWLOntology
Parameters:
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.
Returns:
The set of datatypes that are referenced by axioms in this ontology and possibly its imports closure

getReferencedAnnotationProperties

public java.util.Set<OWLAnnotationProperty> getReferencedAnnotationProperties()
Specified by:
getReferencedAnnotationProperties in interface OWLOntology

getReferencedAnnotationProperties

public java.util.Set<OWLAnnotationProperty> getReferencedAnnotationProperties(boolean includeImportsClosure)
Specified by:
getReferencedAnnotationProperties in interface OWLOntology

getImportsDeclarations

public java.util.Set<OWLImportsDeclaration> getImportsDeclarations()
Description copied from interface: OWLOntology
Gets the set of imports declarations for this ontology. The set returned represents the set of IRIs that correspond to the set of IRIs in an ontology's directlyImportsDocuments (see Section 3 in the OWL 2 structural specification).

Specified by:
getImportsDeclarations in interface OWLOntology
Returns:
The set of imports declarations that correspond to the set of ontology document IRIs that are directly imported by this ontology. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDirectImportsDocuments

public java.util.Set<IRI> getDirectImportsDocuments()
                                             throws UnknownOWLOntologyException
Gets the set of IRIs corresponding to the IRIs of the ontology documents that are directly imported by this ontology. This corresponds to the IRIs defined by the directlyImportsDocuments relation as discussed in Section 3 of the OWL 2 Structural specification.

Specified by:
getDirectImportsDocuments in interface OWLOntology
Returns:
A set of IRIs where each IRI represents the IRI of an ontology document that was directly imported by this ontology.
Throws:
UnknownOWLOntologyException - If this ontology is no longer managed by its manager because it was removed from the manager.

getImports

public java.util.Set<OWLOntology> getImports()
                                      throws UnknownOWLOntologyException
Description copied from interface: OWLOntology
Gets the set of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation. See Section 3.4 of the OWL 2 specification for the definition of the directlyImports relation.

For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.

Specified by:
getImports in interface OWLOntology
Returns:
The set of ontologies that this ontology is related to via the transitive closure of the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural Specification. 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.
Throws:
UnknownOWLOntologyException - if this ontology is no longer managed by its manager because it was removed from the manager.

getDirectImports

public java.util.Set<OWLOntology> getDirectImports()
                                            throws UnknownOWLOntologyException
Gets the ontologies that are directly imported by this ontology. This corresponds to the notion of logical direct imports as discussed in Section 3.4 of the OWL 2 Structural Specification. The direct imports are obtained by accessing the directly imported ontology documents and converting (parsing) them into OWL 2 ontologies. Note that there may be fewer ontologies in the set returned by this method than there are IRIs in the set returned by the getDirectImportsDocuments method. This will be the case if some of the ontologies that are directly imported by this ontology are not loaded for whatever reason.

Specified by:
getDirectImports in interface OWLOntology
Returns:
The set of ontologies that are logically directly imported by this ontology
Throws:
UnknownOWLOntologyException - If this ontology is no longer managed by its manager because it was removed from the manager.

getImportsClosure

public java.util.Set<OWLOntology> getImportsClosure()
                                             throws UnknownOWLOntologyException
Description copied from interface: OWLOntology
Gets the set of loaded ontologies that this ontology is related to via the reflexive transitive closure of the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural Specification. (i.e. The set returned includes all ontologies returned by the OWLOntology.getImports() method plus this ontology.)

For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of this ontology, ontology B and ontology C.

Specified by:
getImportsClosure in interface OWLOntology
Returns:
The set of ontologies in the reflexive transitive closure of the directlyImports relation.
Throws:
UnknownOWLOntologyException - If this ontology is no longer managed by its manager because it was removed from the manager.

getDatatypeDefinitions

public java.util.Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
Specified by:
getDatatypeDefinitions in interface OWLOntology

getSubClassAxiomsForSubClass

public java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
Description copied from interface: OWLOntology
Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.

Specified by:
getSubClassAxiomsForSubClass in interface OWLOntology
Parameters:
cls - The class that is equal to the left hand side of the axiom (subclass).
Returns:
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.

getSubClassAxiomsForSuperClass

public java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
Description copied from interface: OWLOntology
Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.

Specified by:
getSubClassAxiomsForSuperClass in interface OWLOntology
Parameters:
cls - The class
Returns:
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.

getEquivalentClassesAxioms

public java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
Description copied from interface: OWLOntology
Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.

Specified by:
getEquivalentClassesAxioms in interface OWLOntology
Parameters:
cls - The class
Returns:
A set of equivalent class axioms that contain the specified class as an operand. 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.

getDisjointClassesAxioms

public java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
Description copied from interface: OWLOntology
Gets the set of disjoint class axioms that contain the specified class as an operand.

Specified by:
getDisjointClassesAxioms in interface OWLOntology
Parameters:
cls - The class that should be contained in the set of disjoint class axioms that will be returned.
Returns:
The set of disjoint axioms that contain the specified class. 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.

getDisjointUnionAxioms

public java.util.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
Description copied from interface: OWLOntology
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. For example, if the ontology contained the axiom DisjointUnion(A, propP some C, D, E) this axiom would be returned for class A (but not for D or E).

Specified by:
getDisjointUnionAxioms in interface OWLOntology
Parameters:
owlClass - The class that indexes the axioms to be retrieved.
Returns:
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.

getHasKeyAxioms

public java.util.Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
Description copied from interface: OWLOntology
Gets the has key axioms that have the specified class as their subject.

Specified by:
getHasKeyAxioms in interface OWLOntology
Parameters:
cls - The subject of the has key axioms
Returns:
The set of has key axioms that have cls as their subject. 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.

getObjectSubPropertyAxiomsForSubProperty

public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
Description copied from interface: OWLOntology
Gets the object property sub property axioms where the specified property is on the left hand side of the axiom.

Specified by:
getObjectSubPropertyAxiomsForSubProperty in interface OWLOntology
Parameters:
property - The property which is on the left hand side of the axiom.
Returns:
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.

getObjectSubPropertyAxiomsForSuperProperty

public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
Specified by:
getObjectSubPropertyAxiomsForSuperProperty in interface OWLOntology

getObjectPropertyDomainAxioms

public java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Specified by:
getObjectPropertyDomainAxioms in interface OWLOntology

getObjectPropertyRangeAxioms

public java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Specified by:
getObjectPropertyRangeAxioms in interface OWLOntology

getInverseObjectPropertyAxioms

public java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getInverseObjectPropertyAxioms in interface OWLOntology

getEquivalentObjectPropertiesAxioms

public java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Specified by:
getEquivalentObjectPropertiesAxioms in interface OWLOntology

getDisjointObjectPropertiesAxioms

public java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Specified by:
getDisjointObjectPropertiesAxioms in interface OWLOntology

getFunctionalObjectPropertyAxioms

public java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getFunctionalObjectPropertyAxioms in interface OWLOntology

getInverseFunctionalObjectPropertyAxioms

public java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getInverseFunctionalObjectPropertyAxioms in interface OWLOntology

getSymmetricObjectPropertyAxioms

public java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getSymmetricObjectPropertyAxioms in interface OWLOntology

getAsymmetricObjectPropertyAxioms

public java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Description copied from interface: OWLOntology
Gets the axiom that states that this property is asymmetric. Note that this will return an antisymmetric property axiom. The name of this interfaces is due to legacy reasons.

Specified by:
getAsymmetricObjectPropertyAxioms in interface OWLOntology
Parameters:
property - The property
Returns:
The axiom that states that this property is asymmetric, or null if there is no axiom that states this.

getReflexiveObjectPropertyAxioms

public java.util.Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getReflexiveObjectPropertyAxioms in interface OWLOntology

getIrreflexiveObjectPropertyAxioms

public java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getIrreflexiveObjectPropertyAxioms in interface OWLOntology

getTransitiveObjectPropertyAxioms

public java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getTransitiveObjectPropertyAxioms in interface OWLOntology

getFunctionalDataPropertyAxioms

public java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Specified by:
getFunctionalDataPropertyAxioms in interface OWLOntology

getDataSubPropertyAxiomsForSubProperty

public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
Specified by:
getDataSubPropertyAxiomsForSubProperty in interface OWLOntology

getDataSubPropertyAxiomsForSuperProperty

public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
Specified by:
getDataSubPropertyAxiomsForSuperProperty in interface OWLOntology

getDataPropertyDomainAxioms

public java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
Specified by:
getDataPropertyDomainAxioms in interface OWLOntology

getDataPropertyRangeAxioms

public java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
Specified by:
getDataPropertyRangeAxioms in interface OWLOntology

getEquivalentDataPropertiesAxioms

public java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Specified by:
getEquivalentDataPropertiesAxioms in interface OWLOntology

getDisjointDataPropertiesAxioms

public java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
Specified by:
getDisjointDataPropertiesAxioms in interface OWLOntology

getClassAssertionAxioms

public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
Specified by:
getClassAssertionAxioms in interface OWLOntology

getClassAssertionAxioms

public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)
Specified by:
getClassAssertionAxioms in interface OWLOntology

getDataPropertyAssertionAxioms

public java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getDataPropertyAssertionAxioms in interface OWLOntology

getObjectPropertyAssertionAxioms

public java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getObjectPropertyAssertionAxioms in interface OWLOntology

getNegativeObjectPropertyAssertionAxioms

public java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getNegativeObjectPropertyAssertionAxioms in interface OWLOntology

getNegativeDataPropertyAssertionAxioms

public java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getNegativeDataPropertyAssertionAxioms in interface OWLOntology

getSameIndividualAxioms

public java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
Specified by:
getSameIndividualAxioms in interface OWLOntology

getDifferentIndividualAxioms

public java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
Specified by:
getDifferentIndividualAxioms in interface OWLOntology

applyChange

public java.util.List<OWLOntologyChange> applyChange(OWLOntologyChange change)
Specified by:
applyChange in interface OWLMutableOntology

applyChanges

public java.util.List<OWLOntologyChange> applyChanges(java.util.List<OWLOntologyChange> changes)
Specified by:
applyChanges in interface OWLMutableOntology

accept

public void accept(OWLObjectVisitor visitor)
Specified by:
accept in interface OWLObject

accept

public void accept(OWLNamedObjectVisitor visitor)

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)
Specified by:
accept in interface OWLObject

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLObjectImpl