@ParametersAreNonnullByDefault
| Class | Description |
|---|---|
| AxiomTranslator |
axiom translator
|
| ClassExpressionTranslator |
class expression translator
|
| ComplexObjectPropertyTranslator |
property expression translator
|
| DataPropertyTranslator |
data property translator
|
| DataRangeTranslator |
datarange translator
|
| DeclarationVisitorEx |
declaration translator
|
| EntailmentChecker |
entailment checker
|
| IndividualTranslator |
individual translator
|
| JFactFactory |
JFact factory.
|
| JFactReasoner |
Synchronization policy: all methods for OWLReasoner are synchronized, except
the methods which do not touch the kernel or only affect threadsafe data
structures.
|
| KnowledgeExplorer |
knowledge explorer
|
| ObjectPropertyTranslator |
object property translator
|
| TranslationMachinery |
translation stuff
|
Copyright © 2016 The University of Manchester. All rights reserved.