|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GCI3Axiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of GCI3Axiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return GCI3Axiom | |
---|---|
GCI3Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI3Axiom(int leftProp,
int leftCl,
int rightCl)
|
GCI3Axiom |
NormalizedIntegerAxiomFactory.createGCI3Axiom(int leftProp,
int leftCl,
int rightCl)
Constructs a new GCI-3 axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type GCI3Axiom | |
---|---|
Set<GCI3Axiom> |
ExtendedOntologyImpl.getGCI3AAxioms(int classId)
|
Set<GCI3Axiom> |
ExtendedOntology.getGCI3AAxioms(int classId)
Returns the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom. |
Set<GCI3Axiom> |
ExtendedOntologyImpl.getGCI3rAAxioms(int propertyId,
int leftClassId)
|
Set<GCI3Axiom> |
ExtendedOntology.getGCI3rAAxioms(int objectPropertyId,
int leftClassId)
Returns the set of all axioms GCI3 in the ontology such that the given object property and the given class occur in the left part of the axiom. |
Set<GCI3Axiom> |
ExtendedOntologyImpl.getGCI3rAxioms(int objectPropertyId)
|
Set<GCI3Axiom> |
ExtendedOntology.getGCI3rAxioms(int objectPropertyId)
Returns the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom with parameters of type GCI3Axiom | |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(GCI3Axiom axiom)
Visits a GCI-3 axiom. |
Boolean |
ExtendedOntologyImpl.visit(GCI3Axiom axiom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |