|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GCI2Axiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of GCI2Axiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return GCI2Axiom | |
---|---|
GCI2Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI2Axiom(int leftCl,
int rightProp,
int rightCl)
|
GCI2Axiom |
NormalizedIntegerAxiomFactory.createGCI2Axiom(int leftCl,
int rightProp,
int rightCl)
Constructs a new GCI-2 axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type GCI2Axiom | |
---|---|
Set<GCI2Axiom> |
ExtendedOntologyImpl.getGCI2Axioms(int classId)
|
Set<GCI2Axiom> |
ExtendedOntology.getGCI2Axioms(int classId)
Returns the set of all axioms GCI2 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 GCI2Axiom | |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(GCI2Axiom axiom)
Visits a GCI-2 axiom. |
Boolean |
ExtendedOntologyImpl.visit(GCI2Axiom axiom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |