Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
de.tudresden.inf.lat.jcel.coreontology.datatype |
Provides interfaces and classes with the data types used in
the normalized axioms of the classification algorithm.
|
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Provides interfaces and classes to detect ontology expressivity.
|
Class and Description |
---|
Annotation
This interface models an annotation.
|
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 ⊓ A2 ⊑ 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
|
Class and Description |
---|
Annotation
This interface models an annotation.
|
Class and Description |
---|
NormalizedIntegerAxiom
This interface is for normalized axioms, that is, resulting axioms of the
normalization process.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.