Package de.tudresden.inf.lat.jcel.coreontology.axiom

Provides interfaces and classes that model normalized axioms.

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
 

Package de.tudresden.inf.lat.jcel.coreontology.axiom Description

Provides interfaces and classes that model normalized axioms. They are used in the internal representation of the classification algorithm.
These axioms are implemented to use a small amount of memory. It uses the following packages:



Copyright © 2012. All Rights Reserved.