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

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

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

Subinterfaces of IntegerAxiom 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 IntegerAxiom
 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
 



Copyright © 2012. All Rights Reserved.