org.semanticweb.elk.reasoner.indexing.hierarchy

Interface ElkAxiomIndexingVisitor

All Superinterfaces:

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

All Known Implementing Classes:

MainAxiomIndexerVisitor, NonIncrementalChangeCheckingVisitor

public interface ElkAxiomIndexingVisitor
extends ElkAxiomVisitor<Void>, ElkAxiomIndexer

A simple intersection of the two interfaces

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Method Summary

Methods

Modifier and Type	Method and Description
int	getMultiplicity()

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

Methods inherited from interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexClassAssertion, indexClassDeclaration, indexDisjointClassExpressions, indexNamedIndividualDeclaration, indexObjectPropertyDeclaration, indexReflexiveObjectProperty, indexSubClassOfAxiom, indexSubObjectPropertyOfAxiom

Method Detail

getMultiplicity

int getMultiplicity()