|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
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 Summary | |
---|---|
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 ⊓ … ⊓ 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 |
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 |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |