Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Provides interfaces and classes to detect ontology expressivity.
|
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
|
Modifier and Type | Method and Description |
---|---|
void |
ExtendedOntologyImpl.load(Set<NormalizedIntegerAxiom> axiomSet) |
void |
ExtendedOntology.load(Set<NormalizedIntegerAxiom> axiomSet)
Loads a set of normalized axioms.
|
Constructor and Description |
---|
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
Constructs a new expressivity detector.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.