org.semanticweb.owlapi.model
Interface OWLAxiomVisitor

All Superinterfaces:

OWLAnnotationAxiomVisitor

All Known Subinterfaces:

OWLObjectVisitor

All Known Implementing Classes:

AbstractTranslator, AxiomSubjectProvider, AxiomTypeProvider, DebuggerClassExpressionGenerator, DLExpressivityChecker, DLSyntaxObjectRenderer, FilteringOWLOntologyChangeListener, HashCode, KRSS2ObjectRenderer, KRSS2OWLObjectRenderer, KRSSObjectRenderer, LatexObjectVisitor, ManchesterOWLSyntaxFrameRenderer, ManchesterOWLSyntaxObjectRenderer, OWLAxiomTypeProcessor, OWLAxiomVisitorAdapter, OWLEntityCollector, OWLObjectComponentCollector, OWLObjectDuplicator, OWLObjectRenderer, OWLObjectTypeIndexProvider, OWLObjectVisitorAdapter, OWLOntologyChangeFilter, OWLXMLObjectRenderer, RDFTranslator, SimpleRenderer

public interface OWLAxiomVisitor
extends OWLAnnotationAxiomVisitor

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

An interface for objects that can accept visits from axioms. (See the Visitor Patterns)

Method Summary

void	visit(OWLAsymmetricObjectPropertyAxiom axiom)
void	visit(OWLClassAssertionAxiom axiom)
void	visit(OWLDataPropertyAssertionAxiom axiom)
void	visit(OWLDataPropertyDomainAxiom axiom)
void	visit(OWLDataPropertyRangeAxiom axiom)
void	visit(OWLDatatypeDefinitionAxiom axiom)
void	visit(OWLDeclarationAxiom axiom)
void	visit(OWLDifferentIndividualsAxiom axiom)
void	visit(OWLDisjointClassesAxiom axiom)
void	visit(OWLDisjointDataPropertiesAxiom axiom)
void	visit(OWLDisjointObjectPropertiesAxiom axiom)
void	visit(OWLDisjointUnionAxiom axiom)
void	visit(OWLEquivalentClassesAxiom axiom)
void	visit(OWLEquivalentDataPropertiesAxiom axiom)
void	visit(OWLEquivalentObjectPropertiesAxiom axiom)
void	visit(OWLFunctionalDataPropertyAxiom axiom)
void	visit(OWLFunctionalObjectPropertyAxiom axiom)
void	visit(OWLHasKeyAxiom axiom)
void	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	visit(OWLInverseObjectPropertiesAxiom axiom)
void	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
void	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
void	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectPropertyAssertionAxiom axiom)
void	visit(OWLObjectPropertyDomainAxiom axiom)
void	visit(OWLObjectPropertyRangeAxiom axiom)
void	visit(OWLReflexiveObjectPropertyAxiom axiom)
void	visit(OWLSameIndividualAxiom axiom)
void	visit(OWLSubClassOfAxiom axiom)
void	visit(OWLSubDataPropertyOfAxiom axiom)
void	visit(OWLSubObjectPropertyOfAxiom axiom)
void	visit(OWLSubPropertyChainOfAxiom axiom)
void	visit(OWLSymmetricObjectPropertyAxiom axiom)
void	visit(OWLTransitiveObjectPropertyAxiom axiom)
void	visit(SWRLRule rule)

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit, visit, visit, visit

Method Detail

visit

void visit(OWLDeclarationAxiom axiom)

visit

void visit(OWLSubClassOfAxiom axiom)

visit

void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

visit

void visit(OWLAsymmetricObjectPropertyAxiom axiom)

visit

void visit(OWLReflexiveObjectPropertyAxiom axiom)

visit

void visit(OWLDisjointClassesAxiom axiom)

visit

void visit(OWLDataPropertyDomainAxiom axiom)

visit

void visit(OWLObjectPropertyDomainAxiom axiom)

visit

void visit(OWLEquivalentObjectPropertiesAxiom axiom)

visit

void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

visit

void visit(OWLDifferentIndividualsAxiom axiom)

visit

void visit(OWLDisjointDataPropertiesAxiom axiom)

visit

void visit(OWLDisjointObjectPropertiesAxiom axiom)

visit

void visit(OWLObjectPropertyRangeAxiom axiom)

visit

void visit(OWLObjectPropertyAssertionAxiom axiom)

visit

void visit(OWLFunctionalObjectPropertyAxiom axiom)

visit

void visit(OWLSubObjectPropertyOfAxiom axiom)

visit

void visit(OWLDisjointUnionAxiom axiom)

visit

void visit(OWLSymmetricObjectPropertyAxiom axiom)

visit

void visit(OWLDataPropertyRangeAxiom axiom)

visit

void visit(OWLFunctionalDataPropertyAxiom axiom)

visit

void visit(OWLEquivalentDataPropertiesAxiom axiom)

visit

void visit(OWLClassAssertionAxiom axiom)

visit

void visit(OWLEquivalentClassesAxiom axiom)

visit

void visit(OWLDataPropertyAssertionAxiom axiom)

visit

void visit(OWLTransitiveObjectPropertyAxiom axiom)

visit

void visit(OWLIrreflexiveObjectPropertyAxiom axiom)

visit

void visit(OWLSubDataPropertyOfAxiom axiom)

visit

void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

visit

void visit(OWLSameIndividualAxiom axiom)

visit

void visit(OWLSubPropertyChainOfAxiom axiom)

visit

void visit(OWLInverseObjectPropertiesAxiom axiom)

visit

void visit(OWLHasKeyAxiom axiom)

visit

void visit(OWLDatatypeDefinitionAxiom axiom)

visit

void visit(SWRLRule rule)