Representing a reference foundational ontology of events in SROIQ
Representing a reference foundational ontology of events in SROIQ
复制标题
表示 SROIQ 中事件的参考基础本体
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
J. P. Almeida
中科院分区：
文献类型：
--
作者：
A. Benevides;Jean;G. Guizzardi;R. Peñaloza;J. P. Almeida
近年来，人们越来越关注基础本体论的应用，即哲学意义上的形式本体论理论，为改进概念建模和知识表示的理论和实践提供理论基础。本文讨论了一个被称为UFO-B事件的特殊基础理论，该理论已成功地用作解决复杂媒体管理、企业架构、软件工程和石油勘探事件建模等问题的参考模型。尽管它取得了成功，但仍然没有一种可确定的知识表示语言来形式化UFO-B，这种语言可以支持对复杂事件和事件关系的推理。我们通过提出从UFO-B的原始公化（在一阶逻辑和Alloy形式语言中）到描述逻辑SROIQ的一些替代翻译来解决这一差距，SROIQ是owl2 DL的形式基础。此外，为了支持实际应用，我们将这些SROIQ理论翻译为OWL 2 DL tbox，通过显示我们生成的所有UFO-B预期模型（Alloy中UFO-B规范的逻辑模型）与这些UFO-B tbox一致，验证了这一点。从某种意义上说，Alloy中的规范以一阶逻辑实现规范，而owl2 tbox实现SROIQ规范。顺便说一句，我们设计的从UFO-B在FOL和Alloy中的原始公理化到SROIQ的翻译方法是这项工作的关键贡献，它为我们提供了dl在全面基础本体规范方面不足的证据。
In recent years, there has been a growing interest in the application of foundational ontologies, i.e., formal ontological theories in the philosophical sense, to provide a theoretically sound foundation for improving the theory and practice of conceptual modeling and knowledge representation. This paper addresses one particular foundational theory of events termed UFO-B, which has been successfully employed as a reference model for addressing problems from complex media management, enterprise architecture, software engineering, and modeling of events in petroleum exploration. Despite its success, there is still no formalization of UFO-B in a decidable knowledge representation language that could support reasoning about complex events and event relations. We address this gap by proposing a number of alternative translations from UFO-B’s original axiomatization (in first-order logic and in the Alloy formal language) to the description logic SROIQ, which is the formal underpinning of OWL 2 DL. Additionally, to support practical applications, we translated these SROIQ theories to OWL 2 DL TBoxes, which were validated by showing that all the intended models of UFO-B (the logical models of the UFO-B specification in Alloy) that we generated are consistent with these UFO-B TBoxes. In a sense, the specification in Alloy implements the specification in first-order logic, while the OWL 2 TBoxes implement the SROIQ specifications. Incidentally, the methodology that we designed for the translation from UFO-B’s original axiomatization in FOL and Alloy to SROIQ came to be a key contribution of this work by providing us evidence of the inadequacy of DLs for the specification of comprehensive foundational ontologies.