Uses of Class
de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom

Packages that use IntegerTransitiveObjectPropertyAxiom
de.tudresden.inf.lat.jcel.ontology.axiom.complex
Provides interfaces and classes that model complex axioms. 
 

Uses of IntegerTransitiveObjectPropertyAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.complex
 

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerTransitiveObjectPropertyAxiom
 IntegerTransitiveObjectPropertyAxiom ComplexIntegerAxiomFactoryImpl.createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop)
           
 IntegerTransitiveObjectPropertyAxiom ComplexIntegerAxiomFactory.createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop)
          Constructs a new transitive object property axiom.
 

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerTransitiveObjectPropertyAxiom
 T ComplexIntegerAxiomVisitor.visit(IntegerTransitiveObjectPropertyAxiom axiom)
          Visits a transitive object property axiom.
 



Copyright © 2012. All Rights Reserved.