|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GCI0Axiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of GCI0Axiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return GCI0Axiom | |
---|---|
GCI0Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI0Axiom(int subCl,
int superCl)
|
GCI0Axiom |
NormalizedIntegerAxiomFactory.createGCI0Axiom(int subCl,
int superCl)
Constructs a new GCI-0 axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type GCI0Axiom | |
---|---|
Set<GCI0Axiom> |
ExtendedOntologyImpl.getGCI0Axioms(int classId)
|
Set<GCI0Axiom> |
ExtendedOntology.getGCI0Axioms(int classId)
Returns the set of all axioms GCI0 in the ontology such that the given class occurs in the left part of the axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom with parameters of type GCI0Axiom | |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(GCI0Axiom axiom)
Visits a GCI-0 axiom. |
Boolean |
ExtendedOntologyImpl.visit(GCI0Axiom axiom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |