org.semanticweb.elk.reasoner.indexing

Interface OntologyIndex

All Known Subinterfaces:

ModifiableOntologyIndex

All Known Implementing Classes:

DifferentialIndex, DirectIndex

public interface OntologyIndex

An object representing the compiled logical information about the ontology that enables execution of reasoning inference rules. There are two type of rules: the global rules stored for the ontology that can be obtained using { getContextInitRuleHead(), and the local rules associated with specific IndexedObjects, such as IndexedClassExpressions and IndexedPropertyChains. The methods of this class provide access to such objects.

Author:

Yevgeny Kazakov, Frantisek Simancik

Method Summary

Methods

Modifier and Type	Method and Description
LinkRule<Context>	getContextInitRuleHead()
Collection<IndexedClass>	getIndexedClasses()
Collection<IndexedClassExpression>	getIndexedClassExpressions()
Collection<IndexedIndividual>	getIndexedIndividuals()
Collection<IndexedObjectProperty>	getIndexedObjectProperties()
IndexedClass	getIndexedOwlNothing() Return the indexed representation of owl:Nothing
IndexedClass	getIndexedOwlThing() Return the indexed representation of owl:Thing
Collection<IndexedPropertyChain>	getIndexedPropertyChains()
Collection<IndexedObjectProperty>	getReflexiveObjectProperties()

Method Detail

getIndexedOwlThing

IndexedClass getIndexedOwlThing()

Return the indexed representation of owl:Thing

Returns:

the IndexedClass corresponding to owl:Thing. It is assumed that owl:Thing occurs (i.e., is declared) in every ontology.

getIndexedOwlNothing

IndexedClass getIndexedOwlNothing()

Return the indexed representation of owl:Nothing

Returns:

the IndexedClass corresponding to owl:Nothing. It is assumed that owl:Nothing contains (i.e., is declared) in every ontology.

getIndexedClassExpressions

Collection<IndexedClassExpression> getIndexedClassExpressions()

Returns:

the IndexedClassExpressions for all ElkClassExpressions occurring in the ontology (including owl:Thing and owl:Nothing) or added/removed from the ontology since the last commit of the differential index

getIndexedClasses

Collection<IndexedClass> getIndexedClasses()

Returns:

the IndexedClasses for all ElkClasses occurring in the ontology (including owl:Thing and owl:Nothing)

getIndexedIndividuals

Collection<IndexedIndividual> getIndexedIndividuals()

Returns:

the IndexedIndividuals for all ElkIndividuals occurring in the ontology.

getIndexedPropertyChains

Collection<IndexedPropertyChain> getIndexedPropertyChains()

Returns:

the IndexedPropertyChains for all ElkSubObjectPropertyExpressions occurring in the ontology.

getIndexedObjectProperties

Collection<IndexedObjectProperty> getIndexedObjectProperties()

Returns:

the IndexedObjectPropertys for all ElkObjectPropertys occurring in the ontology.

getReflexiveObjectProperties

Collection<IndexedObjectProperty> getReflexiveObjectProperties()

Returns:

the IndexedObjectPropertys for all ElkObjectPropertys occurring in the reflexivity axioms of the ontology.

getContextInitRuleHead

LinkRule<Context> getContextInitRuleHead()

Returns:

the first context initialization rule assigned to this OntologyIndex, or null if there no such rules; all other rules can be obtained by traversing over Link.next()