uk.ac.manchester.cs.owl.owlapi

Class OWLAxiomIndexImpl

java.lang.Object

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

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

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLAxiomIndex, OWLObject, HasTrimToSize

Direct Known Subclasses:

OWLImmutableOntologyImpl

public abstract class OWLAxiomIndexImpl
extends OWLObjectImplWithEntityAndAnonCaching
implements OWLAxiomIndex, HasTrimToSize

Since:

4.0.0

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLAxiomIndexImpl()

Method Summary

Modifier and Type	Method and Description
Set<OWLAnnotationAssertionAxiom>	getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
Set<OWLAnnotationPropertyDomainAxiom>	getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Set<OWLAnnotationPropertyRangeAxiom>	getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Set<OWLAsymmetricObjectPropertyAxiom>	getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLClassExpression ce)
Set<OWLClassAssertionAxiom>	getClassAssertionAxioms(OWLIndividual individual)
Set<OWLDataPropertyAssertionAxiom>	getDataPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLDataPropertyDomainAxiom>	getDataPropertyDomainAxioms(OWLDataProperty property)
Set<OWLDataPropertyRangeAxiom>	getDataPropertyRangeAxioms(OWLDataProperty property)
Set<OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Set<OWLSubDataPropertyOfAxiom>	getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
Set<OWLDatatypeDefinitionAxiom>	getDatatypeDefinitions(OWLDatatype datatype)
Set<OWLDeclarationAxiom>	getDeclarationAxioms(OWLEntity subject)
Set<OWLDifferentIndividualsAxiom>	getDifferentIndividualAxioms(OWLIndividual individual)
Set<OWLDisjointClassesAxiom>	getDisjointClassesAxioms(OWLClass cls)
Set<OWLDisjointDataPropertiesAxiom>	getDisjointDataPropertiesAxioms(OWLDataProperty property)
Set<OWLDisjointObjectPropertiesAxiom>	getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Set<OWLDisjointUnionAxiom>	getDisjointUnionAxioms(OWLClass owlClass)
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<OWLHasKeyAxiom>	getHasKeyAxioms(OWLClass cls)
Set<OWLInverseFunctionalObjectPropertyAxiom>	getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLInverseObjectPropertiesAxiom>	getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLIrreflexiveObjectPropertyAxiom>	getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLNegativeDataPropertyAssertionAxiom>	getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLNegativeObjectPropertyAssertionAxiom>	getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLObjectPropertyAssertionAxiom>	getObjectPropertyAssertionAxioms(OWLIndividual individual)
Set<OWLObjectPropertyDomainAxiom>	getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Set<OWLObjectPropertyRangeAxiom>	getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Set<OWLSubObjectPropertyOfAxiom>	getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Set<OWLSubObjectPropertyOfAxiom>	getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Set<OWLReflexiveObjectPropertyAxiom>	getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLSameIndividualAxiom>	getSameIndividualAxioms(OWLIndividual individual)
Set<OWLSubAnnotationPropertyOfAxiom>	getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Set<OWLSubClassOfAxiom>	getSubClassAxiomsForSubClass(OWLClass cls)
Set<OWLSubClassOfAxiom>	getSubClassAxiomsForSuperClass(OWLClass cls)
Set<OWLSymmetricObjectPropertyAxiom>	getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Set<OWLTransitiveObjectPropertyAxiom>	getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
void	trimToSize() Trim the capacity of the axiom indexes.

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

compareTo, containsEntityInSignature, equals, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

contains, filterAxioms, getAxioms, getAxioms

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

accept, accept, isIndividual, isIRI

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

isAnonymous, isNamed

Constructor Detail

OWLAxiomIndexImpl

public OWLAxiomIndexImpl()

Method Detail

trimToSize

public void trimToSize()

Description copied from interface: HasTrimToSize

Trim the capacity of the axiom indexes. An application can use this operation to minimize the storage of the index instance.

Specified by:

trimToSize in interface HasTrimToSize

getDeclarationAxioms

public Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity subject)

Specified by:

getDeclarationAxioms in interface OWLAxiomIndex

getAnnotationAssertionAxioms

public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity)

Specified by:

getAnnotationAssertionAxioms in interface OWLAxiomIndex

getDatatypeDefinitions

public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)

Specified by:

getDatatypeDefinitions in interface OWLAxiomIndex

getSubAnnotationPropertyOfAxioms

public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)

Specified by:

getSubAnnotationPropertyOfAxioms in interface OWLAxiomIndex

getAnnotationPropertyDomainAxioms

public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)

Specified by:

getAnnotationPropertyDomainAxioms in interface OWLAxiomIndex

getAnnotationPropertyRangeAxioms

public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)

Specified by:

getAnnotationPropertyRangeAxioms in interface OWLAxiomIndex

getSubClassAxiomsForSubClass

public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)

Specified by:

getSubClassAxiomsForSubClass in interface OWLAxiomIndex

getSubClassAxiomsForSuperClass

public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)

Specified by:

getSubClassAxiomsForSuperClass in interface OWLAxiomIndex

getEquivalentClassesAxioms

public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)

Specified by:

getEquivalentClassesAxioms in interface OWLAxiomIndex

getDisjointClassesAxioms

public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)

Specified by:

getDisjointClassesAxioms in interface OWLAxiomIndex

getDisjointUnionAxioms

public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)

Specified by:

getDisjointUnionAxioms in interface OWLAxiomIndex

getHasKeyAxioms

public Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)

Specified by:

getHasKeyAxioms in interface OWLAxiomIndex

getObjectSubPropertyAxiomsForSubProperty

public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)

Specified by:

getObjectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex

getObjectSubPropertyAxiomsForSuperProperty

public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)

Specified by:

getObjectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex

getObjectPropertyDomainAxioms

public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)

Specified by:

getObjectPropertyDomainAxioms in interface OWLAxiomIndex

getObjectPropertyRangeAxioms

public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)

Specified by:

getObjectPropertyRangeAxioms in interface OWLAxiomIndex

getInverseObjectPropertyAxioms

public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getInverseObjectPropertyAxioms in interface OWLAxiomIndex

getEquivalentObjectPropertiesAxioms

public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Specified by:

getEquivalentObjectPropertiesAxioms in interface OWLAxiomIndex

getDisjointObjectPropertiesAxioms

public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)

Specified by:

getDisjointObjectPropertiesAxioms in interface OWLAxiomIndex

getFunctionalObjectPropertyAxioms

public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getFunctionalObjectPropertyAxioms in interface OWLAxiomIndex

getInverseFunctionalObjectPropertyAxioms

public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getInverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndex

getSymmetricObjectPropertyAxioms

public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getSymmetricObjectPropertyAxioms in interface OWLAxiomIndex

getAsymmetricObjectPropertyAxioms

public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getAsymmetricObjectPropertyAxioms in interface OWLAxiomIndex

getReflexiveObjectPropertyAxioms

public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getReflexiveObjectPropertyAxioms in interface OWLAxiomIndex

getIrreflexiveObjectPropertyAxioms

public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getIrreflexiveObjectPropertyAxioms in interface OWLAxiomIndex

getTransitiveObjectPropertyAxioms

public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

Specified by:

getTransitiveObjectPropertyAxioms in interface OWLAxiomIndex

getFunctionalDataPropertyAxioms

public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)

Specified by:

getFunctionalDataPropertyAxioms in interface OWLAxiomIndex

getDataSubPropertyAxiomsForSubProperty

public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)

Specified by:

getDataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndex

getDataSubPropertyAxiomsForSuperProperty

public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)

Specified by:

getDataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndex

getDataPropertyDomainAxioms

public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)

Specified by:

getDataPropertyDomainAxioms in interface OWLAxiomIndex

getDataPropertyRangeAxioms

public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)

Specified by:

getDataPropertyRangeAxioms in interface OWLAxiomIndex

getEquivalentDataPropertiesAxioms

public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)

Specified by:

getEquivalentDataPropertiesAxioms in interface OWLAxiomIndex

getDisjointDataPropertiesAxioms

public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)

Specified by:

getDisjointDataPropertiesAxioms in interface OWLAxiomIndex

getClassAssertionAxioms

public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)

Specified by:

getClassAssertionAxioms in interface OWLAxiomIndex

getClassAssertionAxioms

public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression ce)

Specified by:

getClassAssertionAxioms in interface OWLAxiomIndex

getDataPropertyAssertionAxioms

public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getDataPropertyAssertionAxioms in interface OWLAxiomIndex

getObjectPropertyAssertionAxioms

public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getObjectPropertyAssertionAxioms in interface OWLAxiomIndex

getNegativeObjectPropertyAssertionAxioms

public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getNegativeObjectPropertyAssertionAxioms in interface OWLAxiomIndex

getNegativeDataPropertyAssertionAxioms

public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)

Specified by:

getNegativeDataPropertyAssertionAxioms in interface OWLAxiomIndex

getSameIndividualAxioms

public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)

Specified by:

getSameIndividualAxioms in interface OWLAxiomIndex

getDifferentIndividualAxioms

public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)

Specified by:

getDifferentIndividualAxioms in interface OWLAxiomIndex