Package | Description |
---|---|
de.tudresden.inf.lat.jcel.owlapi.translator |
Provides interfaces and classes used in the translation
between OWL API objects and integer numbers (the internal
representation).
|
Modifier and Type | Method and Description |
---|---|
ClassExpressionTranslator |
AxiomTranslator.getClassExpressionTranslator() |
Constructor and Description |
---|
AxiomTranslator(ClassExpressionTranslator translator,
IntegerOntologyObjectFactory factory) |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.