我正在编写一个程序,给定一个 OWL 本体,通过使用 Pellet 作为推理器来检索查询的所有解释。
为此,OWLAPI 提供了一个名为的类,该类HSTExplanationGenerator
实现了 Hitting Set Tree 算法以查找所有解释。
当我想创建一个实例时,HSTExplanationGenerator
我应该给出一个实现接口TransactionAwareSingleExpGen
的类,实现这个接口的类应该提供一个计算解释的方法。
现在,OWLAPI 提供了两个实现这个接口的类:BlackBoxExplanation
和GlassBoxExplanation
. 我已经阅读了这两个类的代码。GlassBoxExplanation
从 Pellet 获取解释,对其进行修剪,然后将其转换为一组OWLAxiom
. 但是,我发现很难理解是什么BlackBoxExplanation
。问题是:我应该使用哪一个?这两个类之间的主要区别是什么?