信标

BEACON:一个高效的基于SAT的工具,用于调试ℰℒ+本体。描述逻辑(DLs)是一种在许多环境中使用的知识表示和推理形式。其中,ℰℒ族DLs脱颖而出,这是由于多项式时间推理算法的可用性及其表示医学信息学等领域知识的能力。然而,本体的构建是一个容易出错的过程,常常会导致意外的推断。本文介绍了用于调试ℰℒ+本体的BEACON工具。BEACON建立在早期关于ℰℒ+本体论的最小合理化(MinAs)和Horn公式的MUSes的工作的基础上,集成了解决SAT域中不同函数问题的最新算法。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换