org.semanticweb.elk.reasoner.indexing.hierarchy

Class AbstractElkAxiomIndexerVisitor

java.lang.Object

org.semanticweb.elk.owl.AbstractElkAxiomVisitor<Void>

org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

All Implemented Interfaces:

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

Direct Known Subclasses:

MainAxiomIndexerVisitor

public abstract class AbstractElkAxiomIndexerVisitor
extends AbstractElkAxiomVisitor<Void>
implements ElkAxiomIndexer

An abstract class for indexing axioms. Its purpose is to reduce many syntactically different forms of OWL axioms to a small number of canonical axiom forms. Concrete instances of this class then only need to implement indexing of the canonical axioms.

Author:

Frantisek Simancik

Constructor Summary

Constructors

Constructor and Description
AbstractElkAxiomIndexerVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
protected Void	defaultLogicalVisit(ElkAxiom axiom)
Void	visit(ElkClassAssertionAxiom axiom)
Void	visit(ElkDeclarationAxiom axiom) Declares the corresponding entity
Void	visit(ElkDisjointClassesAxiom axiom)
Void	visit(ElkEquivalentClassesAxiom axiom)
Void	visit(ElkEquivalentObjectPropertiesAxiom axiom) Reduces equivalent object properties to subproperty axioms.
Void	visit(ElkObjectPropertyAssertionAxiom axiom) Reduces property assertions to class assertions with ObjectHasValue.
Void	visit(ElkObjectPropertyDomainAxiom axiom)
Void	visit(ElkReflexiveObjectPropertyAxiom axiom)
Void	visit(ElkSubClassOfAxiom axiom)
Void	visit(ElkSubObjectPropertyOfAxiom axiom)
Void	visit(ElkTransitiveObjectPropertyAxiom axiom)

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.reasoner.indexing.hierarchy.ElkAxiomIndexer

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

Constructor Detail

AbstractElkAxiomIndexerVisitor

public AbstractElkAxiomIndexerVisitor()

Method Detail

defaultLogicalVisit

protected Void defaultLogicalVisit(ElkAxiom axiom)

Overrides:

defaultLogicalVisit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkEquivalentObjectPropertiesAxiom axiom)

Reduces equivalent object properties to subproperty axioms.

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface ElkObjectPropertyAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkEquivalentClassesAxiom axiom)

Specified by:

visit in interface ElkClassAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkSubClassOfAxiom axiom)

Specified by:

visit in interface ElkClassAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkDisjointClassesAxiom axiom)

Specified by:

visit in interface ElkClassAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkClassAssertionAxiom axiom)

Specified by:

visit in interface ElkAssertionAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkObjectPropertyAssertionAxiom axiom)

Reduces property assertions to class assertions with ObjectHasValue.

Specified by:

visit in interface ElkAssertionAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>

visit

public Void visit(ElkDeclarationAxiom axiom)

Declares the corresponding entity

Specified by:

visit in interface ElkDeclarationAxiomVisitor<Void>

Overrides:

visit in class AbstractElkAxiomVisitor<Void>