Uses of Interface
de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom

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

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

Classes in de.tudresden.inf.lat.jcel.coreontology.axiom that implement NormalizedIntegerAxiom
 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
 

Method parameters in de.tudresden.inf.lat.jcel.coreontology.axiom with type arguments of type NormalizedIntegerAxiom
 void ExtendedOntologyImpl.load(Set<NormalizedIntegerAxiom> axiomSet)
           
 void ExtendedOntology.load(Set<NormalizedIntegerAxiom> axiomSet)
          Loads a set of normalized axioms.
 

Uses of NormalizedIntegerAxiom in de.tudresden.inf.lat.jcel.coreontology.expressivity
 

Constructor parameters in de.tudresden.inf.lat.jcel.coreontology.expressivity with type arguments of type NormalizedIntegerAxiom
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
          Constructs a new expressivity detector.
 



Copyright © 2012. All Rights Reserved.