See: Description
Class | Description |
---|---|
AxiomTranslator |
An object of this class is a visitor use to translate an owl axiom into an
integer axiom.
|
ClassExpressionTranslator |
An object of this class can translate a class expression of the OWL API into
the integer-based representation.
|
ObjectPropertyExpressionTranslator |
An object of this class can translate an object property expression of the
OWL API into the integer-based representation.
|
TranslationRepository |
An object of this class is a repository used for the translation between OWL
API objects and the integer numbers.
|
Translator |
An object of this class can translate a set of
OWLAxiom s into a
set of integer axioms. |
Exception | Description |
---|---|
TranslationException |
This exception is thrown when an
AxiomTranslator cannot make a
translation between the OWL API objects and the integer numbers. |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.