public class HornAxiomVisitorEx extends java.lang.Object implements OWLAxiomVisitorEx<java.lang.Boolean>
Constructor and Description |
---|
HornAxiomVisitorEx() |
public java.lang.Boolean visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLAnnotationPropertyDomainAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLAnnotationPropertyRangeAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLSubClassOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLReflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDisjointClassesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDataPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLObjectPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDifferentIndividualsAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDisjointDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDisjointObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLObjectPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLSubObjectPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDisjointUnionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDeclarationAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLAnnotationAssertionAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<java.lang.Boolean>
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLSymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDataPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLFunctionalDataPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLEquivalentDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLClassAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLEquivalentClassesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLTransitiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLSubDataPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLSameIndividualAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLSubPropertyChainOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLInverseObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLHasKeyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(OWLDatatypeDefinitionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>
public java.lang.Boolean visit(SWRLRule rule)
visit
in interface OWLAxiomVisitorEx<java.lang.Boolean>