论文标题
概率描述上推理推理的框架
A Framework for Reasoning on Probabilistic Description Logics
论文作者
论文摘要
尽管有几个用于描述逻辑的原因，但很少有人可以应付不确定性。捆绑包是一个推理框架，可以利用几个猫头鹰（非稳定）推理器来对概率描述逻辑执行推理。 在本章中，我们报告了Bundle实施的最新进展。特别是，捆绑包现在可以与Trill系统的推理器接口，从而提供了使用不同设置执行概率查询的统一方法。捆绑包可以很容易地扩展，可以用作独立的桌面应用程序，也可以用作基于OWL API的应用程序中的库，这些应用程序需要通过概率描述逻辑进行推理。 推理性能在很大程度上取决于用于计算概率的原因和方法。我们提供了几个数据集上不同推理设置的比较。
While there exist several reasoners for Description Logics, very few of them can cope with uncertainty. BUNDLE is an inference framework that can exploit several OWL (non-probabilistic) reasoners to perform inference over Probabilistic Description Logics. In this chapter, we report the latest advances implemented in BUNDLE. In particular, BUNDLE can now interface with the reasoners of the TRILL system, thus providing a uniform method to execute probabilistic queries using different settings. BUNDLE can be easily extended and can be used either as a standalone desktop application or as a library in OWL API-based applications that need to reason over Probabilistic Description Logics. The reasoning performance heavily depends on the reasoner and method used to compute the probability. We provide a comparison of the different reasoning settings on several datasets.
