Optimized Reasoning in Description Logics Using Hypertableaux
Optimized Reasoning in Description Logics Using Hypertableaux
复制标题
使用 Hypertableaux 优化描述逻辑推理
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Ian Horrocks
中科院分区：
文献类型：
--
作者：
B. Motik;Rob Shearer;Ian Horrocks
我们提出了描述逻辑（dl）的一种新的推理演算——知识表示形式在语义网等领域的应用。为了减少一般包含公理所带来的不确定性，我们将微积分建立在超表和超分辨率微积分的基础上，并将其扩展为阻塞条件以确保终止。为了防止演算生成大型模型，我们引入了“任意”两两阻塞。我们的初步实现在几个知名本体上显示了显著的性能改进。据我们所知，我们的推理器目前是唯一一个可以对原始版本的GALEN术语进行分类的推理器。
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. To prevent the calculus from generating large models, we introduce "anywhere" pairwise blocking. Our preliminary implementation shows significant performance improvements on several well-known ontologies. To the best of our knowledge, our reasoner is currently the only one that can classify the original version of the GALEN terminology.