Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning
Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning
复制标题
DOI：
10.4018/jswis.2012100105
复制
发表时间：
2012-01-01
影响因子：
3.2
通讯作者：
Rigau, German
中科院分区：
文献类型：
--
作者：
Alvez, Javier;Lucio, Paqui;Rigau, German
在本文中，作者提出了Adimen-SUMO，一个操作本体，用于智能系统中的一阶定理证明，需要复杂的推理能力（例如，自然语言处理，知识工程，语义Web基础设施等）。Adimen-SUMO是通过自动翻译SUMO（Suggested Upper Merged Ontology）约88%的原始公理而获得的。他们的主要兴趣是在一阶本体的设计和开发过程中，以一种实用的方式使用一阶定理证明器的优点。一阶定理证明器作为推理引擎，用于重构大型复杂的本体，以便进行形式化推理。特别是，作者的研究重点是提供一阶推理支持相扑。在这个过程中，他们发现，解释和修复几个重要的设计缺陷和问题的SUMO公理化。作为一个副产品，它们还为创建任何类型的可操作的一阶本体提供了一般的设计决策和良好的实践。
In this paper, the authors present Adimen-SUMO, an operational ontology to be used by first-order theorem provers in intelligent systems that require sophisticated reasoning capabilities (e.g. Natural Language Processing, Knowledge Engineering, Semantic Web infrastructure, etc.). Adimen-SUMO has been obtained by automatically translating around 88% of the original axioms of SUMO (Suggested Upper Merged Ontology). Their main interest is to present in a practical way the advantages of using first-order theorem provers during the design and development of first-order ontologies. First-order theorem provers are applied as inference engines for reengineering a large and complex ontology in order to allow for formal reasoning. In particular, the authors' study focuses on providing first-order reasoning support to SUMO. During the process, they detect, explain and repair several important design flaws and problems of the SUMO axiomatization. As a by-product, they also provide general design decisions and good practices for creating operational first-order ontologies of any kind.