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(GCI3Axiom axiom) |
Modifier and Type | Method and Description |
---|---|
GCI3Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI3Axiom(int leftProp,
int leftCl,
int rightCl,
Set<Annotation> annotations) |
GCI3Axiom |
NormalizedIntegerAxiomFactory.createGCI3Axiom(int leftPropertyId,
int leftClassId,
int rightClassId,
Set<Annotation> annotations)
Constructs a new GCI-3 axiom.
|
Modifier and Type | Method and Description |
---|---|
Set<GCI3Axiom> |
ExtendedOntologyImpl.getGCI3AAxioms(int classId) |
Set<GCI3Axiom> |
ExtendedOntology.getGCI3AAxioms(int classId)
Returns the set of all axioms GCI3 in the ontology such that the given
class occurs in the left part of the axiom.
|
Set<GCI3Axiom> |
ExtendedOntologyImpl.getGCI3rAAxioms(int objectPropertyId,
int leftClassId) |
Set<GCI3Axiom> |
ExtendedOntology.getGCI3rAAxioms(int objectPropertyId,
int leftClassId)
Returns the set of all axioms GCI3 in the ontology such that the given
object property and the given class occur in the left part of the axiom.
|
Set<GCI3Axiom> |
ExtendedOntologyImpl.getGCI3rAxioms(int objectPropertyId) |
Set<GCI3Axiom> |
ExtendedOntology.getGCI3rAxioms(int objectPropertyId)
Returns the set of all axioms GCI3 in the ontology such that the given
object property occurs in the axiom.
|
Modifier and Type | Method and Description |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(GCI3Axiom axiom)
Visits a GCI-3 axiom.
|
Boolean |
ExtendedOntologyImpl.visit(GCI3Axiom axiom) |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.