uk.ac.manchester.cs.owl.owlapi

Class AbstractInternalsImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.AbstractInternalsImpl

All Implemented Interfaces:

Serializable, Internals

Direct Known Subclasses:

InternalsImpl

public abstract class AbstractInternalsImpl
extends Object
implements Internals, Serializable

this class encapsulates all lazily built indexes.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface uk.ac.manchester.cs.owl.owlapi.Internals

Internals.Pointer<K,V>, Internals.SimplePointer<K>

Field Summary

Fields

Modifier and Type	Field and Description
protected MapPointer<OWLAnnotationSubject,OWLAnnotationAssertionAxiom>	annotationAssertionAxiomsBySubject
protected MapPointer<OWLObjectPropertyExpression,OWLAsymmetricObjectPropertyAxiom>	asymmetricPropertyAxiomsByProperty
protected MapPointer<OWLClassExpression,OWLClassAssertionAxiom>	classAssertionAxiomsByClass
protected MapPointer<OWLIndividual,OWLClassAssertionAxiom>	classAssertionAxiomsByIndividual
protected MapPointer<OWLClass,OWLClassAxiom>	classAxiomsByClass
protected MapPointer<OWLIndividual,OWLDataPropertyAssertionAxiom>	dataPropertyAssertionsByIndividual
protected MapPointer<OWLDataPropertyExpression,OWLDataPropertyDomainAxiom>	dataPropertyDomainAxiomsByProperty
protected MapPointer<OWLDataPropertyExpression,OWLDataPropertyRangeAxiom>	dataPropertyRangeAxiomsByProperty
protected MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom>	dataSubPropertyAxiomsByLHS
protected MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom>	dataSubPropertyAxiomsByRHS
protected MapPointer<OWLIndividual,OWLDifferentIndividualsAxiom>	differentIndividualsAxiomsByIndividual
protected MapPointer<OWLClass,OWLDisjointClassesAxiom>	disjointClassesAxiomsByClass
protected MapPointer<OWLDataPropertyExpression,OWLDisjointDataPropertiesAxiom>	disjointDataPropertyAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLDisjointObjectPropertiesAxiom>	disjointObjectPropertyAxiomsByProperty
protected MapPointer<OWLClass,OWLDisjointUnionAxiom>	disjointUnionAxiomsByClass
protected MapPointer<OWLClass,OWLEquivalentClassesAxiom>	equivalentClassesAxiomsByClass
protected MapPointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom>	equivalentDataPropertyAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLEquivalentObjectPropertiesAxiom>	equivalentObjectPropertyAxiomsByProperty
protected MapPointer<OWLDataPropertyExpression,OWLFunctionalDataPropertyAxiom>	functionalDataPropertyAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLFunctionalObjectPropertyAxiom>	functionalObjectPropertyAxiomsByProperty
protected MapPointer<OWLClass,OWLHasKeyAxiom>	hasKeyAxiomsByClass
protected MapPointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom>	inverseFunctionalPropertyAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLInverseObjectPropertiesAxiom>	inversePropertyAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLIrreflexiveObjectPropertyAxiom>	irreflexivePropertyAxiomsByProperty
protected MapPointer<OWLIndividual,OWLNegativeDataPropertyAssertionAxiom>	negativeDataPropertyAssertionAxiomsByIndividual
protected MapPointer<OWLIndividual,OWLNegativeObjectPropertyAssertionAxiom>	negativeObjectPropertyAssertionAxiomsByIndividual
protected MapPointer<OWLIndividual,OWLObjectPropertyAssertionAxiom>	objectPropertyAssertionsByIndividual
protected MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyDomainAxiom>	objectPropertyDomainAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyRangeAxiom>	objectPropertyRangeAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom>	objectSubPropertyAxiomsByLHS
protected MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom>	objectSubPropertyAxiomsByRHS
protected MapPointer<OWLObjectPropertyExpression,OWLReflexiveObjectPropertyAxiom>	reflexivePropertyAxiomsByProperty
protected MapPointer<OWLIndividual,OWLSameIndividualAxiom>	sameIndividualsAxiomsByIndividual
protected MapPointer<OWLClass,OWLSubClassOfAxiom>	subClassAxiomsByLHS
protected MapPointer<OWLClass,OWLSubClassOfAxiom>	subClassAxiomsByRHS
protected MapPointer<OWLObjectPropertyExpression,OWLSymmetricObjectPropertyAxiom>	symmetricPropertyAxiomsByProperty
protected MapPointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom>	transitivePropertyAxiomsByProperty

Constructor Summary

Constructors

Constructor and Description
AbstractInternalsImpl()

Method Summary

Methods

Modifier and Type	Method and Description
protected <K,V extends OWLAxiom> MapPointer<K,V>	build()
protected <K,V extends OWLAxiom> MapPointer<K,V>	build(AxiomType<?> t, OWLAxiomVisitorEx<?> v)
protected ClassAxiomByClassPointer	buildClassAxiomByClass()
protected <K,V extends OWLAxiom> MapPointer<K,V>	buildLazy(AxiomType<?> t, OWLAxiomVisitorEx<?> v)
protected <K,V> Map<K,V>	createMap()
MapPointer<OWLAnnotationSubject,OWLAnnotationAssertionAxiom>	getAnnotationAssertionAxiomsBySubject()
MapPointer<OWLObjectPropertyExpression,OWLAsymmetricObjectPropertyAxiom>	getAsymmetricPropertyAxiomsByProperty()
MapPointer<OWLClassExpression,OWLClassAssertionAxiom>	getClassAssertionAxiomsByClass()
MapPointer<OWLIndividual,OWLClassAssertionAxiom>	getClassAssertionAxiomsByIndividual()
MapPointer<OWLClass,OWLClassAxiom>	getClassAxiomsByClass()
MapPointer<OWLIndividual,OWLDataPropertyAssertionAxiom>	getDataPropertyAssertionsByIndividual()
MapPointer<OWLDataPropertyExpression,OWLDataPropertyDomainAxiom>	getDataPropertyDomainAxiomsByProperty()
MapPointer<OWLDataPropertyExpression,OWLDataPropertyRangeAxiom>	getDataPropertyRangeAxiomsByProperty()
MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsByLHS()
MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsByRHS()
MapPointer<OWLIndividual,OWLDifferentIndividualsAxiom>	getDifferentIndividualsAxiomsByIndividual()
MapPointer<OWLClass,OWLDisjointClassesAxiom>	getDisjointClassesAxiomsByClass()
MapPointer<OWLDataPropertyExpression,OWLDisjointDataPropertiesAxiom>	getDisjointDataPropertyAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLDisjointObjectPropertiesAxiom>	getDisjointObjectPropertyAxiomsByProperty()
MapPointer<OWLClass,OWLDisjointUnionAxiom>	getDisjointUnionAxiomsByClass()
MapPointer<OWLClass,OWLEquivalentClassesAxiom>	getEquivalentClassesAxiomsByClass()
MapPointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom>	getEquivalentDataPropertyAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLEquivalentObjectPropertiesAxiom>	getEquivalentObjectPropertyAxiomsByProperty()
MapPointer<OWLDataPropertyExpression,OWLFunctionalDataPropertyAxiom>	getFunctionalDataPropertyAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLFunctionalObjectPropertyAxiom>	getFunctionalObjectPropertyAxiomsByProperty()
MapPointer<OWLClass,OWLHasKeyAxiom>	getHasKeyAxiomsByClass()
MapPointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom>	getInverseFunctionalPropertyAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLInverseObjectPropertiesAxiom>	getInversePropertyAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLIrreflexiveObjectPropertyAxiom>	getIrreflexivePropertyAxiomsByProperty()
MapPointer<OWLIndividual,OWLNegativeDataPropertyAssertionAxiom>	getNegativeDataPropertyAssertionAxiomsByIndividual()
MapPointer<OWLIndividual,OWLNegativeObjectPropertyAssertionAxiom>	getNegativeObjectPropertyAssertionAxiomsByIndividual()
MapPointer<OWLIndividual,OWLObjectPropertyAssertionAxiom>	getObjectPropertyAssertionsByIndividual()
MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyDomainAxiom>	getObjectPropertyDomainAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyRangeAxiom>	getObjectPropertyRangeAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom>	getObjectSubPropertyAxiomsByLHS()
MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom>	getObjectSubPropertyAxiomsByRHS()
MapPointer<OWLObjectPropertyExpression,OWLReflexiveObjectPropertyAxiom>	getReflexivePropertyAxiomsByProperty()
MapPointer<OWLIndividual,OWLSameIndividualAxiom>	getSameIndividualsAxiomsByIndividual()
MapPointer<OWLClass,OWLSubClassOfAxiom>	getSubClassAxiomsByLHS()
MapPointer<OWLClass,OWLSubClassOfAxiom>	getSubClassAxiomsByRHS()
MapPointer<OWLObjectPropertyExpression,OWLSymmetricObjectPropertyAxiom>	getSymmetricPropertyAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom>	getTransitivePropertyAxiomsByProperty()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.Internals

add, addAxiom, addGeneralClassAxioms, addImportsDeclaration, addOntologyAnnotation, addPropertyChainSubPropertyAxioms, contains, contains, filterAxioms, getAxiomCount, getAxiomCount, getAxioms, getAxiomsByType, getDeclarationsByEntity, getGeneralClassAxioms, getImportsDeclarations, getKeyset, getLogicalAxiomCount, getLogicalAxioms, getOntologyAnnotations, getOwlAnnotationPropertyReferences, getOwlAnonymousIndividualReferences, getOwlClassReferences, getOwlDataPropertyReferences, getOwlDatatypeReferences, getOwlIndividualReferences, getOwlObjectPropertyReferences, getValues, hasValues, isDeclared, isEmpty, remove, removeAxiom, removeGeneralClassAxioms, removeImportsDeclaration, removeOntologyAnnotation, removePropertyChainSubPropertyAxioms

Field Detail

classAxiomsByClass

protected final MapPointer<OWLClass,OWLClassAxiom> classAxiomsByClass

subClassAxiomsByLHS

protected final MapPointer<OWLClass,OWLSubClassOfAxiom> subClassAxiomsByLHS

subClassAxiomsByRHS

protected final MapPointer<OWLClass,OWLSubClassOfAxiom> subClassAxiomsByRHS

equivalentClassesAxiomsByClass

protected final MapPointer<OWLClass,OWLEquivalentClassesAxiom> equivalentClassesAxiomsByClass

disjointClassesAxiomsByClass

protected final MapPointer<OWLClass,OWLDisjointClassesAxiom> disjointClassesAxiomsByClass

disjointUnionAxiomsByClass

protected final MapPointer<OWLClass,OWLDisjointUnionAxiom> disjointUnionAxiomsByClass

hasKeyAxiomsByClass

protected final MapPointer<OWLClass,OWLHasKeyAxiom> hasKeyAxiomsByClass

objectSubPropertyAxiomsByLHS

protected final MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsByLHS

objectSubPropertyAxiomsByRHS

protected final MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsByRHS

equivalentObjectPropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLEquivalentObjectPropertiesAxiom> equivalentObjectPropertyAxiomsByProperty

disjointObjectPropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLDisjointObjectPropertiesAxiom> disjointObjectPropertyAxiomsByProperty

objectPropertyDomainAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyDomainAxiom> objectPropertyDomainAxiomsByProperty

objectPropertyRangeAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyRangeAxiom> objectPropertyRangeAxiomsByProperty

functionalObjectPropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLFunctionalObjectPropertyAxiom> functionalObjectPropertyAxiomsByProperty

inverseFunctionalPropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom> inverseFunctionalPropertyAxiomsByProperty

symmetricPropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLSymmetricObjectPropertyAxiom> symmetricPropertyAxiomsByProperty

asymmetricPropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLAsymmetricObjectPropertyAxiom> asymmetricPropertyAxiomsByProperty

reflexivePropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLReflexiveObjectPropertyAxiom> reflexivePropertyAxiomsByProperty

irreflexivePropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLIrreflexiveObjectPropertyAxiom> irreflexivePropertyAxiomsByProperty

transitivePropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom> transitivePropertyAxiomsByProperty

inversePropertyAxiomsByProperty

protected final MapPointer<OWLObjectPropertyExpression,OWLInverseObjectPropertiesAxiom> inversePropertyAxiomsByProperty

dataSubPropertyAxiomsByLHS

protected final MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsByLHS

dataSubPropertyAxiomsByRHS

protected final MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsByRHS

equivalentDataPropertyAxiomsByProperty

protected final MapPointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom> equivalentDataPropertyAxiomsByProperty

disjointDataPropertyAxiomsByProperty

protected final MapPointer<OWLDataPropertyExpression,OWLDisjointDataPropertiesAxiom> disjointDataPropertyAxiomsByProperty

dataPropertyDomainAxiomsByProperty

protected final MapPointer<OWLDataPropertyExpression,OWLDataPropertyDomainAxiom> dataPropertyDomainAxiomsByProperty

dataPropertyRangeAxiomsByProperty

protected final MapPointer<OWLDataPropertyExpression,OWLDataPropertyRangeAxiom> dataPropertyRangeAxiomsByProperty

functionalDataPropertyAxiomsByProperty

protected final MapPointer<OWLDataPropertyExpression,OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxiomsByProperty

classAssertionAxiomsByIndividual

protected final MapPointer<OWLIndividual,OWLClassAssertionAxiom> classAssertionAxiomsByIndividual

classAssertionAxiomsByClass

protected final MapPointer<OWLClassExpression,OWLClassAssertionAxiom> classAssertionAxiomsByClass

objectPropertyAssertionsByIndividual

protected final MapPointer<OWLIndividual,OWLObjectPropertyAssertionAxiom> objectPropertyAssertionsByIndividual

dataPropertyAssertionsByIndividual

protected final MapPointer<OWLIndividual,OWLDataPropertyAssertionAxiom> dataPropertyAssertionsByIndividual

negativeObjectPropertyAssertionAxiomsByIndividual

protected final MapPointer<OWLIndividual,OWLNegativeObjectPropertyAssertionAxiom> negativeObjectPropertyAssertionAxiomsByIndividual

negativeDataPropertyAssertionAxiomsByIndividual

protected final MapPointer<OWLIndividual,OWLNegativeDataPropertyAssertionAxiom> negativeDataPropertyAssertionAxiomsByIndividual

differentIndividualsAxiomsByIndividual

protected final MapPointer<OWLIndividual,OWLDifferentIndividualsAxiom> differentIndividualsAxiomsByIndividual

sameIndividualsAxiomsByIndividual

protected final MapPointer<OWLIndividual,OWLSameIndividualAxiom> sameIndividualsAxiomsByIndividual

annotationAssertionAxiomsBySubject

protected final MapPointer<OWLAnnotationSubject,OWLAnnotationAssertionAxiom> annotationAssertionAxiomsBySubject

Constructor Detail

AbstractInternalsImpl

public AbstractInternalsImpl()

Method Detail

build

protected <K,V extends OWLAxiom> MapPointer<K,V> build(AxiomType<?> t,
                                           OWLAxiomVisitorEx<?> v)

build

protected <K,V extends OWLAxiom> MapPointer<K,V> build()

buildLazy

protected <K,V extends OWLAxiom> MapPointer<K,V> buildLazy(AxiomType<?> t,
                                               OWLAxiomVisitorEx<?> v)

buildClassAxiomByClass

protected ClassAxiomByClassPointer buildClassAxiomByClass()

createMap

protected <K,V> Map<K,V> createMap()

getClassAxiomsByClass

public MapPointer<OWLClass,OWLClassAxiom> getClassAxiomsByClass()

Specified by:

getClassAxiomsByClass in interface Internals

Returns:

pointer

getSubClassAxiomsByLHS

public MapPointer<OWLClass,OWLSubClassOfAxiom> getSubClassAxiomsByLHS()

Specified by:

getSubClassAxiomsByLHS in interface Internals

Returns:

pointer

getSubClassAxiomsByRHS

public MapPointer<OWLClass,OWLSubClassOfAxiom> getSubClassAxiomsByRHS()

Specified by:

getSubClassAxiomsByRHS in interface Internals

Returns:

pointer

getEquivalentClassesAxiomsByClass

public MapPointer<OWLClass,OWLEquivalentClassesAxiom> getEquivalentClassesAxiomsByClass()

Specified by:

getEquivalentClassesAxiomsByClass in interface Internals

Returns:

pointer

getDisjointClassesAxiomsByClass

public MapPointer<OWLClass,OWLDisjointClassesAxiom> getDisjointClassesAxiomsByClass()

Specified by:

getDisjointClassesAxiomsByClass in interface Internals

Returns:

pointer

getDisjointUnionAxiomsByClass

public MapPointer<OWLClass,OWLDisjointUnionAxiom> getDisjointUnionAxiomsByClass()

Specified by:

getDisjointUnionAxiomsByClass in interface Internals

Returns:

pointer

getHasKeyAxiomsByClass

public MapPointer<OWLClass,OWLHasKeyAxiom> getHasKeyAxiomsByClass()

Specified by:

getHasKeyAxiomsByClass in interface Internals

Returns:

pointer

getObjectSubPropertyAxiomsByLHS

public MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsByLHS()

Specified by:

getObjectSubPropertyAxiomsByLHS in interface Internals

Returns:

pointer

getObjectSubPropertyAxiomsByRHS

public MapPointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsByRHS()

Specified by:

getObjectSubPropertyAxiomsByRHS in interface Internals

Returns:

pointer

getEquivalentObjectPropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertyAxiomsByProperty()

Specified by:

getEquivalentObjectPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getDisjointObjectPropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertyAxiomsByProperty()

Specified by:

getDisjointObjectPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getObjectPropertyDomainAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxiomsByProperty()

Specified by:

getObjectPropertyDomainAxiomsByProperty in interface Internals

Returns:

pointer

getObjectPropertyRangeAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxiomsByProperty()

Specified by:

getObjectPropertyRangeAxiomsByProperty in interface Internals

Returns:

pointer

getFunctionalObjectPropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxiomsByProperty()

Specified by:

getFunctionalObjectPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getInverseFunctionalPropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalPropertyAxiomsByProperty()

Specified by:

getInverseFunctionalPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getSymmetricPropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLSymmetricObjectPropertyAxiom> getSymmetricPropertyAxiomsByProperty()

Specified by:

getSymmetricPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getAsymmetricPropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLAsymmetricObjectPropertyAxiom> getAsymmetricPropertyAxiomsByProperty()

Specified by:

getAsymmetricPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getReflexivePropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLReflexiveObjectPropertyAxiom> getReflexivePropertyAxiomsByProperty()

Specified by:

getReflexivePropertyAxiomsByProperty in interface Internals

Returns:

pointer

getIrreflexivePropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLIrreflexiveObjectPropertyAxiom> getIrreflexivePropertyAxiomsByProperty()

Specified by:

getIrreflexivePropertyAxiomsByProperty in interface Internals

Returns:

pointer

getTransitivePropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom> getTransitivePropertyAxiomsByProperty()

Specified by:

getTransitivePropertyAxiomsByProperty in interface Internals

Returns:

pointer

getInversePropertyAxiomsByProperty

public MapPointer<OWLObjectPropertyExpression,OWLInverseObjectPropertiesAxiom> getInversePropertyAxiomsByProperty()

Specified by:

getInversePropertyAxiomsByProperty in interface Internals

Returns:

pointer

getDataSubPropertyAxiomsByLHS

public MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsByLHS()

Specified by:

getDataSubPropertyAxiomsByLHS in interface Internals

Returns:

pointer

getDataSubPropertyAxiomsByRHS

public MapPointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsByRHS()

Specified by:

getDataSubPropertyAxiomsByRHS in interface Internals

Returns:

pointer

getEquivalentDataPropertyAxiomsByProperty

public MapPointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertyAxiomsByProperty()

Specified by:

getEquivalentDataPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getDisjointDataPropertyAxiomsByProperty

public MapPointer<OWLDataPropertyExpression,OWLDisjointDataPropertiesAxiom> getDisjointDataPropertyAxiomsByProperty()

Specified by:

getDisjointDataPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getDataPropertyDomainAxiomsByProperty

public MapPointer<OWLDataPropertyExpression,OWLDataPropertyDomainAxiom> getDataPropertyDomainAxiomsByProperty()

Specified by:

getDataPropertyDomainAxiomsByProperty in interface Internals

Returns:

pointer

getDataPropertyRangeAxiomsByProperty

public MapPointer<OWLDataPropertyExpression,OWLDataPropertyRangeAxiom> getDataPropertyRangeAxiomsByProperty()

Specified by:

getDataPropertyRangeAxiomsByProperty in interface Internals

Returns:

pointer

getFunctionalDataPropertyAxiomsByProperty

public MapPointer<OWLDataPropertyExpression,OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxiomsByProperty()

Specified by:

getFunctionalDataPropertyAxiomsByProperty in interface Internals

Returns:

pointer

getClassAssertionAxiomsByIndividual

public MapPointer<OWLIndividual,OWLClassAssertionAxiom> getClassAssertionAxiomsByIndividual()

Specified by:

getClassAssertionAxiomsByIndividual in interface Internals

Returns:

pointer

getClassAssertionAxiomsByClass

public MapPointer<OWLClassExpression,OWLClassAssertionAxiom> getClassAssertionAxiomsByClass()

Specified by:

getClassAssertionAxiomsByClass in interface Internals

Returns:

pointer

getObjectPropertyAssertionsByIndividual

public MapPointer<OWLIndividual,OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionsByIndividual()

Specified by:

getObjectPropertyAssertionsByIndividual in interface Internals

Returns:

pointer

getDataPropertyAssertionsByIndividual

public MapPointer<OWLIndividual,OWLDataPropertyAssertionAxiom> getDataPropertyAssertionsByIndividual()

Specified by:

getDataPropertyAssertionsByIndividual in interface Internals

Returns:

pointer

getNegativeObjectPropertyAssertionAxiomsByIndividual

public MapPointer<OWLIndividual,OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxiomsByIndividual()

Specified by:

getNegativeObjectPropertyAssertionAxiomsByIndividual in interface Internals

Returns:

pointer

getNegativeDataPropertyAssertionAxiomsByIndividual

public MapPointer<OWLIndividual,OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxiomsByIndividual()

Specified by:

getNegativeDataPropertyAssertionAxiomsByIndividual in interface Internals

Returns:

pointer

getDifferentIndividualsAxiomsByIndividual

public MapPointer<OWLIndividual,OWLDifferentIndividualsAxiom> getDifferentIndividualsAxiomsByIndividual()

Specified by:

getDifferentIndividualsAxiomsByIndividual in interface Internals

Returns:

pointer

getSameIndividualsAxiomsByIndividual

public MapPointer<OWLIndividual,OWLSameIndividualAxiom> getSameIndividualsAxiomsByIndividual()

Specified by:

getSameIndividualsAxiomsByIndividual in interface Internals

Returns:

pointer

getAnnotationAssertionAxiomsBySubject

public MapPointer<OWLAnnotationSubject,OWLAnnotationAssertionAxiom> getAnnotationAssertionAxiomsBySubject()

Specified by:

getAnnotationAssertionAxiomsBySubject in interface Internals

Returns:

pointer