org.semanticweb.owlapi.model
Interface OWLLogicalAxiomVisitor


public interface OWLLogicalAxiomVisitor

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009


Method Summary
 void visit(OWLAsymmetricObjectPropertyAxiom axiom)
           
 void visit(OWLClassAssertionAxiom axiom)
           
 void visit(OWLDataPropertyAssertionAxiom axiom)
           
 void visit(OWLDataPropertyDomainAxiom axiom)
           
 void visit(OWLDataPropertyRangeAxiom 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)
           
 

Method Detail

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(SWRLRule rule)