public class HornAxiomVisitorEx extends Object implements OWLAxiomVisitorEx<Boolean>
Constructor and Description |
---|
HornAxiomVisitorEx() |
Modifier and Type | Method and Description |
---|---|
Boolean |
visit(OWLAnnotationAssertionAxiom axiom)
visit OWLAnnotationAssertionAxiom type
|
Boolean |
visit(OWLAnnotationPropertyDomainAxiom axiom)
visit OWLAnnotationPropertyDomainAxiom type
|
Boolean |
visit(OWLAnnotationPropertyRangeAxiom axiom)
visit OWLAnnotationPropertyRangeAxiom type
|
Boolean |
visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit OWLAsymmetricObjectPropertyAxiom type
|
Boolean |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
Boolean |
visit(OWLDataPropertyAssertionAxiom axiom)
visit OWLDataPropertyAssertionAxiom type
|
Boolean |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
Boolean |
visit(OWLDataPropertyRangeAxiom axiom)
visit OWLDataPropertyRangeAxiom type
|
Boolean |
visit(OWLDatatypeDefinitionAxiom axiom)
visit OWLDatatypeDefinitionAxiom type
|
Boolean |
visit(OWLDeclarationAxiom axiom)
visit OWLDeclarationAxiom type
|
Boolean |
visit(OWLDifferentIndividualsAxiom axiom)
visit OWLDifferentIndividualsAxiom type
|
Boolean |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
Boolean |
visit(OWLDisjointDataPropertiesAxiom axiom)
visit OWLDisjointDataPropertiesAxiom type
|
Boolean |
visit(OWLDisjointObjectPropertiesAxiom axiom)
visit OWLDisjointObjectPropertiesAxiom type
|
Boolean |
visit(OWLDisjointUnionAxiom axiom)
visit OWLDisjointUnionAxiom type
|
Boolean |
visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
Boolean |
visit(OWLEquivalentDataPropertiesAxiom axiom)
visit OWLEquivalentDataPropertiesAxiom type
|
Boolean |
visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit OWLEquivalentObjectPropertiesAxiom type
|
Boolean |
visit(OWLFunctionalDataPropertyAxiom axiom)
visit OWLFunctionalDataPropertyAxiom type
|
Boolean |
visit(OWLFunctionalObjectPropertyAxiom axiom)
visit OWLFunctionalObjectPropertyAxiom type
|
Boolean |
visit(OWLHasKeyAxiom axiom)
visit OWLHasKeyAxiom type
|
Boolean |
visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
Boolean |
visit(OWLInverseObjectPropertiesAxiom axiom)
visit OWLInverseObjectPropertiesAxiom type
|
Boolean |
visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit OWLIrreflexiveObjectPropertyAxiom type
|
Boolean |
visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit OWLNegativeDataPropertyAssertionAxiom type
|
Boolean |
visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit OWLNegativeObjectPropertyAssertionAxiom type
|
Boolean |
visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom type
|
Boolean |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
Boolean |
visit(OWLObjectPropertyRangeAxiom axiom)
visit OWLObjectPropertyRangeAxiom type
|
Boolean |
visit(OWLReflexiveObjectPropertyAxiom axiom)
visit OWLReflexiveObjectPropertyAxiom type
|
Boolean |
visit(OWLSameIndividualAxiom axiom)
visit OWLSameIndividualAxiom type
|
Boolean |
visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit OWLSubAnnotationPropertyOfAxiom type
|
Boolean |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
Boolean |
visit(OWLSubDataPropertyOfAxiom axiom)
visit OWLSubDataPropertyOfAxiom type
|
Boolean |
visit(OWLSubObjectPropertyOfAxiom axiom)
visit OWLSubObjectPropertyOfAxiom type
|
Boolean |
visit(OWLSubPropertyChainOfAxiom axiom)
visit OWLSubPropertyChainOfAxiom type
|
Boolean |
visit(OWLSymmetricObjectPropertyAxiom axiom)
visit OWLSymmetricObjectPropertyAxiom type
|
Boolean |
visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
Boolean |
visit(SWRLRule rule)
visit SWRLRule type
|
public Boolean visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLSubClassOfAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDisjointClassesAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDisjointUnionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDeclarationAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLAnnotationAssertionAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLClassAssertionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLEquivalentClassesAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLSameIndividualAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLHasKeyAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
axiom
- object to visitpublic Boolean visit(SWRLRule rule)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
rule
- object to visitCopyright © 2017 The University of Manchester. All Rights Reserved.