org.dllearner.core.owl
Interface PropertyAxiomVisitor

All Known Subinterfaces:

AxiomVisitor, KBElementVisitor

All Known Implementing Classes:

OWLAPIAxiomConvertVisitor

public interface PropertyAxiomVisitor

Visitor for property (RBox) axioms.

Author:

Jens Lehmann

Method Summary

void	visit(AsymmetricObjectPropertyAxiom axiom)
void	visit(DatatypePropertyDomainAxiom axiom)
void	visit(DatatypePropertyRangeAxiom axiom)
void	visit(DisjointDatatypePropertyAxiom axiom)
void	visit(DisjointObjectPropertyAxiom axiom)
void	visit(EquivalentDatatypePropertiesAxiom axiom)
void	visit(EquivalentObjectPropertiesAxiom axiom)
void	visit(FunctionalDatatypePropertyAxiom axiom)
void	visit(FunctionalObjectPropertyAxiom axiom)
void	visit(InverseFunctionalObjectPropertyAxiom axiom)
void	visit(InverseObjectPropertyAxiom axiom)
void	visit(IrreflexiveObjectPropertyAxiom axiom)
void	visit(ObjectPropertyDomainAxiom axiom)
void	visit(ObjectPropertyRangeAxiom axiom)
void	visit(ReflexiveObjectPropertyAxiom axiom)
void	visit(SubDatatypePropertyAxiom axiom)
void	visit(SubObjectPropertyAxiom axiom)
void	visit(SymmetricObjectPropertyAxiom axiom)
void	visit(TransitiveObjectPropertyAxiom axiom)

Method Detail

visit

void visit(FunctionalObjectPropertyAxiom axiom)

visit

void visit(FunctionalDatatypePropertyAxiom axiom)

visit

void visit(InverseFunctionalObjectPropertyAxiom axiom)

visit

void visit(InverseObjectPropertyAxiom axiom)

visit

void visit(SymmetricObjectPropertyAxiom axiom)

visit

void visit(AsymmetricObjectPropertyAxiom axiom)

visit

void visit(TransitiveObjectPropertyAxiom axiom)

visit

void visit(ReflexiveObjectPropertyAxiom axiom)

visit

void visit(IrreflexiveObjectPropertyAxiom axiom)

visit

void visit(SubObjectPropertyAxiom axiom)

visit

void visit(SubDatatypePropertyAxiom axiom)

visit

void visit(EquivalentObjectPropertiesAxiom axiom)

visit

void visit(EquivalentDatatypePropertiesAxiom axiom)

visit

void visit(DisjointObjectPropertyAxiom axiom)

visit

void visit(DisjointDatatypePropertyAxiom axiom)

visit

void visit(DatatypePropertyDomainAxiom axiom)

visit

void visit(ObjectPropertyDomainAxiom axiom)

visit

void visit(DatatypePropertyRangeAxiom axiom)

visit

void visit(ObjectPropertyRangeAxiom axiom)