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

Methods

Modifier and Type	Method and Description
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)