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 |
---|---|
Boolean |
CelExtendedOntology.visit(RI2Axiom axiom) |
Modifier and Type | Method and Description |
---|---|
RI2Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI2Axiom(int leftProp,
int rightProp,
Set<Annotation> annotations) |
RI2Axiom |
NormalizedIntegerAxiomFactory.createRI2Axiom(int leftPropertyId,
int rightPropertyId,
Set<Annotation> annotations)
Constructs a new axiom RI-2.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(RI2Axiom axiom)
Visits an RI-2 axiom.
|
Boolean |
ExtendedOntologyImpl.visit(RI2Axiom axiom) |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.