de.tudresden.inf.lat.jcel.ontology.axiom.complex
Interface ComplexIntegerAxiom

All Superinterfaces:
de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom, de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
All Known Subinterfaces:
IntegerDeclarationAxiom
All Known Implementing Classes:
IntegerClassAssertionAxiom, IntegerClassDeclarationAxiom, IntegerDataPropertyAssertionAxiom, IntegerDataPropertyDeclarationAxiom, IntegerDifferentIndividualsAxiom, IntegerDisjointClassesAxiom, IntegerEquivalentClassesAxiom, IntegerEquivalentObjectPropertiesAxiom, IntegerFunctionalObjectPropertyAxiom, IntegerInverseFunctionalObjectPropertyAxiom, IntegerInverseObjectPropertiesAxiom, IntegerNamedIndividualDeclarationAxiom, IntegerNegativeObjectPropertyAssertionAxiom, IntegerObjectPropertyAssertionAxiom, IntegerObjectPropertyDeclarationAxiom, IntegerPropertyRangeAxiom, IntegerReflexiveObjectPropertyAxiom, IntegerSameIndividualAxiom, IntegerSubClassOfAxiom, IntegerSubObjectPropertyOfAxiom, IntegerSubPropertyChainOfAxiom, IntegerTransitiveObjectPropertyAxiom

public interface ComplexIntegerAxiom
extends de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom

This interface is for complex axioms. They are regular axioms before the normalization process.

Author:
Julian Mendez

Method Summary
<T> T
accept(ComplexIntegerAxiomVisitor<T> visitor)
          Applies a visitor to this complex integer axiom.
 
Methods inherited from interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
 

Method Detail

accept

<T> T accept(ComplexIntegerAxiomVisitor<T> visitor)
Applies a visitor to this complex integer axiom.

Type Parameters:
T - the return type of the visitor's methods
Parameters:
visitor - visitor
Returns:
the visit result


Copyright © 2012. All Rights Reserved.