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:

Serializable, Comparable<OWLObject>, OWLMutableOntology, OWLObject, OWLOntology

public class OWLOntologyImpl
extends OWLObjectImpl
implements OWLMutableOntology, Serializable

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

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	OWLOntologyImpl.OWLOntologyChangeFilter

Field Summary

Fields

Modifier and Type	Field and Description
protected Internals	internals
protected OWLOntologyID	ontologyID

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

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(OWLNamedObjectVisitor visitor)
void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
List<OWLOntologyChange>	applyChange(OWLOntologyChange change)
List<OWLOntologyChange>	applyChanges(List<OWLOntologyChange> changes)
protected int	compareObjectOfSameType(OWLObject object)
boolean	containsAnnotationPropertyInSignature(IRI propIRI)
boolean	containsAnnotationPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
boolean	containsAxiom(OWLAxiom axiom)
boolean	containsAxiom(OWLAxiom axiom, boolean includeImportsClosure)
boolean	containsAxiomIgnoreAnnotations(OWLAxiom axiom)
boolean	containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
boolean	containsClassInSignature(IRI owlClassIRI)
boolean	containsClassInSignature(IRI owlClassIRI, boolean includeImportsClosure)
boolean	containsDataPropertyInSignature(IRI propIRI)
boolean	containsDataPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
boolean	containsDatatypeInSignature(IRI datatypeIRI)
boolean	containsDatatypeInSignature(IRI datatypeIRI, boolean includeImportsClosure)
boolean	containsEntityInSignature(IRI entityIRI)
boolean	containsEntityInSignature(IRI entityIRI, boolean includeImportsClosure)
boolean	containsEntityInSignature(OWLEntity owlEntity)
boolean	containsEntityInSignature(OWLEntity owlEntity, boolean includeImportsClosure)
boolean	containsIndividualInSignature(IRI individualIRI)
boolean	containsIndividualInSignature(IRI individualIRI, boolean includeImportsClosure)
boolean	containsObjectPropertyInSignature(IRI propIRI)
boolean	containsObjectPropertyInSignature(IRI propIRI, boolean includeImportsClosure)
boolean	containsReference(OWLAnnotationProperty property)
boolean	containsReference(OWLClass owlClass)
boolean	containsReference(OWLDataProperty prop)
boolean	containsReference(OWLDatatype dt)
boolean	containsReference(OWLNamedIndividual ind)
boolean	containsReference(OWLObjectProperty prop)
boolean	equals(Object obj)
Set<OWLAxiom>	getABoxAxioms(boolean includeImportsClosure)
Set<OWLAnnotationAssertionAxiom>	getAnnotationAssertionAxioms(OWLAnnotationSubject subject)
Set<OWLAnnotationProperty>	getAnnotationPropertiesInSignature()
Set<OWLAnnotationPropertyDomainAxiom>	getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Set<OWLAnnotationPropertyRangeAxiom>	getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Set<OWLAnnotation>	getAnnotations()
Set<OWLAnonymousIndividual>	getAnonymousIndividuals()
Set<OWLAsymmetricObjectPropertyAxiom>	getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
int	getAxiomCount()
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType)
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure)
Set<OWLAxiom>	getAxioms()
<T extends OWLAxiom> Set<T>	getAxioms(AxiomType<T> axiomType)
<T extends OWLAxiom> Set<T>	getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure)
Set<OWLAnnotationAxiom>	getAxioms(OWLAnnotationProperty prop)
Set<OWLClassAxiom>	getAxioms(OWLClass cls)
Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty prop)
Set<OWLDatatypeDefinitionAxiom>	getAxioms(OWLDatatype datatype)
Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual)
Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression prop)
Set<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Set<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLClassExpression type)
Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLIndividual individual)
Set<OWLClass>	getClassesInSignature()
Set<OWLClass>	getClassesInSignature(boolean includeImportsClosure)
Set<OWLDataProperty>	getDataPropertiesInSignature()
Set<OWLDataProperty>	getDataPropertiesInSignature(boolean includeImportsClosure)
Set<OWLDataPropertyAssertionAxiom>	getDataPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLDataPropertyDomainAxiom>	getDataPropertyDomainAxioms(OWLDataProperty property)
Set<OWLDataPropertyRangeAxiom>	getDataPropertyRangeAxioms(OWLDataProperty property)
Set<OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
Set<OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
Set<OWLDatatypeDefinitionAxiom>	getDatatypeDefinitions(OWLDatatype datatype)
Set<OWLDatatype>	getDatatypesInSignature()
Set<OWLDatatype>	getDatatypesInSignature(boolean includeImportsClosure)
Set<OWLDeclarationAxiom>	getDeclarationAxioms(OWLEntity entity)
Set<OWLDifferentIndividualsAxiom>	getDifferentIndividualAxioms(OWLIndividual individual)
Set<OWLOntology>	getDirectImports()
Set<IRI>	getDirectImportsDocuments()
Set<OWLDisjointClassesAxiom>	getDisjointClassesAxioms(OWLClass cls)
Set<OWLDisjointDataPropertiesAxiom>	getDisjointDataPropertiesAxioms(OWLDataProperty property)
Set<OWLDisjointObjectPropertiesAxiom>	getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Set<OWLDisjointUnionAxiom>	getDisjointUnionAxioms(OWLClass owlClass)
Set<OWLEntity>	getEntitiesInSignature(IRI iri)
Set<OWLEntity>	getEntitiesInSignature(IRI iri, boolean includeImportsClosure)
Set<OWLEquivalentClassesAxiom>	getEquivalentClassesAxioms(OWLClass cls)
Set<OWLEquivalentDataPropertiesAxiom>	getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Set<OWLEquivalentObjectPropertiesAxiom>	getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Set<OWLFunctionalDataPropertyAxiom>	getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Set<OWLFunctionalObjectPropertyAxiom>	getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLClassAxiom>	getGeneralClassAxioms()
Set<OWLHasKeyAxiom>	getHasKeyAxioms(OWLClass cls)
Set<OWLOntology>	getImports()
Set<OWLOntology>	getImportsClosure()
Set<OWLImportsDeclaration>	getImportsDeclarations()
Set<OWLNamedIndividual>	getIndividualsInSignature()
Set<OWLNamedIndividual>	getIndividualsInSignature(boolean includeImportsClosure)
Set<OWLInverseFunctionalObjectPropertyAxiom>	getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLInverseObjectPropertiesAxiom>	getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLIrreflexiveObjectPropertyAxiom>	getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
int	getLogicalAxiomCount()
Set<OWLLogicalAxiom>	getLogicalAxioms()
Set<OWLNegativeDataPropertyAssertionAxiom>	getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLNegativeObjectPropertyAssertionAxiom>	getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLObjectProperty>	getObjectPropertiesInSignature()
Set<OWLObjectProperty>	getObjectPropertiesInSignature(boolean includeImportsClosure)
Set<OWLObjectPropertyAssertionAxiom>	getObjectPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLObjectPropertyDomainAxiom>	getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Set<OWLObjectPropertyRangeAxiom>	getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Set<OWLSubObjectPropertyOfAxiom>	getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
Set<OWLSubObjectPropertyOfAxiom>	getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
OWLOntologyID	getOntologyID()
OWLOntologyManager	getOWLOntologyManager()
Set<OWLAxiom>	getRBoxAxioms(boolean includeImportsClosure)
Set<OWLAnnotationProperty>	getReferencedAnnotationProperties(boolean includeImportsClosure) Deprecated.
Set<OWLAnonymousIndividual>	getReferencedAnonymousIndividuals()
Set<OWLNamedObject>	getReferencedObjects() Deprecated.
Set<OWLAxiom>	getReferencingAxioms(OWLAnonymousIndividual individual)
Set<OWLAxiom>	getReferencingAxioms(OWLEntity owlEntity)
Set<OWLAxiom>	getReferencingAxioms(OWLEntity owlEntity, boolean includeImportsClosure)
Set<OWLReflexiveObjectPropertyAxiom>	getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLSameIndividualAxiom>	getSameIndividualAxioms(OWLIndividual individual)
Set<OWLEntity>	getSignature()
Set<OWLEntity>	getSignature(boolean includeImportsClosure)
Set<OWLSubAnnotationPropertyOfAxiom>	getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Set<OWLSubClassOfAxiom>	getSubClassAxiomsForSubClass(OWLClass cls)
Set<OWLSubClassOfAxiom>	getSubClassAxiomsForSuperClass(OWLClass cls)
Set<OWLSymmetricObjectPropertyAxiom>	getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLAxiom>	getTBoxAxioms(boolean includeImportsClosure)
Set<OWLTransitiveObjectPropertyAxiom>	getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
int	hashCode()
boolean	isAnonymous()
boolean	isDeclared(OWLEntity entity)
boolean	isDeclared(OWLEntity owlEntity, boolean includeImportsClosure)
boolean	isEmpty()
String	toString()

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

compareLists, compareSets, compareTo, getNestedClassExpressions, isBottomEntity, isTopEntity

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

ontologyID

protected OWLOntologyID ontologyID

internals

protected Internals internals

Constructor Detail

OWLOntologyImpl

public OWLOntologyImpl(OWLOntologyManager manager,
               OWLOntologyID ontologyID)

Method Detail

toString

public String toString()

Overrides:

toString in class OWLObjectImpl

getOWLOntologyManager

public OWLOntologyManager getOWLOntologyManager()

Specified by:

getOWLOntologyManager in interface OWLOntology

getOntologyID

public OWLOntologyID getOntologyID()

Specified by:

getOntologyID in interface OWLOntology

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in interface OWLOntology

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface OWLOntology

getAxiomCount

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

Specified by:

getAxiomCount in interface OWLOntology

containsAxiom

public boolean containsAxiom(OWLAxiom axiom)

Specified by:

containsAxiom in interface OWLOntology

getAxiomCount

public int getAxiomCount()

Specified by:

getAxiomCount in interface OWLOntology

getAxioms

public Set<OWLAxiom> getAxioms()

Specified by:

getAxioms in interface OWLOntology

getAxioms

public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)

Specified by:

getAxioms in interface OWLOntology

getAxioms

public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                    boolean includeImportsClosure)

Specified by:

getAxioms in interface OWLOntology

getTBoxAxioms

public Set<OWLAxiom> getTBoxAxioms(boolean includeImportsClosure)

Specified by:

getTBoxAxioms in interface OWLOntology

getABoxAxioms

public Set<OWLAxiom> getABoxAxioms(boolean includeImportsClosure)

Specified by:

getABoxAxioms in interface OWLOntology

getRBoxAxioms

public Set<OWLAxiom> getRBoxAxioms(boolean includeImportsClosure)

Specified by:

getRBoxAxioms in interface OWLOntology

getAxiomCount

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

Specified by:

getAxiomCount in interface OWLOntology

getLogicalAxioms

public Set<OWLLogicalAxiom> getLogicalAxioms()

Specified by:

getLogicalAxioms in interface OWLOntology

getLogicalAxiomCount

public int getLogicalAxiomCount()

Specified by:

getLogicalAxiomCount in interface OWLOntology

getAnnotations

public Set<OWLAnnotation> getAnnotations()

Specified by:

getAnnotations in interface OWLOntology

getDeclarationAxioms

public Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity entity)

Specified by:

getDeclarationAxioms in interface OWLOntology

getAnnotationAssertionAxioms

public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject subject)

Specified by:

getAnnotationAssertionAxioms in interface OWLOntology

getGeneralClassAxioms

public Set<OWLClassAxiom> getGeneralClassAxioms()

Specified by:

getGeneralClassAxioms in interface OWLOntology

containsAxiom

public boolean containsAxiom(OWLAxiom axiom,
                    boolean includeImportsClosure)

Specified by:

containsAxiom in interface OWLOntology

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)

Specified by:

containsAxiomIgnoreAnnotations in interface OWLOntology

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom,
                                     boolean includeImportsClosure)

Specified by:

containsAxiomIgnoreAnnotations in interface OWLOntology

getAxiomsIgnoreAnnotations

public Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom)

Specified by:

getAxiomsIgnoreAnnotations in interface OWLOntology

getAxiomsIgnoreAnnotations

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

Specified by:

getAxiomsIgnoreAnnotations in interface OWLOntology

containsClassInSignature

public boolean containsClassInSignature(IRI owlClassIRI)

Specified by:

containsClassInSignature in interface OWLOntology

containsClassInSignature

public boolean containsClassInSignature(IRI owlClassIRI,
                               boolean includeImportsClosure)

Specified by:

containsClassInSignature in interface OWLOntology

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI propIRI)

Specified by:

containsObjectPropertyInSignature in interface OWLOntology

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI propIRI,
                                        boolean includeImportsClosure)

Specified by:

containsObjectPropertyInSignature in interface OWLOntology

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI propIRI)

Specified by:

containsDataPropertyInSignature in interface OWLOntology

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI propIRI,
                                      boolean includeImportsClosure)

Specified by:

containsDataPropertyInSignature in interface OWLOntology

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI propIRI)

Specified by:

containsAnnotationPropertyInSignature in interface OWLOntology

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI propIRI,
                                            boolean includeImportsClosure)

Specified by:

containsAnnotationPropertyInSignature in interface OWLOntology

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI individualIRI)

Specified by:

containsIndividualInSignature in interface OWLOntology

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI individualIRI,
                                    boolean includeImportsClosure)

Specified by:

containsIndividualInSignature in interface OWLOntology

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI datatypeIRI)

Specified by:

containsDatatypeInSignature in interface OWLOntology

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI datatypeIRI,
                                  boolean includeImportsClosure)

Specified by:

containsDatatypeInSignature in interface OWLOntology

getEntitiesInSignature

public Set<OWLEntity> getEntitiesInSignature(IRI iri)

Specified by:

getEntitiesInSignature in interface OWLOntology

getEntitiesInSignature

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

Specified by:

getEntitiesInSignature in interface OWLOntology

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

Specified by:

isDeclared in interface OWLOntology

getDatatypeDefinitions

public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)

Specified by:

getDatatypeDefinitions in interface OWLOntology

getSubAnnotationPropertyOfAxioms

public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)

Specified by:

getSubAnnotationPropertyOfAxioms in interface OWLOntology

getAnnotationPropertyDomainAxioms

public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)

Specified by:

getAnnotationPropertyDomainAxioms in interface OWLOntology

getAnnotationPropertyRangeAxioms

public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)

Specified by:

getAnnotationPropertyRangeAxioms in interface OWLOntology

isDeclared

public boolean isDeclared(OWLEntity owlEntity,
                 boolean includeImportsClosure)

Specified by:

isDeclared in interface OWLOntology

containsEntityInSignature

public boolean containsEntityInSignature(OWLEntity owlEntity)

Specified by:

containsEntityInSignature in interface OWLOntology

containsEntityInSignature

public boolean containsEntityInSignature(OWLEntity owlEntity,
                                boolean includeImportsClosure)

Specified by:

containsEntityInSignature in interface OWLOntology

containsEntityInSignature

public boolean containsEntityInSignature(IRI entityIRI)

Specified by:

containsEntityInSignature in interface OWLOntology

containsEntityInSignature

public boolean containsEntityInSignature(IRI entityIRI,
                                boolean includeImportsClosure)

Specified by:

containsEntityInSignature in interface OWLOntology

getReferencingAxioms

public Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity)

Specified by:

getReferencingAxioms in interface OWLOntology

getReferencingAxioms

public Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity,
                                 boolean includeImportsClosure)

Specified by:

getReferencingAxioms in interface OWLOntology

getReferencingAxioms

public Set<OWLAxiom> getReferencingAxioms(OWLAnonymousIndividual individual)

Specified by:

getReferencingAxioms in interface OWLOntology

getAxioms

public Set<OWLClassAxiom> getAxioms(OWLClass cls)

Specified by:

getAxioms in interface OWLOntology

getAxioms

public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression prop)

Specified by:

getAxioms in interface OWLOntology

getAxioms

public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty prop)

Specified by:

getAxioms in interface OWLOntology

getAxioms

public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty prop)

Specified by:

getAxioms in interface OWLOntology

getAxioms

public Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)

Specified by:

getAxioms in interface OWLOntology

getAxioms

public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)

Specified by:

getAxioms in interface OWLOntology

getReferencedObjects

@Deprecated
public Set<OWLNamedObject> getReferencedObjects()

Deprecated.

getSignature

public Set<OWLEntity> getSignature()

Specified by:

getSignature in interface OWLObject

Specified by:

getSignature in interface OWLOntology

Overrides:

getSignature in class OWLObjectImpl

getSignature

public Set<OWLEntity> getSignature(boolean includeImportsClosure)

Specified by:

getSignature in interface OWLOntology

getAnonymousIndividuals

public Set<OWLAnonymousIndividual> getAnonymousIndividuals()

Specified by:

getAnonymousIndividuals in interface OWLObject

Overrides:

getAnonymousIndividuals in class OWLObjectImpl

getClassesInSignature

public Set<OWLClass> getClassesInSignature()

Specified by:

getClassesInSignature in interface OWLObject

Specified by:

getClassesInSignature in interface OWLOntology

Overrides:

getClassesInSignature in class OWLObjectImpl

getDataPropertiesInSignature

public Set<OWLDataProperty> getDataPropertiesInSignature()

Specified by:

getDataPropertiesInSignature in interface OWLObject

Specified by:

getDataPropertiesInSignature in interface OWLOntology

Overrides:

getDataPropertiesInSignature in class OWLObjectImpl

getObjectPropertiesInSignature

public Set<OWLObjectProperty> getObjectPropertiesInSignature()

Specified by:

getObjectPropertiesInSignature in interface OWLObject

Specified by:

getObjectPropertiesInSignature in interface OWLOntology

Overrides:

getObjectPropertiesInSignature in class OWLObjectImpl

getIndividualsInSignature

public Set<OWLNamedIndividual> getIndividualsInSignature()

Specified by:

getIndividualsInSignature in interface OWLObject

Specified by:

getIndividualsInSignature in interface OWLOntology

Overrides:

getIndividualsInSignature in class OWLObjectImpl

getDatatypesInSignature

public Set<OWLDatatype> getDatatypesInSignature()

Specified by:

getDatatypesInSignature in interface OWLObject

Specified by:

getDatatypesInSignature in interface OWLOntology

Overrides:

getDatatypesInSignature in class OWLObjectImpl

getClassesInSignature

public Set<OWLClass> getClassesInSignature(boolean includeImportsClosure)

Specified by:

getClassesInSignature in interface OWLOntology

getObjectPropertiesInSignature

public Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean includeImportsClosure)

Specified by:

getObjectPropertiesInSignature in interface OWLOntology

getDataPropertiesInSignature

public Set<OWLDataProperty> getDataPropertiesInSignature(boolean includeImportsClosure)

Specified by:

getDataPropertiesInSignature in interface OWLOntology

getIndividualsInSignature

public Set<OWLNamedIndividual> getIndividualsInSignature(boolean includeImportsClosure)

Specified by:

getIndividualsInSignature in interface OWLOntology

getReferencedAnonymousIndividuals

public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()

Specified by:

getReferencedAnonymousIndividuals in interface OWLOntology

getDatatypesInSignature

public Set<OWLDatatype> getDatatypesInSignature(boolean includeImportsClosure)

Specified by:

getDatatypesInSignature in interface OWLOntology

getAnnotationPropertiesInSignature

public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()

Specified by:

getAnnotationPropertiesInSignature in interface OWLOntology

getReferencedAnnotationProperties

@Deprecated
public Set<OWLAnnotationProperty> getReferencedAnnotationProperties(boolean includeImportsClosure)

Deprecated.

getImportsDeclarations

public Set<OWLImportsDeclaration> getImportsDeclarations()

Specified by:

getImportsDeclarations in interface OWLOntology

getDirectImportsDocuments

public Set<IRI> getDirectImportsDocuments()
                                   throws UnknownOWLOntologyException

Specified by:

getDirectImportsDocuments in interface OWLOntology

Throws:

UnknownOWLOntologyException

getImports

public Set<OWLOntology> getImports()
                            throws UnknownOWLOntologyException

Specified by:

getImports in interface OWLOntology

Throws:

UnknownOWLOntologyException

getDirectImports

public Set<OWLOntology> getDirectImports()
                                  throws UnknownOWLOntologyException

Specified by:

getDirectImports in interface OWLOntology

Throws:

UnknownOWLOntologyException

getImportsClosure

public Set<OWLOntology> getImportsClosure()
                                   throws UnknownOWLOntologyException

Specified by:

getImportsClosure in interface OWLOntology

Throws:

UnknownOWLOntologyException

getSubClassAxiomsForSubClass

public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)

Specified by:

getSubClassAxiomsForSubClass in interface OWLOntology

getSubClassAxiomsForSuperClass

public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)

Specified by:

getSubClassAxiomsForSuperClass in interface OWLOntology

getEquivalentClassesAxioms

public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)

Specified by:

getEquivalentClassesAxioms in interface OWLOntology

getDisjointClassesAxioms

public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)

Specified by:

getDisjointClassesAxioms in interface OWLOntology

getDisjointUnionAxioms

public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)

Specified by:

getDisjointUnionAxioms in interface OWLOntology

getHasKeyAxioms

public Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)

Specified by:

getHasKeyAxioms in interface OWLOntology

getObjectSubPropertyAxiomsForSubProperty

public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)

Specified by:

getObjectSubPropertyAxiomsForSubProperty in interface OWLOntology

getObjectSubPropertyAxiomsForSuperProperty

public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)

Specified by:

getObjectSubPropertyAxiomsForSuperProperty in interface OWLOntology

getObjectPropertyDomainAxioms

public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)

Specified by:

getObjectPropertyDomainAxioms in interface OWLOntology

getObjectPropertyRangeAxioms

public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)

Specified by:

getObjectPropertyRangeAxioms in interface OWLOntology

getInverseObjectPropertyAxioms

public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getInverseObjectPropertyAxioms in interface OWLOntology

getEquivalentObjectPropertiesAxioms

public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Specified by:

getEquivalentObjectPropertiesAxioms in interface OWLOntology

getDisjointObjectPropertiesAxioms

public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Specified by:

getDisjointObjectPropertiesAxioms in interface OWLOntology

getFunctionalObjectPropertyAxioms

public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getFunctionalObjectPropertyAxioms in interface OWLOntology

getInverseFunctionalObjectPropertyAxioms

public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getInverseFunctionalObjectPropertyAxioms in interface OWLOntology

getSymmetricObjectPropertyAxioms

public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getSymmetricObjectPropertyAxioms in interface OWLOntology

getAsymmetricObjectPropertyAxioms

public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getAsymmetricObjectPropertyAxioms in interface OWLOntology

getReflexiveObjectPropertyAxioms

public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getReflexiveObjectPropertyAxioms in interface OWLOntology

getIrreflexiveObjectPropertyAxioms

public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getIrreflexiveObjectPropertyAxioms in interface OWLOntology

getTransitiveObjectPropertyAxioms

public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getTransitiveObjectPropertyAxioms in interface OWLOntology

getFunctionalDataPropertyAxioms

public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)

Specified by:

getFunctionalDataPropertyAxioms in interface OWLOntology

getDataSubPropertyAxiomsForSubProperty

public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)

Specified by:

getDataSubPropertyAxiomsForSubProperty in interface OWLOntology

getDataSubPropertyAxiomsForSuperProperty

public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)

Specified by:

getDataSubPropertyAxiomsForSuperProperty in interface OWLOntology

getDataPropertyDomainAxioms

public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)

Specified by:

getDataPropertyDomainAxioms in interface OWLOntology

getDataPropertyRangeAxioms

public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)

Specified by:

getDataPropertyRangeAxioms in interface OWLOntology

getEquivalentDataPropertiesAxioms

public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)

Specified by:

getEquivalentDataPropertiesAxioms in interface OWLOntology

getDisjointDataPropertiesAxioms

public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)

Specified by:

getDisjointDataPropertiesAxioms in interface OWLOntology

getClassAssertionAxioms

public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)

Specified by:

getClassAssertionAxioms in interface OWLOntology

getClassAssertionAxioms

public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression type)

Specified by:

getClassAssertionAxioms in interface OWLOntology

getDataPropertyAssertionAxioms

public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getDataPropertyAssertionAxioms in interface OWLOntology

getObjectPropertyAssertionAxioms

public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getObjectPropertyAssertionAxioms in interface OWLOntology

getNegativeObjectPropertyAssertionAxioms

public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getNegativeObjectPropertyAssertionAxioms in interface OWLOntology

getNegativeDataPropertyAssertionAxioms

public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getNegativeDataPropertyAssertionAxioms in interface OWLOntology

getSameIndividualAxioms

public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)

Specified by:

getSameIndividualAxioms in interface OWLOntology

getDifferentIndividualAxioms

public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)

Specified by:

getDifferentIndividualAxioms in interface OWLOntology

applyChange

public List<OWLOntologyChange> applyChange(OWLOntologyChange change)

Specified by:

applyChange in interface OWLMutableOntology

applyChanges

public List<OWLOntologyChange> applyChanges(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(Object obj)

Overrides:

equals in class OWLObjectImpl

hashCode

public int hashCode()

Overrides:

hashCode in class OWLObjectImpl