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

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

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

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerInverseFunctionalObjectPropertyAxiom
 IntegerInverseFunctionalObjectPropertyAxiom ComplexIntegerAxiomFactoryImpl.createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
           
 IntegerInverseFunctionalObjectPropertyAxiom ComplexIntegerAxiomFactory.createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
          Constructs a new inverse functional object property axiom.
 

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerInverseFunctionalObjectPropertyAxiom
 T ComplexIntegerAxiomVisitor.visit(IntegerInverseFunctionalObjectPropertyAxiom axiom)
          Visits an inverse functional object property axiom.
 



Copyright © 2012. All Rights Reserved.