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

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

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

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return GCI3Axiom
 GCI3Axiom NormalizedIntegerAxiomFactoryImpl.createGCI3Axiom(int leftProp, int leftCl, int rightCl)
           
 GCI3Axiom NormalizedIntegerAxiomFactory.createGCI3Axiom(int leftProp, int leftCl, int rightCl)
          Constructs a new GCI-3 axiom.
 

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type GCI3Axiom
 Set<GCI3Axiom> ExtendedOntologyImpl.getGCI3AAxioms(int classId)
           
 Set<GCI3Axiom> ExtendedOntology.getGCI3AAxioms(int classId)
          Returns the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom.
 Set<GCI3Axiom> ExtendedOntologyImpl.getGCI3rAAxioms(int propertyId, int leftClassId)
           
 Set<GCI3Axiom> ExtendedOntology.getGCI3rAAxioms(int objectPropertyId, int leftClassId)
          Returns the set of all axioms GCI3 in the ontology such that the given object property and the given class occur in the left part of the axiom.
 Set<GCI3Axiom> ExtendedOntologyImpl.getGCI3rAxioms(int objectPropertyId)
           
 Set<GCI3Axiom> ExtendedOntology.getGCI3rAxioms(int objectPropertyId)
          Returns the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom.
 

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



Copyright © 2012. All Rights Reserved.