|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NominalAxiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of NominalAxiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return NominalAxiom | |
---|---|
NominalAxiom |
NormalizedIntegerAxiomFactoryImpl.createNominalAxiom(int classId,
int individualId)
|
NominalAxiom |
NormalizedIntegerAxiomFactory.createNominalAxiom(int classId,
int individualId)
Constructs a new nominal axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom with parameters of type NominalAxiom | |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(NominalAxiom axiom)
Visits a nominal axiom. |
Boolean |
ExtendedOntologyImpl.visit(NominalAxiom axiom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |