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

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

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

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerNamedIndividualDeclarationAxiom
 IntegerNamedIndividualDeclarationAxiom ComplexIntegerAxiomFactoryImpl.createNamedIndividualDeclarationAxiom(Integer declaredEntity)
           
 IntegerNamedIndividualDeclarationAxiom ComplexIntegerAxiomFactory.createNamedIndividualDeclarationAxiom(Integer declaredEntity)
          Constructs a new named individual declaration axiom.
 

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerNamedIndividualDeclarationAxiom
 T ComplexIntegerAxiomVisitor.visit(IntegerNamedIndividualDeclarationAxiom axiom)
          Visits a named individual declaration axiom.
 



Copyright © 2012. All Rights Reserved.