Uses of Class
de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

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

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

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return GCI2Axiom
 GCI2Axiom NormalizedIntegerAxiomFactoryImpl.createGCI2Axiom(int leftCl, int rightProp, int rightCl)
           
 GCI2Axiom NormalizedIntegerAxiomFactory.createGCI2Axiom(int leftCl, int rightProp, int rightCl)
          Constructs a new GCI-2 axiom.
 

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type GCI2Axiom
 Set<GCI2Axiom> ExtendedOntologyImpl.getGCI2Axioms(int classId)
           
 Set<GCI2Axiom> ExtendedOntology.getGCI2Axioms(int classId)
          Returns the set of all axioms GCI2 in the ontology such that the given class occurs in the left part of the axiom.
 

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom with parameters of type GCI2Axiom
 T NormalizedIntegerAxiomVisitor.visit(GCI2Axiom axiom)
          Visits a GCI-2 axiom.
 Boolean ExtendedOntologyImpl.visit(GCI2Axiom axiom)
           
 



Copyright © 2012. All Rights Reserved.