|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ComplexIntegerAxiomVisitor<T>
This class models a visitor of ComplexIntegerAxiom
.
ComplexIntegerAxiom
Method Summary | |
---|---|
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. |
Method Detail |
---|
T visit(IntegerClassAssertionAxiom axiom)
axiom
- axiom
T visit(IntegerClassDeclarationAxiom axiom)
axiom
- axiom
T visit(IntegerDataPropertyAssertionAxiom axiom)
axiom
- axiom
T visit(IntegerDataPropertyDeclarationAxiom axiom)
axiom
- axiom
T visit(IntegerDifferentIndividualsAxiom axiom)
axiom
- axiom
T visit(IntegerDisjointClassesAxiom axiom)
axiom
- axiom
T visit(IntegerEquivalentClassesAxiom axiom)
axiom
- axiom
T visit(IntegerEquivalentObjectPropertiesAxiom axiom)
axiom
- axiom
T visit(IntegerFunctionalObjectPropertyAxiom axiom)
axiom
- axiom
T visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
axiom
- axiom
T visit(IntegerInverseObjectPropertiesAxiom axiom)
axiom
- axiom
T visit(IntegerNamedIndividualDeclarationAxiom axiom)
axiom
- axiom
T visit(IntegerNegativeObjectPropertyAssertionAxiom axiom)
axiom
- axiom
T visit(IntegerObjectPropertyAssertionAxiom axiom)
axiom
- axiom
T visit(IntegerObjectPropertyDeclarationAxiom axiom)
axiom
- axiom
T visit(IntegerPropertyRangeAxiom axiom)
axiom
- axiom
T visit(IntegerReflexiveObjectPropertyAxiom axiom)
axiom
- axiom
T visit(IntegerSameIndividualAxiom axiom)
axiom
- axiom
T visit(IntegerSubClassOfAxiom axiom)
axiom
- axiom
T visit(IntegerSubObjectPropertyOfAxiom axiom)
axiom
- axiom
T visit(IntegerSubPropertyChainOfAxiom axiom)
axiom
- axiom
T visit(IntegerTransitiveObjectPropertyAxiom axiom)
axiom
- axiom
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |