org.semanticweb.elk.reasoner.indexing.hierarchy
Class MainAxiomIndexerVisitor

java.lang.Object
  org.semanticweb.elk.owl.AbstractElkAxiomVisitor<Void>
      org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor
          org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

All Implemented Interfaces:

ElkAnnotationAxiomVisitor<Void>, ElkAssertionAxiomVisitor<Void>, ElkAxiomVisitor<Void>, ElkClassAxiomVisitor<Void>, ElkDataPropertyAxiomVisitor<Void>, ElkDatatypeDefinitionVisitor<Void>, ElkDeclarationAxiomVisitor<Void>, ElkHasKeyAxiomVisitor<Void>, ElkObjectPropertyAxiomVisitor<Void>, ElkSWRLRuleVisitor<Void>, ElkAxiomIndexer, ElkAxiomIndexingVisitor

public class MainAxiomIndexerVisitor
extends AbstractElkAxiomIndexerVisitor
implements ElkAxiomIndexingVisitor

An object that indexes axioms into a given ontology index. Each instance can either only add or only remove axioms.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Constructor Summary

MainAxiomIndexerVisitor(ModifiableOntologyIndex index, boolean insert)

Method Summary

int	getMultiplicity()
void	indexClassAssertion(ElkIndividual individual, ElkClassExpression type)
IndexedClass	indexClassDeclaration(ElkClass ec)
void	indexDisjointClassExpressions(List<? extends ElkClassExpression> disjointClasses)
IndexedIndividual	indexNamedIndividualDeclaration(ElkNamedIndividual eni)
IndexedObjectProperty	indexObjectPropertyDeclaration(ElkObjectProperty ep)
void	indexReflexiveObjectProperty(ElkObjectPropertyExpression reflexiveProperty)
void	indexSubClassOfAxiom(ElkClassExpression subElkClass, ElkClassExpression superElkClass)
void	indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression subElkProperty, ElkObjectPropertyExpression superElkProperty)

Methods inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

defaultLogicalVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class org.semanticweb.elk.owl.AbstractElkAxiomVisitor

defaultNonLogicalVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor

visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor

visit, visit, visit, visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor

visit, visit, visit, visit, visit, visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor

visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor

visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor

visit, visit, visit, visit, visit, visit, visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor

visit, visit, visit, visit

Methods inherited from interface org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor

visit

Constructor Detail

MainAxiomIndexerVisitor

public MainAxiomIndexerVisitor(ModifiableOntologyIndex index,
                               boolean insert)

Parameters:

index - the ModifiableOntologyIndex used for indexing axioms

insert - specifies whether this objects inserts or deletes axioms

Method Detail

getMultiplicity

public int getMultiplicity()

Specified by:

getMultiplicity in interface ElkAxiomIndexingVisitor

indexSubClassOfAxiom

public void indexSubClassOfAxiom(ElkClassExpression subElkClass,
                                 ElkClassExpression superElkClass)

Specified by:

indexSubClassOfAxiom in interface ElkAxiomIndexer

indexClassAssertion

public void indexClassAssertion(ElkIndividual individual,
                                ElkClassExpression type)

Specified by:

indexClassAssertion in interface ElkAxiomIndexer

indexSubObjectPropertyOfAxiom

public void indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression subElkProperty,
                                          ElkObjectPropertyExpression superElkProperty)

Specified by:

indexSubObjectPropertyOfAxiom in interface ElkAxiomIndexer

indexDisjointClassExpressions

public void indexDisjointClassExpressions(List<? extends ElkClassExpression> disjointClasses)

Specified by:

indexDisjointClassExpressions in interface ElkAxiomIndexer

indexReflexiveObjectProperty

public void indexReflexiveObjectProperty(ElkObjectPropertyExpression reflexiveProperty)

Specified by:

indexReflexiveObjectProperty in interface ElkAxiomIndexer

indexClassDeclaration

public IndexedClass indexClassDeclaration(ElkClass ec)

Specified by:

indexClassDeclaration in interface ElkAxiomIndexer

indexObjectPropertyDeclaration

public IndexedObjectProperty indexObjectPropertyDeclaration(ElkObjectProperty ep)

Specified by:

indexObjectPropertyDeclaration in interface ElkAxiomIndexer

indexNamedIndividualDeclaration

public IndexedIndividual indexNamedIndividualDeclaration(ElkNamedIndividual eni)

Specified by:

indexNamedIndividualDeclaration in interface ElkAxiomIndexer