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