|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RI2Axiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of RI2Axiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return RI2Axiom | |
---|---|
RI2Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI2Axiom(int leftProp,
int rightProp)
|
RI2Axiom |
NormalizedIntegerAxiomFactory.createRI2Axiom(int leftProp,
int rightProp)
Constructs a new axiom RI-2. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type RI2Axiom | |
---|---|
Set<RI2Axiom> |
ExtendedOntologyImpl.getRI2rAxioms(int elem)
|
Set<RI2Axiom> |
ExtendedOntology.getRI2rAxioms(int objectPropertyId)
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the left part of the axiom. |
Set<RI2Axiom> |
ExtendedOntologyImpl.getRI2sAxioms(int elem)
|
Set<RI2Axiom> |
ExtendedOntology.getRI2sAxioms(int objectPropertyId)
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the right part of the axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom with parameters of type RI2Axiom | |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(RI2Axiom axiom)
Visits an RI-2 axiom. |
Boolean |
ExtendedOntologyImpl.visit(RI2Axiom axiom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |