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

Packages that use de.tudresden.inf.lat.jcel.coreontology.axiom
de.tudresden.inf.lat.jcel.coreontology.axiom
Provides interfaces and classes that model normalized axioms. 
de.tudresden.inf.lat.jcel.coreontology.expressivity   
 

Classes in de.tudresden.inf.lat.jcel.coreontology.axiom used by de.tudresden.inf.lat.jcel.coreontology.axiom
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 ⊓ … ⊓ 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
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
 

Classes in de.tudresden.inf.lat.jcel.coreontology.axiom used by de.tudresden.inf.lat.jcel.coreontology.expressivity
NormalizedIntegerAxiom
          This interface is for normalized axioms, that is, resulting axioms of the normalization process.
 



Copyright © 2012. All Rights Reserved.