org.semanticweb.elk.reasoner.indexing.hierarchy
Interface ElkAxiomIndexer

All Known Subinterfaces:

ElkAxiomIndexingVisitor

All Known Implementing Classes:

AbstractElkAxiomIndexerVisitor, MainAxiomIndexerVisitor, NonIncrementalChangeCheckingVisitor

public interface ElkAxiomIndexer

A collection of method for indexing ELK objects

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Method Summary

void	indexClassAssertion(ElkIndividual individual, ElkClassExpression type)
IndexedClass	indexClassDeclaration(ElkClass ec)
void	indexDisjointClassExpressions(List<? extends ElkClassExpression> list)
IndexedIndividual	indexNamedIndividualDeclaration(ElkNamedIndividual eni)
IndexedObjectProperty	indexObjectPropertyDeclaration(ElkObjectProperty eop)
void	indexReflexiveObjectProperty(ElkObjectPropertyExpression reflexiveProperty)
void	indexSubClassOfAxiom(ElkClassExpression subClass, ElkClassExpression superClass)
void	indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty)

Method Detail

indexSubClassOfAxiom

void indexSubClassOfAxiom(ElkClassExpression subClass,
                          ElkClassExpression superClass)

indexSubObjectPropertyOfAxiom

void indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression subProperty,
                                   ElkObjectPropertyExpression superProperty)

indexClassAssertion

void indexClassAssertion(ElkIndividual individual,
                         ElkClassExpression type)

indexDisjointClassExpressions

void indexDisjointClassExpressions(List<? extends ElkClassExpression> list)

indexReflexiveObjectProperty

void indexReflexiveObjectProperty(ElkObjectPropertyExpression reflexiveProperty)

indexClassDeclaration

IndexedClass indexClassDeclaration(ElkClass ec)

indexObjectPropertyDeclaration

IndexedObjectProperty indexObjectPropertyDeclaration(ElkObjectProperty eop)

indexNamedIndividualDeclaration

IndexedIndividual indexNamedIndividualDeclaration(ElkNamedIndividual eni)