public class HornAxiomVisitorEx extends OWLAxiomVisitorExAdapter<Boolean>
Constructor and Description |
---|
HornAxiomVisitorEx()
default constructor
|
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(OWLDeclarationAxiom axiom)
visit OWLDeclarationAxiom type
|
Boolean |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
Boolean |
visit(OWLDisjointUnionAxiom axiom)
visit OWLDisjointUnionAxiom type
|
Boolean |
visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
Boolean |
visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit OWLEquivalentObjectPropertiesAxiom type
|
Boolean |
visit(OWLFunctionalObjectPropertyAxiom axiom)
visit OWLFunctionalObjectPropertyAxiom type
|
Boolean |
visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
Boolean |
visit(OWLInverseObjectPropertiesAxiom axiom)
visit OWLInverseObjectPropertiesAxiom type
|
Boolean |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
Boolean |
visit(OWLObjectPropertyRangeAxiom axiom)
visit OWLObjectPropertyRangeAxiom type
|
Boolean |
visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit OWLSubAnnotationPropertyOfAxiom type
|
Boolean |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
Boolean |
visit(OWLSubObjectPropertyOfAxiom axiom)
visit OWLSubObjectPropertyOfAxiom type
|
Boolean |
visit(OWLSymmetricObjectPropertyAxiom axiom)
visit OWLSymmetricObjectPropertyAxiom type
|
Boolean |
visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
public Boolean visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- object to visitpublic Boolean visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- object to visitpublic Boolean visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- object to visitpublic Boolean visit(@Nonnull OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLSubObjectPropertyOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLDisjointUnionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLDeclarationAxiom axiom)
OWLAxiomVisitorEx
visit
in interface OWLAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLAnnotationAssertionAxiom axiom)
OWLAnnotationAxiomVisitorEx
visit
in interface OWLAnnotationAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- object to visitpublic Boolean visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitpublic Boolean visit(OWLInverseObjectPropertiesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Boolean>
visit
in class OWLAxiomVisitorExAdapter<Boolean>
axiom
- axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.