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

Packages that use IntegerDeclarationAxiom
de.tudresden.inf.lat.jcel.ontology.axiom.complex
Provides interfaces and classes that model complex axioms. 
 

Uses of IntegerDeclarationAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.complex
 

Classes in de.tudresden.inf.lat.jcel.ontology.axiom.complex that implement IntegerDeclarationAxiom
 class IntegerClassDeclarationAxiom
          An object of this class is an axiom that declares a class.
 class IntegerDataPropertyDeclarationAxiom
          An object of this class is an axiom that declares an data property.
 class IntegerNamedIndividualDeclarationAxiom
          An object of this class is an axiom that declares a named individual.
 class IntegerObjectPropertyDeclarationAxiom
          An object of this class is an axiom that declares an object property.
 



Copyright © 2012. All Rights Reserved.