uk.ac.manchester.cs.owl.owlapi

Class OWLOntologyImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithEntityAndAnonCaching

uk.ac.manchester.cs.owl.owlapi.OWLAxiomIndexImpl

uk.ac.manchester.cs.owl.owlapi.OWLImmutableOntologyImpl

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

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasApplyChange, HasApplyChanges, HasAxioms, HasAxiomsByType, HasClassesInSignature, HasContainsAxiom, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasDirectAddAxiom, HasDirectAddAxioms, HasDirectImports, HasGetEntitiesInSignature, HasImportsClosure, HasIndividualsInSignature, HasLogicalAxioms, HasObjectPropertiesInSignature, HasOntologyID, HasSignature, IsAnonymous, OWLAxiomCollection, OWLAxiomCollectionBooleanArgs, OWLAxiomCollectionNoArgs, OWLAxiomIndex, OWLMutableOntology, OWLObject, OWLOntology, OWLSignature, OWLSignatureBooleanArgs, HasTrimToSize

public class OWLOntologyImpl
extends OWLImmutableOntologyImpl
implements OWLMutableOntology, Serializable

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)

Method Summary

Modifier and Type	Method and Description
ChangeApplied	addAxiom(OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
ChangeApplied	addAxioms(Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
ChangeApplied	applyChange(OWLOntologyChange change) A convenience method that applies just one change to an ontology.
ChangeApplied	applyChanges(List<? extends OWLOntologyChange> changes) Applies a list ontology changes to a collection of ontologies.
ChangeDetails	applyChangesAndGetDetails(List<? extends OWLOntologyChange> changes) Applies a list ontology changes to a collection of ontologies.

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

accept, accept, accept, accept, contains, containsAnnotationPropertyInSignature, containsAnnotationPropertyInSignature, containsAnnotationPropertyInSignature, containsAxiom, containsAxiom, containsAxiom, containsAxiomIgnoreAnnotations, containsAxiomIgnoreAnnotations, containsClassInSignature, containsClassInSignature, containsClassInSignature, containsDataPropertyInSignature, containsDataPropertyInSignature, containsDataPropertyInSignature, containsDatatypeInSignature, containsDatatypeInSignature, containsDatatypeInSignature, containsEntitiesOfTypeInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, containsIndividualInSignature, containsIndividualInSignature, containsIndividualInSignature, containsObjectPropertyInSignature, containsObjectPropertyInSignature, containsObjectPropertyInSignature, containsReference, containsReference, containsReference, equals, filterAxioms, getABoxAxioms, getAnnotationPropertiesInSignature, getAnnotationPropertiesInSignature, getAnnotationPropertiesInSignature, getAnnotations, getAnonymousIndividuals, getAxiomCount, getAxiomCount, getAxiomCount, getAxiomCount, getAxiomCount, getAxiomCount, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getAxiomsIgnoreAnnotations, getAxiomsIgnoreAnnotations, getClassAssertionAxioms, getClassesInSignature, getClassesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDataPropertiesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getDatatypesInSignature, getDatatypesInSignature, getDirectImports, getDirectImportsDocuments, getEntitiesInSignature, getEntitiesInSignature, getEntitiesInSignature, getGeneralClassAxioms, getImports, getImportsClosure, getImportsDeclarations, getIndividualsInSignature, getIndividualsInSignature, getIndividualsInSignature, getLogicalAxiomCount, getLogicalAxiomCount, getLogicalAxiomCount, getLogicalAxioms, getLogicalAxioms, getLogicalAxioms, getObjectPropertiesInSignature, getObjectPropertiesInSignature, getObjectPropertiesInSignature, getOntologyID, getOWLOntologyManager, getPunnedIRIs, getRBoxAxioms, getReferencedAnonymousIndividuals, getReferencedAnonymousIndividuals, getReferencingAxioms, getReferencingAxioms, getReferencingAxioms, getSignature, getSignature, getTBoxAxioms, hashCode, isAnonymous, isDeclared, isDeclared, isEmpty, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, setOWLOntologyManager, toString

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

getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, getClassAssertionAxioms, getDataPropertyAssertionAxioms, getDataPropertyDomainAxioms, getDataPropertyRangeAxioms, getDataSubPropertyAxiomsForSubProperty, getDataSubPropertyAxiomsForSuperProperty, getDatatypeDefinitions, getDeclarationAxioms, getDifferentIndividualAxioms, getDisjointClassesAxioms, getDisjointDataPropertiesAxioms, getDisjointObjectPropertiesAxioms, getDisjointUnionAxioms, getEquivalentClassesAxioms, getEquivalentDataPropertiesAxioms, getEquivalentObjectPropertiesAxioms, getFunctionalDataPropertyAxioms, getFunctionalObjectPropertyAxioms, getHasKeyAxioms, getInverseFunctionalObjectPropertyAxioms, getInverseObjectPropertyAxioms, getIrreflexiveObjectPropertyAxioms, getNegativeDataPropertyAssertionAxioms, getNegativeObjectPropertyAssertionAxioms, getObjectPropertyAssertionAxioms, getObjectPropertyDomainAxioms, getObjectPropertyRangeAxioms, getObjectSubPropertyAxiomsForSubProperty, getObjectSubPropertyAxiomsForSuperProperty, getReflexiveObjectPropertyAxioms, getSameIndividualAxioms, getSubAnnotationPropertyOfAxioms, getSubClassAxiomsForSubClass, getSubClassAxiomsForSuperClass, getSymmetricObjectPropertyAxioms, getTransitiveObjectPropertyAxioms, trimToSize

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

compareTo, getNestedClassExpressions, isBottomEntity, isTopEntity

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLMutableOntology

setLock

Methods inherited from interface org.semanticweb.owlapi.model.OWLOntology

accept, accept, containsEntitiesOfTypeInSignature, getABoxAxioms, getAnnotations, getDirectImports, getDirectImportsDocuments, getGeneralClassAxioms, getImports, getImportsClosure, getImportsDeclarations, getOntologyID, getOWLOntologyManager, getRBoxAxioms, getSignature, getSignature, getTBoxAxioms, isDeclared, isDeclared, isEmpty, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, setOWLOntologyManager

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.IsAnonymous

isAnonymous, isNamed

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomCollection

containsAxiom, getAxiomCount, getAxiomCount, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getLogicalAxiomCount, getLogicalAxioms, getReferencingAxioms

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomCollectionBooleanArgs

containsAxiom, containsAxiomIgnoreAnnotations, getAxiomCount, getAxiomCount, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getLogicalAxiomCount, getLogicalAxioms, getReferencingAxioms

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomCollectionNoArgs

containsAxiomIgnoreAnnotations, getAxiomCount, getAxiomCount, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getLogicalAxiomCount, getReferencingAxioms

Methods inherited from interface org.semanticweb.owlapi.model.HasAxioms

getAxioms

Methods inherited from interface org.semanticweb.owlapi.model.HasLogicalAxioms

getLogicalAxioms

Methods inherited from interface org.semanticweb.owlapi.model.HasAxiomsByType

getAxioms

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsAxiom

containsAxiom

Methods inherited from interface org.semanticweb.owlapi.model.OWLSignature

containsAnnotationPropertyInSignature, containsAnnotationPropertyInSignature, containsClassInSignature, containsClassInSignature, containsDataPropertyInSignature, containsDataPropertyInSignature, containsDatatypeInSignature, containsDatatypeInSignature, containsEntitiesOfTypeInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, containsIndividualInSignature, containsIndividualInSignature, containsObjectPropertyInSignature, containsObjectPropertyInSignature, containsReference, containsReference, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getPunnedIRIs, getReferencedAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.OWLSignatureBooleanArgs

containsAnnotationPropertyInSignature, containsClassInSignature, containsDataPropertyInSignature, containsDatatypeInSignature, containsEntityInSignature, containsEntityInSignature, containsIndividualInSignature, containsObjectPropertyInSignature, containsReference, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getReferencedAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasGetEntitiesInSignature

getEntitiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomIndex

contains, filterAxioms, getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, getAxioms, getAxioms, getClassAssertionAxioms, getClassAssertionAxioms, getDataPropertyAssertionAxioms, getDataPropertyDomainAxioms, getDataPropertyRangeAxioms, getDataSubPropertyAxiomsForSubProperty, getDataSubPropertyAxiomsForSuperProperty, getDatatypeDefinitions, getDeclarationAxioms, getDifferentIndividualAxioms, getDisjointClassesAxioms, getDisjointDataPropertiesAxioms, getDisjointObjectPropertiesAxioms, getDisjointUnionAxioms, getEquivalentClassesAxioms, getEquivalentDataPropertiesAxioms, getEquivalentObjectPropertiesAxioms, getFunctionalDataPropertyAxioms, getFunctionalObjectPropertyAxioms, getHasKeyAxioms, getInverseFunctionalObjectPropertyAxioms, getInverseObjectPropertyAxioms, getIrreflexiveObjectPropertyAxioms, getNegativeDataPropertyAssertionAxioms, getNegativeObjectPropertyAssertionAxioms, getObjectPropertyAssertionAxioms, getObjectPropertyDomainAxioms, getObjectPropertyRangeAxioms, getObjectSubPropertyAxiomsForSubProperty, getObjectSubPropertyAxiomsForSuperProperty, getReflexiveObjectPropertyAxioms, getSameIndividualAxioms, getSubAnnotationPropertyOfAxioms, getSubClassAxiomsForSubClass, getSubClassAxiomsForSuperClass, getSymmetricObjectPropertyAxioms, getTransitiveObjectPropertyAxioms

Constructor Detail

OWLOntologyImpl

@Inject
public OWLOntologyImpl(@Nonnull
                               OWLOntologyManager manager,
                               @Nonnull
                               OWLOntologyID ontologyID)

Parameters:

manager - ontology manager

ontologyID - ontology id

Method Detail

applyChange

public ChangeApplied applyChange(@Nonnull
                                 OWLOntologyChange change)

Description copied from interface: HasApplyChange

A convenience method that applies just one change to an ontology. When this method is used through an OWLOntologyManager implementation, the instance used should be the one that the ontology returns through the getOWLOntologyManager() call. The reason is that some changes, e.g., change of ontology id and change of imports directives, affect data that only that manager instance knows about, such as the imports closure; changes of ontology id through the wrong manager will make the ontology unreachable through its new id in the manager associated with the ontology. Configuration for loading and saving parameters is also held by the manager, if not explicitly specified for the ontology. While the change might be successful, other bugs might be made apparent later.

Specified by:

applyChange in interface HasApplyChange

Parameters:

change - The change to be applied

Returns:

ChangeApplied.SUCCESSFULLY if the change is applied with success, ChangeApplied.UNSUCCESSFULLY otherwise.

applyChanges

@Nonnull
public ChangeApplied applyChanges(@Nonnull
                                           List<? extends OWLOntologyChange> changes)

Description copied from interface: HasApplyChanges

Applies a list ontology changes to a collection of ontologies. When this method is used through an OWLOntologyManager implementation, the instance used should be the one that the ontology returns through the getOWLOntologyManager() call. The reason is that some changes, e.g., change of ontology id and change of imports directives, affect data that only that manager instance knows about, such as the imports closure; changes of ontology id through the wrong manager will make the ontology unreachable through its new id in the manager associated with the ontology. Configuration for loading and saving parameters is also held by the manager, if not explicitly specified for the ontology. While the change might be successful, other bugs might be made apparent later.

Specified by:

applyChanges in interface HasApplyChanges

Parameters:

changes - The changes to be applied.

Returns:

ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.

applyChangesAndGetDetails

public ChangeDetails applyChangesAndGetDetails(List<? extends OWLOntologyChange> changes)

Description copied from interface: HasApplyChanges

Applies a list ontology changes to a collection of ontologies. Note that the ontologies need to be managed by this manager, since import closures, ontology ids and configurations might be affected by the changes, and they are held by the manager.

Specified by:

applyChangesAndGetDetails in interface HasApplyChanges

Parameters:

changes - The changes to be applied.

Returns:

ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.

addAxiom

public ChangeApplied addAxiom(OWLAxiom axiom)

Description copied from interface: HasDirectAddAxiom

A convenience method that adds a single axiom to an ontology. The appropriate AddAxiom change object is automatically generated.

Specified by:

addAxiom in interface HasDirectAddAxiom

Parameters:

axiom - The axiom to be added

Returns:

ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.

addAxioms

public ChangeApplied addAxioms(Set<? extends OWLAxiom> axioms)

Description copied from interface: HasDirectAddAxioms

A convenience method that adds a set of axioms to an ontology. The appropriate AddAxiom change objects are automatically generated.

Specified by:

addAxioms in interface HasDirectAddAxioms

Parameters:

axioms - The axioms to be added. Not null.

Returns:

ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.