Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
Modifier and Type | Method and Description |
---|---|
RI3Axiom |
NormalizedIntegerAxiomFactory.createRI3Axiom(int leftLeftPropertyId,
int leftRightPropertyId,
int rightPropertyId,
Set<Annotation> annotations)
Constructs a new RI-3 axiom.
|
RI3Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI3Axiom(int leftLeftProp,
int leftRightProp,
int rightProp,
Set<Annotation> annotations) |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
Boolean |
ExtendedOntologyImpl.visit(RI3Axiom axiom) |
T |
NormalizedIntegerAxiomVisitor.visit(RI3Axiom axiom)
Visits an RI-3 axiom.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.