OWLOntologyImpl (The OWL API)

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

java.lang.Object
  uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      uk.ac.manchester.cs.owl.owlapi.OWLOntologyImpl

All Implemented Interfaces:: java.lang.Comparable<OWLObject>, OWLMutableOntology, OWLObject, OWLOntology

public class OWLOntologyImpl
extends OWLObjectImpl
implements OWLMutableOntology
extends OWLObjectImpl
implements OWLMutableOntology

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

Field Summary
`protected OWLOntologyImplInternals`	`internals`

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 containsAnnotationPropertyInSignature(IRI propIRI)
Determines if the signature of this ontology contains an OWLAnnotationProperty with the specified IRI.

boolean containsAnnotationPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLAnnotationProperty that has the specified IRI.

boolean containsAxiom(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.

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

boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom, ignoring any annotations on this axiom.

boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
Determines if this ontology and possibly its imports closure contains the specified axiom, ignoring any annotations on this axiom.

boolean containsClassInSignature(IRI owlClassIRI)
Determines if the signature of this ontology contains an OWLClass with the specified IRI.

boolean containsClassInSignature(IRI owlClassIRI, boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLClass that has the specified IRI.

boolean containsDataPropertyInSignature(IRI propIRI)
Determines if the signature of this ontology contains an OWLDataProperty with the specified IRI.

boolean containsDataPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLDataProperty that has the specified IRI.

boolean containsDatatypeInSignature(IRI datatypeIRI)
Determines if the signature of this ontology contains an OWLDatatype with the specified IRI.

boolean containsDatatypeInSignature(IRI datatypeIRI, boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLDatatype that has the specified IRI.

boolean containsEntityInSignature(IRI entityIRI)
Determines if the signature of this ontology contains a class, object property, data property, named individual, annotation property or datatype with the specified IRI.

boolean containsEntityInSignature(IRI entityIRI, boolean includeImportsClosure)
Determines if the signature of this ontology and possibly its imports closure contains a class, object property, data property, named individual, annotation property or datatype with the specified IRI.

boolean containsEntityInSignature(OWLEntity owlEntity)
Determines if the signature of the ontology contains the specified entity.

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

boolean containsIndividualInSignature(IRI individualIRI)
Determines if the signature of this ontology contains an OWLNamedIndividual with the specified IRI.

boolean containsIndividualInSignature(IRI individualIRI, boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLNamedIndividual that has the specified IRI.

boolean containsObjectPropertyInSignature(IRI propIRI)
Determines if the signature of this ontology contains an OWLObjectProperty with the specified IRI.

boolean containsObjectPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLObjectProperty that has the specified IRI.

boolean containsReference(OWLAnnotationProperty property)

boolean containsReference(OWLClass owlClass)

boolean containsReference(OWLDataProperty prop)

boolean containsReference(OWLDatatype dt)

boolean containsReference(OWLNamedIndividual ind)

boolean containsReference(OWLObjectProperty prop)

boolean equals(java.lang.Object obj)

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

java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject subject)
Gets the axioms that annotate the specified entity.

java.util.Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
Gets the annotation properties that are in the signature of this ontology.

java.util.Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Gets the OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.

java.util.Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.

java.util.Set<OWLAnnotation> getAnnotations()
Gets the annotations on this ontology.

java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property 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<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms that have the same "logical structure" as the specified axiom.

java.util.Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
Gets the set of axioms that have the same "logical structure" as the specified axiom, possibly searching the imports closure of this ontology.

java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)
Gets the OWLClassAssertionAxioms contained in this ontology that make the specified class expression, ce, a type for some individual.

java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
Gets the OWLClassAssertionAxioms contained in this ontology that make the specified individual an instance of some class expression.

java.util.Set<OWLClass> getClassesInSignature()
A convenience method that obtains the classes that are in the signature of this object

java.util.Set<OWLClass> getClassesInSignature(boolean includeImportsClosure)
Gets the classes that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

java.util.Set<OWLDataProperty> getDataPropertiesInSignature()
A convenience method that obtains the data properties that are in the signature of this object

java.util.Set<OWLDataProperty> getDataPropertiesInSignature(boolean includeImportsClosure)
Gets the data properties that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the OWLDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the OWLDataPropertyDomainAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the OWLDataPropertyRangeAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
Gets the OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property.

java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
Gets the OWLSubDataPropertyOfAxioms where the super-property (returned by OWLSubPropertyAxiom.getSuperProperty()) is equal to the specified property.

java.util.Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
Gets the OWLDatatypeDefinitionAxioms contained in this ontology that provide a definition for the specified datatype.

java.util.Set<OWLDatatype> getDatatypesInSignature()
A convenience method that obtains the datatypes that are in the signature of this object

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

java.util.Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity entity)
Gets the declaration axioms for specified entity.

java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.

java.util.Set<OWLOntology> getDirectImports()
Gets the ontologies that are directly imported by this ontology.

java.util.Set<IRI> getDirectImportsDocuments()
Gets the set of IRIs corresponding to the IRIs of the ontology documents that are directly imported by this ontology.

java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as an operand.

java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the OWLDisjointDataPropertiesAxioms that make the specified property disjoint with some other data property expression(s).

java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the OWLDisjointObjectPropertiesAxioms that make the specified property disjoint with some other object property expression(s).

java.util.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
Gets the set of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands.

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

java.util.Set<OWLEntity> getEntitiesInSignature(IRI iri, boolean includeImportsClosure)
Gets the entities in the signature of this ontology, and possibly its imports closure, that have the specified IRI

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

java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the OWLEquivalentDataPropertiesAxioms that make the specified property equivalent to some other data property expression(s).

java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the OWLEquivalentObjectPropertiesAxioms that make the specified property equivalent to some other object property expression(s).

java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the OWLFunctionalDataPropertyAxioms contained in this ontology that make the specified data property functional.

java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the OWLFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property functional.

java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
Gets the set of general axioms in this ontology.

java.util.Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.

java.util.Set<OWLOntology> getImports()
Gets the set of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation.

java.util.Set<OWLOntology> getImportsClosure()
Gets the set of loaded ontologies that this ontology is related to via the reflexive transitive closure of the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural Specification.

java.util.Set<OWLImportsDeclaration> getImportsDeclarations()
Gets the set of imports declarations for this ontology.

java.util.Set<OWLNamedIndividual> getIndividualsInSignature()
A convenience method that obtains the individuals that are in the signature of this object

java.util.Set<OWLNamedIndividual> getIndividualsInSignature(boolean includeImportsClosure)
Gets the named individuals that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.

java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.getProperties().

java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.

int getLogicalAxiomCount()
Gets the number of logical axioms in this ontology.

java.util.Set<OWLLogicalAxiom> getLogicalAxioms()
Gets all of the axioms in the ontology that affect the logical meaning of the ontology.

java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the OWLNegativeDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the OWLNegativeObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

java.util.Set<OWLObjectProperty> getObjectPropertiesInSignature()
A convenience method that obtains the object properties that are in the signature of this object

java.util.Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean includeImportsClosure)
Gets the object properties that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the OWLObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the OWLObjectPropertyDomainAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the OWLObjectPropertyRangeAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
Gets the OWLSubObjectPropertyOfAxioms where the sub-property is equal to the specified property.

java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
Gets the OWLSubObjectPropertyOfAxioms where the super-property (returned by OWLSubPropertyAxiom.getSuperProperty()) is equal to the specified property.

OWLOntologyID getOntologyID()
Gets the identity of this ontology (i.e.

OWLOntologyManager getOWLOntologyManager()
Gets the manager that created this ontology.

java.util.Set<OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxioms()

java.util.Set<OWLAnnotationProperty> getReferencedAnnotationProperties(boolean includeImportsClosure)

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

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)
Gets the OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.

java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.

java.util.Set<OWLEntity> getSignature()
Gets the signature of this object

java.util.Set<OWLEntity> getSignature(boolean includeImportsClosure)
Gets the entities that are in the signature of this ontology.

java.util.Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the SubAnnotationPropertyOfAxioms where the specified property is the sub-property.

java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.

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

java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.

java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.

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, getNestedClassExpressions, getOWLDataFactory, hashCode, isBottomEntity, isTopEntity, 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
`getNestedClassExpressions, isBottomEntity, isTopEntity`

Methods inherited from interface java.lang.Comparable
`compareTo`

Field Detail

internals

protected OWLOntologyImplInternals internals

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)

Description copied from interface: OWLOntology

Gets the SubAnnotationPropertyOfAxioms where the specified property is the sub-property.

Specified by:: getSubAnnotationPropertyOfAxioms in interface OWLOntology

Parameters:: subProperty - The sub-property of the axioms to be retrieved.
Returns:: A set of OWLSubAnnotationPropertyOfAxioms such that the sub-property is equal to subProperty.

getAnnotationPropertyDomainAxioms

public java.util.Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLOntology

Gets the OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.

Specified by:: getAnnotationPropertyDomainAxioms in interface OWLOntology

Parameters:: property - The property that the axiom specifies a domain for.
Returns:: A set of OWLAnnotationPropertyDomainAxioms such that the property is equal to property.

getAnnotationPropertyRangeAxioms

public java.util.Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLOntology

Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.

Specified by:: getAnnotationPropertyRangeAxioms in interface OWLOntology

Parameters:: property - The property that the axiom specifies a range for.
Returns:: A set of OWLAnnotationPropertyRangeAxioms such that the property is equal to property.

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:

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

Specified by:: 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.

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)

Determines if this ontology contains the specified axiom, ignoring any annotations on this axiom.

Specified by:: containsAxiomIgnoreAnnotations in interface OWLOntology

Parameters:: axiom - The axiom to test for.
Returns:: true if this ontology contains this axiom with or without annotations.

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom,
                                              boolean includeImportsClosure)

Determines if this ontology and possibly its imports closure contains the specified axiom, ignoring any annotations on this axiom.

Specified by:: containsAxiomIgnoreAnnotations in interface OWLOntology

Parameters:: axiom - The axiom to test for.; includeImportsClosure - if true the imports closure of this ontology will be searched for the specified axiom. If false only this ontology will be searched for the specifed axiom.
Returns:: true if this ontology contains this axiom with or without annotations.

getAxiomsIgnoreAnnotations

public java.util.Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom)

Gets the set of axioms that have the same "logical structure" as the specified axiom.

Specified by:: getAxiomsIgnoreAnnotations in interface OWLOntology

Parameters:: axiom - The axiom that specifies the logical structure of the axioms to retrieve
Returns:: A set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.

getAxiomsIgnoreAnnotations

public java.util.Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom,
                                                          boolean includeImportsClosure)

Gets the set of axioms that have the same "logical structure" as the specified axiom, possibly searching the imports closure of this ontology.

Specified by:: getAxiomsIgnoreAnnotations in interface OWLOntology

Parameters:: axiom - The axiom that specifies the logical structure of the axioms to retrieve. If this axiom is annotated then the annotations are ignored.; includeImportsClosure - if true then axioms in the imports closure of this ontology are returned, if false only axioms in this ontology will be returned.
Returns:: A set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.

containsClassInSignature

public boolean containsClassInSignature(IRI owlClassIRI)

Description copied from interface: OWLOntology

Determines if the signature of this ontology contains an OWLClass with the specified IRI.

Specified by:: containsClassInSignature in interface OWLOntology

Parameters:: owlClassIRI - The IRI of the OWLClass to check for.
Returns:: true if the signature of this ontology contains an OWLClass that has owlClassIRI as its IRI, otherwise false.

containsClassInSignature

public boolean containsClassInSignature(IRI owlClassIRI,
                                        boolean includeImportsClosure)

Description copied from interface: OWLOntology

Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLClass that has the specified IRI.

Specified by:: containsClassInSignature in interface OWLOntology

Parameters:: owlClassIRI - The IRI of the class to check for; includeImportsClosure - true if the signature of the ontologies in the imports closure of this ontology should be checked, false if just the signature of this ontology should be chekced.
Returns:: If includeImportsClosure=true then returns true if there is an OWLClass with owlClassIRI as its IRI in the signature of at least one ontology in the imports clousre of this ontology and false if this is not the case. If includeImportsClosure=false then returns true if the signature of this ontology contains an OWLClass that has owlClassIRI as its IRI and false if the signature of this ontology does not contain a class with owlClassIRI as its IRI.

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI propIRI)

Description copied from interface: OWLOntology

Determines if the signature of this ontology contains an OWLObjectProperty with the specified IRI.

Specified by:: containsObjectPropertyInSignature in interface OWLOntology

Parameters:: propIRI - The IRI of the OWLObjectProperty to check for.
Returns:: true if the signature of this ontology contains an OWLObjectProperty that has owlObjectPropertyIRI as its IRI, otherwise false.

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI propIRI,
                                                 boolean includeImportsClosure)

Description copied from interface: OWLOntology

Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLObjectProperty that has the specified IRI.

Specified by:: containsObjectPropertyInSignature in interface OWLOntology

Parameters:: propIRI - The IRI of the OWLObjectProperty to check for; includeImportsClosure - true if the signature of the ontologies in the imports closure of this ontology should be checked, false if just the signature of this ontology should be chekced.
Returns:: If includeImportsClosure=true then returns true if there is an OWLObjectProperty with owlObjectPropertyIRI as its IRI in the signature of at least one ontology in the imports clousre of this ontology and false if this is not the case. If includeImportsClosure=false then returns true if the signature of this ontology contains an OWLObjectProperty that has owlObjectPropertyIRI as its IRI and false if the signature of this ontology does not contain a class with owlObjectPropertyIRI as its IRI.

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI propIRI)

Description copied from interface: OWLOntology

Determines if the signature of this ontology contains an OWLDataProperty with the specified IRI.

Specified by:: containsDataPropertyInSignature in interface OWLOntology

Parameters:: propIRI - The IRI of the OWLDataProperty to check for.
Returns:: true if the signature of this ontology contains an OWLDataProperty that has owlDataPropertyIRI as its IRI, otherwise false.

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI propIRI,
                                               boolean includeImportsClosure)

Description copied from interface: OWLOntology

Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLDataProperty that has the specified IRI.

Specified by:: containsDataPropertyInSignature in interface OWLOntology

Parameters:: propIRI - The IRI of the OWLDataProperty to check for; includeImportsClosure - true if the signature of the ontologies in the imports closure of this ontology should be checked, false if just the signature of this ontology should be chekced.
Returns:: If includeImportsClosure=true then returns true if there is an OWLDataProperty with owlDataPropertyIRI as its IRI in the signature of at least one ontology in the imports clousre of this ontology and false if this is not the case. If includeImportsClosure=false then returns true if the signature of this ontology contains an OWLDataProperty that has owlDataPropertyIRI as its IRI and false if the signature of this ontology does not contain a class with owlDataPropertyIRI as its IRI.

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI propIRI)

Description copied from interface: OWLOntology

Determines if the signature of this ontology contains an OWLAnnotationProperty with the specified IRI.

Specified by:: containsAnnotationPropertyInSignature in interface OWLOntology

Parameters:: propIRI - The IRI of the OWLAnnotationProperty to check for.
Returns:: true if the signature of this ontology contains an OWLAnnotationProperty that has owlAnnotationPropertyIRI as its IRI, otherwise false.

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI propIRI,
                                                     boolean includeImportsClosure)

Description copied from interface: OWLOntology

Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLAnnotationProperty that has the specified IRI.

Specified by:: containsAnnotationPropertyInSignature in interface OWLOntology

Parameters:: propIRI - The IRI of the OWLAnnotationProperty to check for; includeImportsClosure - true if the signature of the ontologies in the imports closure of this ontology should be checked, false if just the signature of this ontology should be chekced.
Returns:: If includeImportsClosure=true then returns true if there is an OWLAnnotationProperty with owlAnnotationPropertyIRI as its IRI in the signature of at least one ontology in the imports clousre of this ontology and false if this is not the case. If includeImportsClosure=false then returns true if the signature of this ontology contains an OWLAnnotationProperty that has owlAnnotationPropertyIRI as its IRI and false if the signature of this ontology does not contain a class with owlAnnotationPropertyIRI as its IRI.

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI individualIRI)

Description copied from interface: OWLOntology

Determines if the signature of this ontology contains an OWLNamedIndividual with the specified IRI.

Specified by:: containsIndividualInSignature in interface OWLOntology

Parameters:: individualIRI - The IRI of the OWLNamedIndividual to check for.
Returns:: true if the signature of this ontology contains an OWLNamedIndividual that has owlIndividualIRI as its IRI, otherwise false.

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI individualIRI,
                                             boolean includeImportsClosure)

Description copied from interface: OWLOntology

Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLNamedIndividual that has the specified IRI.

Specified by:: containsIndividualInSignature in interface OWLOntology

Parameters:: individualIRI - The IRI of the OWLNamedIndividual to check for; includeImportsClosure - true if the signature of the ontologies in the imports closure of this ontology should be checked, false if just the signature of this ontology should be chekced.
Returns:: If includeImportsClosure=true then returns true if there is an OWLNamedIndividual with owlIndividualIRI as its IRI in the signature of at least one ontology in the imports closure of this ontology and false if this is not the case. If includeImportsClosure=false then returns true if the signature of this ontology contains an OWLNamedIndividual that has owlIndividualIRI as its IRI and false if the signature of this ontology does not contain a class with owlIndividualIRI as its IRI.

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI datatypeIRI)

Description copied from interface: OWLOntology

Determines if the signature of this ontology contains an OWLDatatype with the specified IRI.

Specified by:: containsDatatypeInSignature in interface OWLOntology

Parameters:: datatypeIRI - The IRI of the OWLDatatype to check for.
Returns:: true if the signature of this ontology contains an OWLDatatype that has owlDatatypeIRI as its IRI, otherwise false.

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI datatypeIRI,
                                           boolean includeImportsClosure)

Description copied from interface: OWLOntology

Determines if the signature of this ontology, or possibly the signature of one of the ontologies in the imports closure of this ontology, contains an OWLDatatype that has the specified IRI.

Specified by:: containsDatatypeInSignature in interface OWLOntology

Parameters:: datatypeIRI - The IRI of the OWLDatatype to check for; includeImportsClosure - true if the signature of the ontologies in the imports closure of this ontology should be checked, false if just the signature of this ontology should be chekced.
Returns:: If includeImportsClosure=true then returns true if there is an OWLDatatype with owlDatatypeIRI as its IRI in the signature of at least one ontology in the imports closure of this ontology and false if this is not the case. If includeImportsClosure=false then returns true if the signature of this ontology contains an OWLDatatype that has owlDatatypeIRI as its IRI and false if the signature of this ontology does not contain a class with owlDatatypeIRI as its IRI.

getEntitiesInSignature

public java.util.Set<OWLEntity> getEntitiesInSignature(IRI iri)

Gets the entities in the signature of this ontology that have the specified IRI

Specified by:: getEntitiesInSignature 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.

getEntitiesInSignature

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

Gets the entities in the signature of this ontology, and possibly its imports closure, that have the specified IRI

Specified by:: getEntitiesInSignature 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.

containsEntityInSignature

public boolean containsEntityInSignature(OWLEntity owlEntity)

Description copied from interface: OWLOntology

Determines if the signature of the ontology contains the specified entity.

Specified by:: containsEntityInSignature in interface OWLOntology

Parameters:: owlEntity - The entity
Returns:: true if the signature of this ontology contains owlEntity, otherwise false.

containsEntityInSignature

public boolean containsEntityInSignature(OWLEntity owlEntity,
                                         boolean includeImportsClosure)

Determines if the ontology, and possibly its imports closure, contains a reference to the specified entity.

Specified by:: containsEntityInSignature 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.

containsEntityInSignature

public boolean containsEntityInSignature(IRI entityIRI)

Description copied from interface: OWLOntology

Determines if the signature of this ontology contains a class, object property, data property, named individual, annotation property or datatype with the specified IRI.

Specified by:: containsEntityInSignature in interface OWLOntology

Parameters:: entityIRI - The IRI to test for.
Returns:: true if the signature of this ontology contains a class, object property, data property, named individual, annotation property or datatype with the specified IRI.

containsEntityInSignature

public boolean containsEntityInSignature(IRI entityIRI,
                                         boolean includeImportsClosure)

Description copied from interface: OWLOntology

Determines if the signature of this ontology and possibly its imports closure contains a class, object property, data property, named individual, annotation property or datatype with the specified IRI.

Specified by:: containsEntityInSignature in interface OWLOntology

Parameters:: entityIRI - The IRI to test for.; includeImportsClosure - Specifies whether the imports closure of this ontology should be examined or not.
Returns:: If includeImportsClosure=true then returns true if the signature of this ontology or the signature of an ontology in the imports closure of this ontology contains a class, object property, data property, named individual, annotation property or datatype with the specified IRI. If includeImportsClosure=false then returns true if the signature of this ontology contains a class, object property, data property, named individual, annotation property or datatype with the specified IRI.

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()

getSignature

public java.util.Set<OWLEntity> getSignature()

Description copied from interface: OWLObject

Gets the signature of this object

Specified by:: getSignature in interface OWLObject
Specified by:: getSignature in interface OWLOntology
Overrides:: getSignature in class OWLObjectImpl

Returns:: A set of entities that correspond to the signature of this object.
See Also:: OWLOntology.getClassesInSignature(), OWLOntology.getObjectPropertiesInSignature(), OWLOntology.getDataPropertiesInSignature(), OWLOntology.getIndividualsInSignature()

getSignature

public java.util.Set<OWLEntity> getSignature(boolean includeImportsClosure)

Description copied from interface: OWLOntology

Gets the entities that are in the signature of this ontology. The signature of an ontology is the set of entities that are used to build axioms and annotations in the ontology. (See The OWL 2 Structural Specification)

Specified by:: getSignature in interface OWLOntology

Parameters:: includeImportsClosure - Specifies whether or not the returned set of entities should represent the signature of just this ontology, or the signature of the imports closure of this ontology.
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.
See Also:: OWLOntology.getClassesInSignature(), OWLOntology.getObjectPropertiesInSignature(), OWLOntology.getDataPropertiesInSignature(), OWLOntology.getIndividualsInSignature()

getClassesInSignature

public java.util.Set<OWLClass> getClassesInSignature()

Description copied from interface: OWLObject

A convenience method that obtains the classes that are in the signature of this object

Specified by:: getClassesInSignature in interface OWLObject
Specified by:: getClassesInSignature in interface OWLOntology
Overrides:: getClassesInSignature in class OWLObjectImpl

Returns:: A set containing the classes that are in the signature of this object.
See Also:: OWLOntology.getSignature()

getDataPropertiesInSignature

public java.util.Set<OWLDataProperty> getDataPropertiesInSignature()

Description copied from interface: OWLObject

A convenience method that obtains the data properties that are in the signature of this object

Specified by:: getDataPropertiesInSignature in interface OWLObject
Specified by:: getDataPropertiesInSignature in interface OWLOntology
Overrides:: getDataPropertiesInSignature in class OWLObjectImpl

Returns:: A set containing the data properties that are in the signature of this object.
See Also:: OWLOntology.getSignature()

getObjectPropertiesInSignature

public java.util.Set<OWLObjectProperty> getObjectPropertiesInSignature()

Description copied from interface: OWLObject

A convenience method that obtains the object properties that are in the signature of this object

Specified by:: getObjectPropertiesInSignature in interface OWLObject
Specified by:: getObjectPropertiesInSignature in interface OWLOntology
Overrides:: getObjectPropertiesInSignature in class OWLObjectImpl

Returns:: A set containing the object properties that are in the signature of this object.
See Also:: OWLOntology.getSignature()

getIndividualsInSignature

public java.util.Set<OWLNamedIndividual> getIndividualsInSignature()

Description copied from interface: OWLObject

A convenience method that obtains the individuals that are in the signature of this object

Specified by:: getIndividualsInSignature in interface OWLObject
Specified by:: getIndividualsInSignature in interface OWLOntology
Overrides:: getIndividualsInSignature in class OWLObjectImpl

Returns:: A set containing the individuals that are in the signature of this object.
See Also:: OWLOntology.getSignature()

getDatatypesInSignature

public java.util.Set<OWLDatatype> getDatatypesInSignature()

A convenience method that obtains the datatypes that are in the signature of this object

Specified by:: getDatatypesInSignature in interface OWLObject
Specified by:: getDatatypesInSignature in interface OWLOntology
Overrides:: getDatatypesInSignature in class OWLObjectImpl

Returns:: A set containing the datatypes that are in the signature of this object.
See Also:: OWLOntology.getSignature()

getClassesInSignature

public java.util.Set<OWLClass> getClassesInSignature(boolean includeImportsClosure)

Gets the classes that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

Specified by:: getClassesInSignature 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.

getObjectPropertiesInSignature

public java.util.Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean includeImportsClosure)

Gets the object properties that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

Specified by:: getObjectPropertiesInSignature 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.

getDataPropertiesInSignature

public java.util.Set<OWLDataProperty> getDataPropertiesInSignature(boolean includeImportsClosure)

Gets the data properties that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

Specified by:: getDataPropertiesInSignature 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.

getIndividualsInSignature

public java.util.Set<OWLNamedIndividual> getIndividualsInSignature(boolean includeImportsClosure)

Gets the named individuals that are referenced by axioms in this ontology, and possibly the imports closure of this ontology.

Specified by:: getIndividualsInSignature 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.
See Also:: OWLOntology.getSignature()

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

getDatatypesInSignature

public java.util.Set<OWLDatatype> getDatatypesInSignature(boolean includeImportsClosure)

Gets the datatypes that are referenced by this ontology and possibly its imports closure

Specified by:: getDatatypesInSignature 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
See Also:: OWLOntology.getSignature()

getAnnotationPropertiesInSignature

public java.util.Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()

Description copied from interface: OWLOntology

Gets the annotation properties that are in the signature of this ontology.

Specified by:: getAnnotationPropertiesInSignature in interface OWLOntology

Returns:: A set of annotation properties, which are in the signature of 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.
See Also:: OWLOntology.getSignature()

getReferencedAnnotationProperties

public java.util.Set<OWLAnnotationProperty> getReferencedAnnotationProperties(boolean includeImportsClosure)

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.

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

Description copied from interface: OWLOntology

Gets the OWLDatatypeDefinitionAxioms contained in this ontology that provide a definition for the specified datatype.

Specified by:: getDatatypeDefinitions in interface OWLOntology

Parameters:: datatype - The datatype for which the returned axioms provide a definition.
Returns:: A set of OWLDatatypeDefinitionAxioms such that for each axiom in the set OWLDatatypeDefinitionAxiom.getDatatype() is equal to datatype. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

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 OWLSubObjectPropertyOfAxioms where the sub-property is equal to the specified property.

Specified by:: getObjectSubPropertyAxiomsForSubProperty in interface OWLOntology

Parameters:: property - The property which is equal to the sub property of the retrived axioms.
Returns:: A set of OWLSubObjectPropertyOfAxioms such that each axiom in the set is of the form SubObjectPropertyOf(subProperty, pe). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getObjectSubPropertyAxiomsForSuperProperty

public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLSubObjectPropertyOfAxioms where the super-property (returned by OWLSubPropertyAxiom.getSuperProperty()) is equal to the specified property.

Specified by:: getObjectSubPropertyAxiomsForSuperProperty in interface OWLOntology

Parameters:: property - The property which is equal to the super-property of the retrived axioms.
Returns:: A set of OWLSubObjectPropertyOfAxioms such that each axiom in the set is of the form SubObjectPropertyOf(pe, superProperty). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getObjectPropertyDomainAxioms

public java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLObjectPropertyDomainAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

Specified by:: getObjectPropertyDomainAxioms in interface OWLOntology

Parameters:: property - The property which is equal to the property of the retrived axioms.
Returns:: A set of OWLObjectPropertyDomainAxioms such that each axiom in the set is of the form ObjectPropertyDomain(pe, ce). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getObjectPropertyRangeAxioms

public java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLObjectPropertyRangeAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

Specified by:: getObjectPropertyRangeAxioms in interface OWLOntology

Parameters:: property - The property which is equal to the property of the retieved axioms.
Returns:: A set of OWLObjectPropertyRangeAxioms such that each axiom in the set is of the form ObjectPropertyRange(property, ce). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getInverseObjectPropertyAxioms

public java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.getProperties().

Specified by:: getInverseObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property which is equal to the property of the retrieved axioms.
Returns:: A set of OWLInverseObjectPropertiesAxioms such that each axiom in the set is of the form InverseObjectProperties(property, pe) or InverseObjectProperties(pe, property). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getEquivalentObjectPropertiesAxioms

public java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLEquivalentObjectPropertiesAxioms that make the specified property equivalent to some other object property expression(s).

Specified by:: getEquivalentObjectPropertiesAxioms in interface OWLOntology

Parameters:: property - The property that the retrieved axioms make equivalent to some other property expressions. For each axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties() will contain property.
Returns:: A set of OWLEquivalentObjectPropertiesAxioms such that each axiom in the set is of the form EquivalentObjectProperties(pe0, ..., property, ..., pen). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDisjointObjectPropertiesAxioms

public java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLDisjointObjectPropertiesAxioms that make the specified property disjoint with some other object property expression(s).

Specified by:: getDisjointObjectPropertiesAxioms in interface OWLOntology

Parameters:: property - The property that the retrieved axioms makes disjoint to some other property expressions. For each axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties() will contain property.
Returns:: A set of OWLDisjointObjectPropertiesAxioms such that each axiom in the set is of the form DisjointObjectProperties(pe0, ..., property, ..., pen). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getFunctionalObjectPropertyAxioms

public java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property functional.

Specified by:: getFunctionalObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made functional by the axioms.
Returns:: A set of OWLFunctionalObjectPropertyAxioms such that each axiom in the set is of the form FunctionalObjectProperty(property).

getInverseFunctionalObjectPropertyAxioms

public java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.

Specified by:: getInverseFunctionalObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made inverse functional by the axioms.
Returns:: A set of OWLFunctionalObjectPropertyAxioms such that each axiom in the set is of the form InverseFunctionalObjectProperty(property).

getSymmetricObjectPropertyAxioms

public java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.

Specified by:: getSymmetricObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made symmetric by the axioms.
Returns:: A set of OWLSymmetricObjectPropertyAxioms such that each axiom in the set is of the form SymmetricObjectProperty(property).

getAsymmetricObjectPropertyAxioms

public java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property asymmetric.

Specified by:: getAsymmetricObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made asymmetric by the axioms.
Returns:: A set of OWLAsymmetricObjectPropertyAxioms such that each axiom in the set is of the form AsymmetricObjectProperty(property).

getReflexiveObjectPropertyAxioms

public java.util.Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.

Specified by:: getReflexiveObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made reflexive by the axioms.
Returns:: A set of OWLReflexiveObjectPropertyAxioms such that each axiom in the set is of the form ReflexiveObjectProperty(property).

getIrreflexiveObjectPropertyAxioms

public java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.

Specified by:: getIrreflexiveObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made irreflexive by the axioms.
Returns:: A set of OWLIrreflexiveObjectPropertyAxioms such that each axiom in the set is of the form IrreflexiveObjectProperty(property).

getTransitiveObjectPropertyAxioms

public java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.

Specified by:: getTransitiveObjectPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made transitive by the axioms.
Returns:: A set of OWLTransitiveObjectPropertyAxioms such that each axiom in the set is of the form TransitiveObjectProperty(property).

getFunctionalDataPropertyAxioms

public java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLFunctionalDataPropertyAxioms contained in this ontology that make the specified data property functional.

Specified by:: getFunctionalDataPropertyAxioms in interface OWLOntology

Parameters:: property - The property (returned by OWLUnaryPropertyAxiom.getProperty()) that is made functional by the axioms.
Returns:: A set of OWLFunctionalDataPropertyAxioms such that each axiom in the set is of the form FunctionalDataProperty(property). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDataSubPropertyAxiomsForSubProperty

public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)

Description copied from interface: OWLOntology

Gets the OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property.

Specified by:: getDataSubPropertyAxiomsForSubProperty in interface OWLOntology

Parameters:: lhsProperty - The property which is equal to the sub property of the retrived axioms.
Returns:: A set of OWLSubDataPropertyOfAxioms such that each axiom in the set is of the form SubDataPropertyOf(subProperty, pe). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDataSubPropertyAxiomsForSuperProperty

public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)

Description copied from interface: OWLOntology

Gets the OWLSubDataPropertyOfAxioms where the super-property (returned by OWLSubPropertyAxiom.getSuperProperty()) is equal to the specified property.

Specified by:: getDataSubPropertyAxiomsForSuperProperty in interface OWLOntology

Parameters:: property - The property which is equal to the super-property of the retrived axioms.
Returns:: A set of OWLSubDataPropertyOfAxioms such that each axiom in the set is of the form SubDataPropertyOf(pe, superProperty). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDataPropertyDomainAxioms

public java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)

Description copied from interface: OWLOntology

Gets the OWLDataPropertyDomainAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

Specified by:: getDataPropertyDomainAxioms in interface OWLOntology

Parameters:: property - The property which is equal to the property of the retrived axioms.
Returns:: A set of OWLDataPropertyDomainAxioms such that each axiom in the set is of the form DataPropertyDomain(pe, ce). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDataPropertyRangeAxioms

public java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)

Description copied from interface: OWLOntology

Gets the OWLDataPropertyRangeAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.

Specified by:: getDataPropertyRangeAxioms in interface OWLOntology

Parameters:: property - The property which is equal to the property of the retieved axioms.
Returns:: A set of OWLDataPropertyRangeAxioms such that each axiom in the set is of the form DataPropertyRange(property, ce). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getEquivalentDataPropertiesAxioms

public java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)

Description copied from interface: OWLOntology

Gets the OWLEquivalentDataPropertiesAxioms that make the specified property equivalent to some other data property expression(s).

Specified by:: getEquivalentDataPropertiesAxioms in interface OWLOntology

Parameters:: property - The property that the retrieved axioms make equivalent to some other property expressions. For each axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties() will contain property.
Returns:: A set of OWLEquivalentDataPropertiesAxioms such that each axiom in the set is of the form EquivalentDataProperties(pe0, ..., property, ..., pen). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDisjointDataPropertiesAxioms

public java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)

Description copied from interface: OWLOntology

Gets the OWLDisjointDataPropertiesAxioms that make the specified property disjoint with some other data property expression(s).

Specified by:: getDisjointDataPropertiesAxioms in interface OWLOntology

Parameters:: property - The property that the retrieved axioms makes disjoint to some other property expressions. For each axiom retrieved the set of properties returned by OWLNaryPropertyAxiom.getProperties() will contain property.
Returns:: A set of OWLDisjointDataPropertiesAxioms such that each axiom in the set is of the form DisjointDataProperties(pe0, ..., property, ..., pen). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getClassAssertionAxioms

public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLOntology

Gets the OWLClassAssertionAxioms contained in this ontology that make the specified individual an instance of some class expression.

Specified by:: getClassAssertionAxioms in interface OWLOntology

Parameters:: individual - The individual that the returned axioms make an instance of some class expression.
Returns:: A set of OWLClassAssertionAxioms such that each axiom in the set is of the form ClassAssertion(ce, individual) (for each axiom OWLClassAssertionAxiom.getIndividual() is equal to individual). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getClassAssertionAxioms

public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)

Description copied from interface: OWLOntology

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

Specified by:: getClassAssertionAxioms in interface OWLOntology

Parameters:: type - The class expression that the returned axioms make a type for some individual.
Returns:: A set of OWLClassAssertionAxioms such that each axiom in the set is of the form ClassAssertion(ce, ind) (for each axiom OWLClassAssertionAxiom.getClassExpression() is equal to ce). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDataPropertyAssertionAxioms

public java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLOntology

Gets the OWLDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:: getDataPropertyAssertionAxioms in interface OWLOntology

Parameters:: individual - The individual that the returned axioms have as a subject.
Returns:: A set of OWLDataPropertyAssertionAxioms such that each axiom in the set is of the form DataPropertyAssertion(dp, individual, l) (for each axiom OWLPropertyAssertionAxiom.getSubject() is equal to individual). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getObjectPropertyAssertionAxioms

public java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLOntology

Gets the OWLObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:: getObjectPropertyAssertionAxioms in interface OWLOntology

Parameters:: individual - The individual that the returned axioms have as a subject.
Returns:: A set of OWLObjectPropertyAssertionAxioms such that each axiom in the set is of the form ObjectPropertyAssertion(dp, individual, obj) (for each axiom OWLPropertyAssertionAxiom.getSubject() is equal to individual). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getNegativeObjectPropertyAssertionAxioms

public java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLOntology

Gets the OWLNegativeObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:: getNegativeObjectPropertyAssertionAxioms in interface OWLOntology

Parameters:: individual - The individual that the returned axioms have as a subject.
Returns:: A set of OWLNegativeObjectPropertyAssertionAxioms such that each axiom in the set is of the form NegativeObjectPropertyAssertion(dp, individual, obj) (for each axiom OWLPropertyAssertionAxiom.getSubject() is equal to individual). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getNegativeDataPropertyAssertionAxioms

public java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)

Description copied from interface: OWLOntology

Gets the OWLNegativeDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.

Specified by:: getNegativeDataPropertyAssertionAxioms in interface OWLOntology

Parameters:: individual - The individual that the returned axioms have as a subject.
Returns:: A set of OWLNegativeDataPropertyAssertionAxioms such that each axiom in the set is of the form NegativeDataPropertyAssertion(dp, individual, obj) (for each axiom OWLPropertyAssertionAxiom.getSubject() is equal to individual). The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getSameIndividualAxioms

public java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)

Description copied from interface: OWLOntology

Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.

Specified by:: getSameIndividualAxioms in interface OWLOntology

Parameters:: individual - The individual that the returned axioms make the same as some other individual.
Returns:: A set of OWLSameIndividualAxioms such that each axiom in the set is of the form SameIndividual(individual, ind, ...) (for each axiom returned OWLNaryIndividualAxiom.getIndividuals() contains individual. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

getDifferentIndividualAxioms

public java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)

Description copied from interface: OWLOntology

Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.

Specified by:: getDifferentIndividualAxioms in interface OWLOntology

Parameters:: individual - The individual that the returned axioms make the different as some other individual.
Returns:: A set of OWLDifferentIndividualsAxioms such that each axiom in the set is of the form DifferentIndividuals(individual, ind, ...) (for each axiom returned OWLNaryIndividualAxiom.getIndividuals() contains individual. The set that is returned is a copy - it will not be updated if the ontology changes. It is therefore safe to apply changes to this ontology while iterating over this set.

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

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

internals

OWLOntologyImpl

getOWLOntologyManager

getOntologyID

isAnonymous

compareObjectOfSameType

isEmpty

getAxiomCount

getAxioms

getAxioms

getAxioms

getAxiomCount

getAxiomCount

getLogicalAxioms

getLogicalAxiomCount

getAnnotations

getSubAnnotationPropertyOfAxioms

getAnnotationPropertyDomainAxioms

getAnnotationPropertyRangeAxioms

getDeclarationAxioms

getAnnotationAssertionAxioms

getAnnotationAssertionAxioms

getGeneralClassAxioms

getPropertyChainSubPropertyAxioms

containsAxiom

containsAxiom

containsAxiomIgnoreAnnotations

containsAxiomIgnoreAnnotations

getAxiomsIgnoreAnnotations

getAxiomsIgnoreAnnotations

containsClassInSignature

containsClassInSignature

containsObjectPropertyInSignature

containsObjectPropertyInSignature

containsDataPropertyInSignature

containsDataPropertyInSignature

containsAnnotationPropertyInSignature

containsAnnotationPropertyInSignature

containsIndividualInSignature

containsIndividualInSignature

containsDatatypeInSignature

containsDatatypeInSignature

getEntitiesInSignature

getEntitiesInSignature

containsReference

containsReference

containsReference

containsReference

containsReference

containsReference

isDeclared

isDeclared

containsEntityInSignature

containsEntityInSignature

containsEntityInSignature

containsEntityInSignature

getReferencingAxioms

getReferencingAxioms

getReferencingAxioms

getAxioms

getAxioms

getAxioms

getAxioms

getAxioms

getAxioms

getReferencedObjects

getSignature

getSignature

getClassesInSignature

getDataPropertiesInSignature

getObjectPropertiesInSignature

getIndividualsInSignature

getDatatypesInSignature

getClassesInSignature

getObjectPropertiesInSignature

getDataPropertiesInSignature

getIndividualsInSignature

getReferencedAnonymousIndividuals

getDatatypesInSignature

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