| Package | Description |
|---|---|
| org.semanticweb.owl.explanation.impl.blackbox | |
| org.semanticweb.owl.explanation.impl.blackbox.hst |
| Modifier and Type | Class and Description |
|---|---|
class |
BlackBoxExplanationGenerator2<E>
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 18-Feb-2010 |
| Modifier and Type | Method and Description |
|---|---|
void |
HittingSetTree.buildHittingSetTree(E entailment,
int limit,
ExplanationGeneratorMediator<E> generatorMediator) |
void |
DepthFirstStrategy.buildHittingSetTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler,
HittingSetTreeNode<E> currentNode) |
boolean |
BreadthFirstStrategy.buildHittingSetTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler,
List<HittingSetTreeNode<E>> queue) |
void |
HittingSetTreeConstructionStrategy.constructTree(HittingSetTree<E> hittingSetTree,
int explanationLimit,
ExplanationGeneratorMediator<E> generator) |
void |
DepthFirstStrategy.constructTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler) |
void |
BreadthFirstStrategy.constructTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler) |
Copyright © 2014. All rights reserved.