Package | Description |
---|---|
de.tudresden.inf.lat.jcel.core.algorithm.rulebased |
Provides interfaces and classes to run a classification
algorithm based on completion rules.
|
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Provides interfaces and classes to detect ontology expressivity.
|
de.tudresden.inf.lat.jcel.ontology.axiom.extension |
Provides interfaces and classes that extend a set of axioms.
|
Modifier and Type | Method and Description |
---|---|
OntologyExpressivity |
CompletionRuleChainSelector.getOntologyExpressivity()
Returns the ontology expressivity.
|
Constructor and Description |
---|
CompletionRuleChainSelector(OntologyExpressivity expressivity)
Constructs a new ontology preprocessor.
|
RuleBasedProcessor(Set<Integer> originalObjectProperties,
Set<Integer> originalClasses,
Set<NormalizedIntegerAxiom> normalizedAxiomSet,
OntologyExpressivity expressivity,
NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new rule-based processor.
|
Modifier and Type | Class and Description |
---|---|
class |
NormalizedAxiomExpressivityDetector
An object implementing this class can detect the expressivity of a given set
of normalized axioms.
|
Modifier and Type | Method and Description |
---|---|
String |
ExpressivityName.getName(OntologyExpressivity expr)
Returns the description logic name for a specified expressivity.
|
Modifier and Type | Class and Description |
---|---|
class |
ComplexAxiomExpressivityDetector
An object implementing this class can detect the expressivity of a given set
of complex axioms.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.