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

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

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

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return RI3Axiom
 RI3Axiom NormalizedIntegerAxiomFactoryImpl.createRI3Axiom(int leftLeftProp, int leftRightProp, int rightProp)
           
 RI3Axiom NormalizedIntegerAxiomFactory.createRI3Axiom(int leftLeftProp, int leftRightProp, int rightProp)
          Constructs a new RI-3 axiom
 

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type RI3Axiom
 Set<RI3Axiom> ExtendedOntologyImpl.getRI3AxiomsByLeft(int elem)
           
 Set<RI3Axiom> ExtendedOntology.getRI3AxiomsByLeft(int objectPropertyId)
          Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the left part of the object property composition, in the left part of the axiom.
 Set<RI3Axiom> ExtendedOntologyImpl.getRI3AxiomsByRight(int elem)
           
 Set<RI3Axiom> ExtendedOntology.getRI3AxiomsByRight(int objectPropertyId)
          Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the right part of the object property composition, in the left part of the axiom.
 

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



Copyright © 2012. All Rights Reserved.