|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use de.tudresden.inf.lat.jcel.coreontology.axiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Classes in de.tudresden.inf.lat.jcel.coreontology.axiom used by de.tudresden.inf.lat.jcel.coreontology.axiom | |
---|---|
ExtendedOntology
This is the interface of an extended ontology provides methods to efficiently retrieve axioms from the ontology. |
|
FunctObjectPropAxiom
Axiom stating that an object property is functional. |
|
GCI0Axiom
Axiom of the form: A ⊑ B |
|
GCI1Axiom
Axiom of the form: A1 ⊓ … ⊓ An ⊑ B |
|
GCI2Axiom
Axiom of the form: A ⊑ ∃ r . B |
|
GCI3Axiom
Axiom of the form: ∃ r . A ⊑ B |
|
NominalAxiom
Axiom of the form: {a} ≡ A |
|
NormalizedIntegerAxiom
This interface is for normalized axioms, that is, resulting axioms of the normalization process. |
|
NormalizedIntegerAxiomFactory
An object implementing this interface is a factory to create normalized axioms. |
|
NormalizedIntegerAxiomVisitor
This class models a visitor of NormalizedIntegerAxiom . |
|
RangeAxiom
Axiom of the form: range(r) ⊑ A |
|
RI1Axiom
Axiom of the form: ϵ ⊑ r |
|
RI2Axiom
Axiom of the form: r ⊑ s |
|
RI3Axiom
Axiom of the form: r ∘ s ⊑ t |
Classes in de.tudresden.inf.lat.jcel.coreontology.axiom used by de.tudresden.inf.lat.jcel.coreontology.expressivity | |
---|---|
NormalizedIntegerAxiom
This interface is for normalized axioms, that is, resulting axioms of the normalization process. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |