See: Description
Interface | 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.
|
NormalizedIntegerAxiom |
This interface is for normalized axioms, that is, resulting axioms of the
normalization process.
|
NormalizedIntegerAxiomConstant |
This interface is a collection of constants used by classes that implement an
NormalizedIntegerAxiom . |
NormalizedIntegerAxiomFactory |
An object implementing this interface is a factory to create normalized
axioms.
|
NormalizedIntegerAxiomVisitor<T> |
This class models a visitor of
NormalizedIntegerAxiom . |
Class | Description |
---|---|
AnnotationImpl |
An object of this class is an annotation.
|
ExtendedOntologyImpl |
This class models an ontology with the property to look up by axiom type.
|
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
|
NormalizedIntegerAxiomFactoryImpl |
An object of this class is a factory to create any normalized axiom.
|
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
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.