public interface ComplexIntegerAxiomVisitor<T>
ComplexIntegerAxiom
.ComplexIntegerAxiom
Modifier and Type | Method and Description |
---|---|
T |
visit(IntegerClassAssertionAxiom axiom)
Visits a class assertion axiom.
|
T |
visit(IntegerClassDeclarationAxiom axiom)
Visits a class declaration axiom.
|
T |
visit(IntegerDataPropertyAssertionAxiom axiom)
Visits a data property assertion axiom.
|
T |
visit(IntegerDataPropertyDeclarationAxiom axiom)
Visits a data property declaration axiom.
|
T |
visit(IntegerDifferentIndividualsAxiom axiom)
Visits a different individuals axiom.
|
T |
visit(IntegerDisjointClassesAxiom axiom)
Visits a disjoint classes axiom.
|
T |
visit(IntegerEquivalentClassesAxiom axiom)
Visits an equivalent classes axiom.
|
T |
visit(IntegerEquivalentObjectPropertiesAxiom axiom)
Visits an equivalent object properties axiom.
|
T |
visit(IntegerFunctionalObjectPropertyAxiom axiom)
Visits a functional object property axiom.
|
T |
visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
Visits an inverse functional object property axiom.
|
T |
visit(IntegerInverseObjectPropertiesAxiom axiom)
Visits an inverse object property axiom.
|
T |
visit(IntegerNamedIndividualDeclarationAxiom axiom)
Visits a named individual declaration axiom.
|
T |
visit(IntegerNegativeObjectPropertyAssertionAxiom axiom)
Visits a negative object property assertion axiom.
|
T |
visit(IntegerObjectPropertyAssertionAxiom axiom)
Visits an object property assertion axiom.
|
T |
visit(IntegerObjectPropertyDeclarationAxiom axiom)
Visits an object property declaration axiom.
|
T |
visit(IntegerPropertyRangeAxiom axiom)
Visits property range axiom.
|
T |
visit(IntegerReflexiveObjectPropertyAxiom axiom)
Visits a reflexive object property declaration axiom.
|
T |
visit(IntegerSameIndividualAxiom axiom)
Visits a same individual axiom.
|
T |
visit(IntegerSubClassOfAxiom axiom)
Visits a subclass axiom.
|
T |
visit(IntegerSubObjectPropertyOfAxiom axiom)
Visits a sub object property axiom.
|
T |
visit(IntegerSubPropertyChainOfAxiom axiom)
Visits a sub object property chain axiom.
|
T |
visit(IntegerTransitiveObjectPropertyAxiom axiom)
Visits a transitive object property axiom.
|
T visit(IntegerClassAssertionAxiom axiom)
axiom
- axiomT visit(IntegerClassDeclarationAxiom axiom)
axiom
- axiomT visit(IntegerDataPropertyAssertionAxiom axiom)
axiom
- axiomT visit(IntegerDataPropertyDeclarationAxiom axiom)
axiom
- axiomT visit(IntegerDifferentIndividualsAxiom axiom)
axiom
- axiomT visit(IntegerDisjointClassesAxiom axiom)
axiom
- axiomT visit(IntegerEquivalentClassesAxiom axiom)
axiom
- axiomT visit(IntegerEquivalentObjectPropertiesAxiom axiom)
axiom
- axiomT visit(IntegerFunctionalObjectPropertyAxiom axiom)
axiom
- axiomT visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
axiom
- axiomT visit(IntegerInverseObjectPropertiesAxiom axiom)
axiom
- axiomT visit(IntegerNamedIndividualDeclarationAxiom axiom)
axiom
- axiomT visit(IntegerNegativeObjectPropertyAssertionAxiom axiom)
axiom
- axiomT visit(IntegerObjectPropertyAssertionAxiom axiom)
axiom
- axiomT visit(IntegerObjectPropertyDeclarationAxiom axiom)
axiom
- axiomT visit(IntegerPropertyRangeAxiom axiom)
axiom
- axiomT visit(IntegerReflexiveObjectPropertyAxiom axiom)
axiom
- axiomT visit(IntegerSameIndividualAxiom axiom)
axiom
- axiomT visit(IntegerSubClassOfAxiom axiom)
axiom
- axiomT visit(IntegerSubObjectPropertyOfAxiom axiom)
axiom
- axiomT visit(IntegerSubPropertyChainOfAxiom axiom)
axiom
- axiomT visit(IntegerTransitiveObjectPropertyAxiom axiom)
axiom
- axiomCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.