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

java.lang.Object
  org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor
      org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

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 NonIncrementalChangeCheckingVisitor
extends DelegatingElkAxiomVisitor
implements ElkAxiomIndexingVisitor

A delegating visitor which notifies the NonIncrementalChangeCheckingVisitor that some axiom represents a change which cannot be processed incrementally by the reasoner

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

NonIncrementalChangeCheckingVisitor(ElkAxiomIndexingVisitor visitor, NonIncrementalChangeListener<ElkAxiom> listener)

Method Summary

ElkAxiomIndexingVisitor	getIndexingVisitor()
int	getMultiplicity()
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)
Void	visit(ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties)
Void	visit(ElkReflexiveObjectPropertyAxiom elkReflexiveObjectPropertyAxiom)
Void	visit(ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom)
Void	visit(ElkTransitiveObjectPropertyAxiom elkTransitiveObjectPropertyAxiom)

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

getVisitor, 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, 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

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

NonIncrementalChangeCheckingVisitor

public NonIncrementalChangeCheckingVisitor(ElkAxiomIndexingVisitor visitor,
                                           NonIncrementalChangeListener<ElkAxiom> listener)

Method Detail

getIndexingVisitor

public ElkAxiomIndexingVisitor getIndexingVisitor()

visit

public Void visit(ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class DelegatingElkAxiomVisitor

visit

public Void visit(ElkReflexiveObjectPropertyAxiom elkReflexiveObjectPropertyAxiom)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class DelegatingElkAxiomVisitor

visit

public Void visit(ElkSubObjectPropertyOfAxiom elkSubObjectPropertyOfAxiom)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class DelegatingElkAxiomVisitor

visit

public Void visit(ElkTransitiveObjectPropertyAxiom elkTransitiveObjectPropertyAxiom)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class DelegatingElkAxiomVisitor

indexSubClassOfAxiom

public void indexSubClassOfAxiom(ElkClassExpression subClass,
                                 ElkClassExpression superClass)

Specified by:

indexSubClassOfAxiom in interface ElkAxiomIndexer

indexSubObjectPropertyOfAxiom

public void indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression subProperty,
                                          ElkObjectPropertyExpression superProperty)

Specified by:

indexSubObjectPropertyOfAxiom in interface ElkAxiomIndexer

indexClassAssertion

public void indexClassAssertion(ElkIndividual individual,
                                ElkClassExpression type)

Specified by:

indexClassAssertion in interface ElkAxiomIndexer

indexDisjointClassExpressions

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

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 eop)

Specified by:

indexObjectPropertyDeclaration in interface ElkAxiomIndexer

indexNamedIndividualDeclaration

public IndexedIndividual indexNamedIndividualDeclaration(ElkNamedIndividual eni)

Specified by:

indexNamedIndividualDeclaration in interface ElkAxiomIndexer

getMultiplicity

public int getMultiplicity()

Specified by:

getMultiplicity in interface ElkAxiomIndexingVisitor