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

All Superinterfaces:

OWLAnnotationAxiomVisitorEx<O>

All Known Subinterfaces:

OWLObjectVisitorEx<O>

All Known Implementing Classes:

DelegatingObjectVisitorEx, InitVisitorFactory.InitCollectionVisitor, InitVisitorFactory.InitIndividualVisitor, InitVisitorFactory.InitVisitor, MaximumModalDepthFinder, NNF, OWL2ELProfile.OWL2ELProfileObjectVisitor, OWLClassExpressionCollector, OWLObjectVisitorExAdapter, OWLOntologyWalkerVisitor, SatisfiabilityReducer

public interface OWLAxiomVisitorEx<O>
extends OWLAnnotationAxiomVisitorEx<O>

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

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

Method Summary

O	visit(OWLAnnotationAssertionAxiom axiom)
O	visit(OWLAsymmetricObjectPropertyAxiom axiom)
O	visit(OWLClassAssertionAxiom axiom)
O	visit(OWLDataPropertyAssertionAxiom axiom)
O	visit(OWLDataPropertyDomainAxiom axiom)
O	visit(OWLDataPropertyRangeAxiom axiom)
O	visit(OWLDatatypeDefinitionAxiom 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(OWLEquivalentClassesAxiom axiom)
O	visit(OWLEquivalentDataPropertiesAxiom axiom)
O	visit(OWLEquivalentObjectPropertiesAxiom axiom)
O	visit(OWLFunctionalDataPropertyAxiom axiom)
O	visit(OWLFunctionalObjectPropertyAxiom axiom)
O	visit(OWLHasKeyAxiom 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(OWLObjectPropertyDomainAxiom axiom)
O	visit(OWLObjectPropertyRangeAxiom axiom)
O	visit(OWLReflexiveObjectPropertyAxiom axiom)
O	visit(OWLSameIndividualAxiom axiom)
O	visit(OWLSubClassOfAxiom axiom)
O	visit(OWLSubDataPropertyOfAxiom axiom)
O	visit(OWLSubObjectPropertyOfAxiom axiom)
O	visit(OWLSubPropertyChainOfAxiom axiom)
O	visit(OWLSymmetricObjectPropertyAxiom axiom)
O	visit(OWLTransitiveObjectPropertyAxiom axiom)
O	visit(SWRLRule rule)

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

visit, visit, visit

Method Detail

visit

O visit(OWLSubClassOfAxiom axiom)

visit

O visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

visit

O visit(OWLAsymmetricObjectPropertyAxiom axiom)

visit

O visit(OWLReflexiveObjectPropertyAxiom axiom)

visit

O visit(OWLDisjointClassesAxiom axiom)

visit

O visit(OWLDataPropertyDomainAxiom 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(OWLSubObjectPropertyOfAxiom axiom)

visit

O visit(OWLDisjointUnionAxiom axiom)

visit

O visit(OWLDeclarationAxiom axiom)

visit

O visit(OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<O>

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(OWLSubDataPropertyOfAxiom axiom)

visit

O visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

visit

O visit(OWLSameIndividualAxiom axiom)

visit

O visit(OWLSubPropertyChainOfAxiom axiom)

visit

O visit(OWLInverseObjectPropertiesAxiom axiom)

visit

O visit(OWLHasKeyAxiom axiom)

visit

O visit(OWLDatatypeDefinitionAxiom axiom)

visit

O visit(SWRLRule rule)