org.dllearner.core.owl
Interface AssertionalAxiomVisitor

All Known Subinterfaces:

AxiomVisitor, KBElementVisitor

All Known Implementing Classes:

OWLAPIAxiomConvertVisitor

public interface AssertionalAxiomVisitor

Visitor for assertional (ABox) axioms.

Author:

Jens Lehmann

Method Summary

void	visit(BooleanDatatypePropertyAssertion axiom)
void	visit(ClassAssertionAxiom axiom)
void	visit(DifferentIndividualsAxiom axiom)
void	visit(DoubleDatatypePropertyAssertion axiom)
void	visit(ObjectPropertyAssertion axiom)
void	visit(StringDatatypePropertyAssertion axiom)

Method Detail

visit

void visit(ClassAssertionAxiom axiom)

visit

void visit(ObjectPropertyAssertion axiom)

visit

void visit(DoubleDatatypePropertyAssertion axiom)

visit

void visit(BooleanDatatypePropertyAssertion axiom)

visit

void visit(DifferentIndividualsAxiom axiom)

visit

void visit(StringDatatypePropertyAssertion axiom)