|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntegerClassAssertionAxiom | |
---|---|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms. |
Uses of IntegerClassAssertionAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.complex |
---|
Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerClassAssertionAxiom | |
---|---|
IntegerClassAssertionAxiom |
ComplexIntegerAxiomFactoryImpl.createClassAssertionAxiom(IntegerClassExpression classExpr,
Integer individualId)
|
IntegerClassAssertionAxiom |
ComplexIntegerAxiomFactory.createClassAssertionAxiom(IntegerClassExpression classExpr,
Integer individualId)
Constructs a new class assertion axiom. |
Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerClassAssertionAxiom | |
---|---|
T |
ComplexIntegerAxiomVisitor.visit(IntegerClassAssertionAxiom axiom)
Visits a class assertion axiom. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |