Package | Description |
---|---|
owltools |
OWLTools - an OWL API wrapper
|
Class and Description |
---|
InferenceBuilder
This class build inferred axioms of an ontology.
|
InferenceBuilder.ConsistencyReport |
InferenceBuilder.OWLClassFilter
Filter for relevant OWLClasses during the inference Building process.
|
InferenceBuilder.PotentialRedundant |
JustifyAssertionsTool.JustifyResult
Generic result for a justify.
|
RedundantInferences.RedundantAxiom |
TBoxUnFoldingTool.NonDeterministicUnfoldException
Exception indication, that the unfold operation is not deterministic.
|
Copyright © 2010–2015. All rights reserved.