|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |