信标

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

此软件的关键字

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