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 |
---|---|
TranslationRepository |
ObjectPropertyExpressionTranslator.getTranslationRepository() |
TranslationRepository |
ClassExpressionTranslator.getTranslationRepository() |
TranslationRepository |
AxiomTranslator.getTranslationRepository() |
TranslationRepository |
Translator.getTranslationRepository() |
Constructor and Description |
---|
ObjectPropertyExpressionTranslator(IntegerDataTypeFactory factory,
TranslationRepository repository)
Constructs a new object property expression translator.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.