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(NominalAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
NominalAxiom |
NormalizedIntegerAxiomFactoryImpl.createNominalAxiom(int classId,
int individualId,
Set<Annotation> annotations) |
NominalAxiom |
NormalizedIntegerAxiomFactory.createNominalAxiom(int classId,
int individualId,
Set<Annotation> annotations)
Constructs a new nominal axiom.
|
Modifier and Type | Method and Description |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(NominalAxiom axiom)
Visits a nominal axiom.
|
Boolean |
ExtendedOntologyImpl.visit(NominalAxiom axiom) |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.