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)
ChangeApplied	addAxioms(Set<? extends OWLAxiom> axioms)
ChangeApplied	applyChange(OWLOntologyChange change)
ChangeApplied	applyChanges(List<? extends OWLOntologyChange> changes)
ChangeDetails	applyChangesAndGetDetails(List<? extends OWLOntologyChange> changes)

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)

Specified by:

applyChange in interface HasApplyChange

applyChanges

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

Specified by:

applyChanges in interface HasApplyChanges

applyChangesAndGetDetails

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

Specified by:

applyChangesAndGetDetails in interface HasApplyChanges

addAxiom

public ChangeApplied addAxiom(OWLAxiom axiom)

Specified by:

addAxiom in interface HasDirectAddAxiom

addAxioms

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

Specified by:

addAxioms in interface HasDirectAddAxioms