org.semanticweb.owl.model
Interface OWLAxiomVisitorEx<O>

All Known Subinterfaces:

OWLObjectVisitorEx<O>

All Known Implementing Classes:

DelegatingObjectVisitorEx, NNF, OWLObjectVisitorExAdapter, OWLOntologyWalkerVisitor

public interface OWLAxiomVisitorEx<O>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

Method Summary

O	visit(OWLAntiSymmetricObjectPropertyAxiom axiom)
O	visit(OWLAxiomAnnotationAxiom axiom)
O	visit(OWLClassAssertionAxiom axiom)
O	visit(OWLDataPropertyAssertionAxiom axiom)
O	visit(OWLDataPropertyDomainAxiom axiom)
O	visit(OWLDataPropertyRangeAxiom axiom)
O	visit(OWLDataSubPropertyAxiom axiom)
O	visit(OWLDeclarationAxiom axiom)
O	visit(OWLDifferentIndividualsAxiom axiom)
O	visit(OWLDisjointClassesAxiom axiom)
O	visit(OWLDisjointDataPropertiesAxiom axiom)
O	visit(OWLDisjointObjectPropertiesAxiom axiom)
O	visit(OWLDisjointUnionAxiom axiom)
O	visit(OWLEntityAnnotationAxiom axiom)
O	visit(OWLEquivalentClassesAxiom axiom)
O	visit(OWLEquivalentDataPropertiesAxiom axiom)
O	visit(OWLEquivalentObjectPropertiesAxiom axiom)
O	visit(OWLFunctionalDataPropertyAxiom axiom)
O	visit(OWLFunctionalObjectPropertyAxiom axiom)
O	visit(OWLImportsDeclaration axiom)
O	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	visit(OWLInverseObjectPropertiesAxiom axiom)
O	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
O	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
O	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
O	visit(OWLObjectPropertyAssertionAxiom axiom)
O	visit(OWLObjectPropertyChainSubPropertyAxiom axiom)
O	visit(OWLObjectPropertyDomainAxiom axiom)
O	visit(OWLObjectPropertyRangeAxiom axiom)
O	visit(OWLObjectSubPropertyAxiom axiom)
O	visit(OWLOntologyAnnotationAxiom axiom)
O	visit(OWLReflexiveObjectPropertyAxiom axiom)
O	visit(OWLSameIndividualsAxiom axiom)
O	visit(OWLSubClassAxiom axiom)
O	visit(OWLSymmetricObjectPropertyAxiom axiom)
O	visit(OWLTransitiveObjectPropertyAxiom axiom)
O	visit(SWRLRule rule)

Method Detail

visit

O visit(OWLSubClassAxiom axiom)

visit

O visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

visit

O visit(OWLAntiSymmetricObjectPropertyAxiom axiom)

visit

O visit(OWLReflexiveObjectPropertyAxiom axiom)

visit

O visit(OWLDisjointClassesAxiom axiom)

visit

O visit(OWLDataPropertyDomainAxiom axiom)

visit

O visit(OWLImportsDeclaration axiom)

visit

O visit(OWLAxiomAnnotationAxiom axiom)

visit

O visit(OWLObjectPropertyDomainAxiom axiom)

visit

O visit(OWLEquivalentObjectPropertiesAxiom axiom)

visit

O visit(OWLNegativeDataPropertyAssertionAxiom axiom)

visit

O visit(OWLDifferentIndividualsAxiom axiom)

visit

O visit(OWLDisjointDataPropertiesAxiom axiom)

visit

O visit(OWLDisjointObjectPropertiesAxiom axiom)

visit

O visit(OWLObjectPropertyRangeAxiom axiom)

visit

O visit(OWLObjectPropertyAssertionAxiom axiom)

visit

O visit(OWLFunctionalObjectPropertyAxiom axiom)

visit

O visit(OWLObjectSubPropertyAxiom axiom)

visit

O visit(OWLDisjointUnionAxiom axiom)

visit

O visit(OWLDeclarationAxiom axiom)

visit

O visit(OWLEntityAnnotationAxiom axiom)

visit

O visit(OWLOntologyAnnotationAxiom axiom)

visit

O visit(OWLSymmetricObjectPropertyAxiom axiom)

visit

O visit(OWLDataPropertyRangeAxiom axiom)

visit

O visit(OWLFunctionalDataPropertyAxiom axiom)

visit

O visit(OWLEquivalentDataPropertiesAxiom axiom)

visit

O visit(OWLClassAssertionAxiom axiom)

visit

O visit(OWLEquivalentClassesAxiom axiom)

visit

O visit(OWLDataPropertyAssertionAxiom axiom)

visit

O visit(OWLTransitiveObjectPropertyAxiom axiom)

visit

O visit(OWLIrreflexiveObjectPropertyAxiom axiom)

visit

O visit(OWLDataSubPropertyAxiom axiom)

visit

O visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

visit

O visit(OWLSameIndividualsAxiom axiom)

visit

O visit(OWLObjectPropertyChainSubPropertyAxiom axiom)

visit

O visit(OWLInverseObjectPropertiesAxiom axiom)

visit

O visit(SWRLRule rule)