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

All Superinterfaces:
ComplexIntegerAxiom, de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom, de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
All Known Implementing Classes:
IntegerClassDeclarationAxiom, IntegerDataPropertyDeclarationAxiom, IntegerNamedIndividualDeclarationAxiom, IntegerObjectPropertyDeclarationAxiom

public interface IntegerDeclarationAxiom
extends ComplexIntegerAxiom

This interface is implemented by declaration axioms.

Author:
Julian Mendez

Method Summary
 Integer getEntity()
          Returns the entity declared by this axioms.
 
Methods inherited from interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom
accept
 
Methods inherited from interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
 

Method Detail

getEntity

Integer getEntity()
Returns the entity declared by this axioms.

Returns:
the entity declared by this axioms.


Copyright © 2012. All Rights Reserved.