Interface | Description |
---|---|
InferenceBuilder.OWLClassFilter |
Filter for relevant OWLClasses during the inference Building process.
|
Class | Description |
---|---|
InferenceBuilder |
This class build inferred axioms of an ontology.
|
InferenceBuilder.ConsistencyReport | |
InferenceBuilder.PotentialRedundant | |
JustifyAssertionsTool |
Methods to test/justify, whether certain axioms can be inferred from the ontology.
|
JustifyAssertionsTool.JustifyResult |
Generic result for a justify.
|
RedundantInferences | |
RedundantInferences.RedundantAxiom | |
TBoxUnFoldingTool |
Provide TBox unfolding methods.
|
Exception | Description |
---|---|
TBoxUnFoldingTool.NonDeterministicUnfoldException |
Exception indication, that the unfold operation is not deterministic.
|
OWLTools is convenience java API and toolkit on top of the OWL API. It provides:
owltools.graph
, the OWLGraphWrapper
wraps an OWL Ontology
owltools.gfx
package, see OWLGraphLayoutRenderer
for QuickGO rendering
owltools.io
package (not much there yet)
owltools.mooncat
package (used in Oort)
owltools.phenolog
Copyright © 2010–2016. All rights reserved.