Package | Description |
---|---|
de.tudresden.inf.lat.jcel.core.algorithm.cel |
Provides interfaces and classes to run the classification
algorithm of CEL.
|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
Modifier and Type | Method and Description |
---|---|
Set<RI3Axiom> |
CelExtendedOntology.getSubPropertyAxiomSetByLeft(Integer elem)
Returns the set of sub object property axioms related where the specified
object property occurs on the left-hand part of the composition.
|
Set<RI3Axiom> |
CelExtendedOntology.getSubPropertyAxiomSetByRight(Integer elem)
Returns the set of sub object property axioms related where the specified
object property occurs on the right-hand part of the composition.
|
Modifier and Type | Method and Description |
---|---|
Boolean |
CelExtendedOntology.visit(RI3Axiom axiom) |
Modifier and Type | Method and Description |
---|---|
RI3Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI3Axiom(int leftLeftProp,
int leftRightProp,
int rightProp,
Set<Annotation> annotations) |
RI3Axiom |
NormalizedIntegerAxiomFactory.createRI3Axiom(int leftLeftPropertyId,
int leftRightPropertyId,
int rightPropertyId,
Set<Annotation> annotations)
Constructs a new RI-3 axiom.
|
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 |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(RI3Axiom axiom)
Visits an RI-3 axiom.
|
Boolean |
ExtendedOntologyImpl.visit(RI3Axiom axiom) |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.