|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntegerAxiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of IntegerAxiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Subinterfaces of IntegerAxiom 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 IntegerAxiom | |
---|---|
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |