Package | Description |
---|---|
de.tudresden.inf.lat.jcel.owlapi.main |
Provides interfaces and classes used for the connection with
the OWL
API.
|
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).
|
Class and Description |
---|
Translator
An object of this class can translate a set of
OWLAxiom s into a
set of integer axioms. |
Class and 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.
|
TranslationException
This exception is thrown when an
AxiomTranslator cannot make a
translation between the OWL API objects and the integer numbers. |
TranslationRepository
An object of this class is a repository used for the translation between OWL
API objects and the integer numbers.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.