Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
Modifier and Type | Interface and Description |
---|---|
interface |
NormalizedIntegerAxiom
This interface is for normalized axioms, that is, resulting axioms of the
normalization process.
|
Modifier and Type | Class and Description |
---|---|
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 ⊓ A2 ⊑ 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
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.