Uses of Interface
de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

Packages that use IntegerDatatype
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. 
 

Uses of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.axiom
 

Subinterfaces of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.axiom
 interface NormalizedIntegerAxiom
          This interface is for normalized axioms, that is, resulting axioms of the normalization process.
 

Classes in de.tudresden.inf.lat.jcel.coreontology.axiom that implement IntegerDatatype
 class FunctObjectPropAxiom
          Axiom stating that an object property is functional.
 class GCI0Axiom
          Axiom of the form: A ⊑ B
 class GCI1Axiom
          Axiom of the form: A1 ⊓ … ⊓ An ⊑ B
 class GCI2Axiom
          Axiom of the form: A ⊑ ∃ r . B
 class GCI3Axiom
          Axiom of the form: ∃ r . A ⊑ B
 class NominalAxiom
          Axiom of the form: {a} ≡ A
 class RangeAxiom
          Axiom of the form: range(r) ⊑ A
 class RI1Axiom
          Axiom of the form: ϵ ⊑ r
 class RI2Axiom
          Axiom of the form: r ⊑ s
 class RI3Axiom
          Axiom of the form: r ∘ s ⊑ t
 

Uses of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.datatype
 

Subinterfaces of IntegerDatatype in de.tudresden.inf.lat.jcel.coreontology.datatype
 interface IntegerAxiom
          An IntegerAxiom is an axiom that is composed by integer numbers.
 



Copyright © 2012. All Rights Reserved.