Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Provides interfaces and classes to detect ontology expressivity.
|
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.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.