|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntegerDatatype | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
de.tudresden.inf.lat.jcel.coreontology.datatype |
Provides interfaces and classes with the data types used in
the normalized axioms of the classification algorithm. |
Uses of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Subinterfaces of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.axiom | |
---|---|
interface |
NormalizedIntegerAxiom
This interface is for normalized axioms, that is, resulting axioms of the normalization process. |
Classes in de.tudresden.inf.lat.jcel.coreontology.axiom that implement IntegerDatatype | |
---|---|
class |
FunctObjectPropAxiom
Axiom stating that an object property is functional. |
class |
GCI0Axiom
Axiom of the form: A ⊑ B |
class |
GCI1Axiom
Axiom of the form: A1 ⊓ … ⊓ An ⊑ B |
class |
GCI2Axiom
Axiom of the form: A ⊑ ∃ r . B |
class |
GCI3Axiom
Axiom of the form: ∃ r . A ⊑ B |
class |
NominalAxiom
Axiom of the form: {a} ≡ A |
class |
RangeAxiom
Axiom of the form: range(r) ⊑ A |
class |
RI1Axiom
Axiom of the form: ϵ ⊑ r |
class |
RI2Axiom
Axiom of the form: r ⊑ s |
class |
RI3Axiom
Axiom of the form: r ∘ s ⊑ t |
Uses of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.datatype |
---|
Subinterfaces of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.datatype | |
---|---|
interface |
IntegerAxiom
An IntegerAxiom is an axiom that is composed by integer numbers. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |