de.tudresden.inf.lat.jcel.coreontology.datatype
Interface IntegerAxiom

All Superinterfaces:
IntegerDatatype
All Known Subinterfaces:
NormalizedIntegerAxiom
All Known Implementing Classes:
FunctObjectPropAxiom, GCI0Axiom, GCI1Axiom, GCI2Axiom, GCI3Axiom, NominalAxiom, RangeAxiom, RI1Axiom, RI2Axiom, RI3Axiom

public interface IntegerAxiom
extends IntegerDatatype

An IntegerAxiom is an axiom that is composed by integer numbers. It should use a small amount of memory.

Author:
Julian Mendez

Method Summary
 
Methods inherited from interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
 



Copyright © 2012. All Rights Reserved.