|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NormalizedIntegerAxiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Uses of NormalizedIntegerAxiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Classes in de.tudresden.inf.lat.jcel.coreontology.axiom that implement NormalizedIntegerAxiom | |
---|---|
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 |
Method parameters in de.tudresden.inf.lat.jcel.coreontology.axiom with type arguments of type NormalizedIntegerAxiom | |
---|---|
void |
ExtendedOntologyImpl.load(Set<NormalizedIntegerAxiom> axiomSet)
|
void |
ExtendedOntology.load(Set<NormalizedIntegerAxiom> axiomSet)
Loads a set of normalized axioms. |
Uses of NormalizedIntegerAxiom in de.tudresden.inf.lat.jcel.coreontology.expressivity |
---|
Constructor parameters in de.tudresden.inf.lat.jcel.coreontology.expressivity with type arguments of type NormalizedIntegerAxiom | |
---|---|
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
Constructs a new expressivity detector. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |