de.tudresden.inf.lat.jcel.ontology.axiom.complex
Interface ComplexIntegerAxiomVisitor<T>


public interface ComplexIntegerAxiomVisitor<T>

This class models a visitor of ComplexIntegerAxiom.

Author:
Julian Mendez
See Also:
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

visit

T visit(IntegerClassAssertionAxiom axiom)
Visits a class assertion axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerClassDeclarationAxiom axiom)
Visits a class declaration axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerDataPropertyAssertionAxiom axiom)
Visits a data property assertion axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerDataPropertyDeclarationAxiom axiom)
Visits a data property declaration axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerDifferentIndividualsAxiom axiom)
Visits a different individuals axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerDisjointClassesAxiom axiom)
Visits a disjoint classes axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerEquivalentClassesAxiom axiom)
Visits an equivalent classes axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerEquivalentObjectPropertiesAxiom axiom)
Visits an equivalent object properties axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerFunctionalObjectPropertyAxiom axiom)
Visits a functional object property axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
Visits an inverse functional object property axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerInverseObjectPropertiesAxiom axiom)
Visits an inverse object property axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerNamedIndividualDeclarationAxiom axiom)
Visits a named individual declaration axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerNegativeObjectPropertyAssertionAxiom axiom)
Visits a negative object property assertion axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerObjectPropertyAssertionAxiom axiom)
Visits an object property assertion axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerObjectPropertyDeclarationAxiom axiom)
Visits an object property declaration axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerPropertyRangeAxiom axiom)
Visits property range axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerReflexiveObjectPropertyAxiom axiom)
Visits a reflexive object property declaration axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerSameIndividualAxiom axiom)
Visits a same individual axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerSubClassOfAxiom axiom)
Visits a subclass axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerSubObjectPropertyOfAxiom axiom)
Visits a sub object property axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerSubPropertyChainOfAxiom axiom)
Visits a sub object property chain axiom.

Parameters:
axiom - axiom
Returns:
the visit result

visit

T visit(IntegerTransitiveObjectPropertyAxiom axiom)
Visits a transitive object property axiom.

Parameters:
axiom - axiom
Returns:
the visit result


Copyright © 2012. All Rights Reserved.