[论文解读] Integration of the DOLCE top-level ontology into the OntoSpec methodology

Gilles Kassel|arXiv (Cornell University)|Oct 18, 2005

Semantic Web and Ontologies参考文献 21被引用 45

一句话总结

本文将DOLCE顶层本体整合入OntoSpec方法论，以在不绑定特定知识表示语言的前提下，增强应用本体的结构化。通过将DOLCE重新工程化为OntoSpec的半形式化语言，该方法提供了一个严谨且可重用的本体开发框架，保持独立性的同时提升了知识建模中的概念清晰度与一致性。

ABSTRACT

This report describes a new version of the OntoSpec methodology for ontology building. Defined by the LaRIA Knowledge Engineering Team (University of Picardie Jules Verne, Amiens, France), OntoSpec aims at helping builders to model ontological knowledge (upstream of formal representation). The methodology relies on a set of rigorously-defined modelling primitives and principles. Its application leads to the elaboration of a semi-informal ontology, which is independent of knowledge representation languages. We recently enriched the OntoSpec methodology by endowing it with a new resource, the DOLCE top-level ontology defined at the LOA (IST-CNR, Trento, Italy). The goal of this integration is to provide modellers with additional help in structuring application ontologies, while maintaining independence vis-à-vis formal representation languages. In this report, we first provide an overview of the OntoSpec methodology's general principles and then describe the DOLCE re-engineering process. A complete version of DOLCE-OS (i.e. a specification of DOLCE in the semi-informal OntoSpec language) is presented in an appendix.

研究动机与目标

• 通过整合一个经过验证的顶层本体，增强OntoSpec方法论，以改善应用本体的结构化。
• 在确保本体设计概念严谨性的同时，保持对形式化知识表示语言的独立性。
• 为建模者提供一个标准化、可重用的框架，用于利用DOLCE的基础本体概念组织领域特定知识。
• 实现将DOLCE重新工程化为OntoSpec半形式化语言，以在本体工程中实现实际应用。
• 通过原则化、方法论驱动的方式，支持开发一致且可互操作的本体。

提出的方法

• 采用OntoSpec方法论中严格定义的一组建模原语与原则，用于半形式化本体规范。
• 将DOLCE顶层本体重新工程化为OntoSpec语言，以创建DOLCE-OS，即DOLCE的半形式化规范。
• 应用OntoSpec的抽象机制，表示DOLCE的核心本体类别，如具体与抽象对象、部分关系等。
• 确保生成的DOLCE-OS不依赖任何形式化知识表示语言，同时保持概念完整性。
• 将重新工程化的DOLCE-OS用作参考框架，指导OntoSpec方法论中应用本体的建模。
• 利用DOLCE-OS作为可重用的顶层结构，支持一致且连贯的领域本体开发。

实验结果

研究问题

• RQ1 如何有效将DOLCE顶层本体整合入OntoSpec方法论，以支持本体工程？
• RQ2 在将DOLCE重新工程化为OntoSpec半形式化语言的过程中，保持其本体完整性面临哪些关键挑战？
• RQ3 将DOLCE整合入OntoSpec在多大程度上提升了应用本体的一致性与可重用性？
• RQ4 如何在不承诺使用特定形式化表示语言的前提下，利用顶层本体指导建模过程？
• RQ5 在OntoSpec等方法论中使用标准化顶层本体（如DOLCE）对知识建模有何实际优势？

主要发现

• 将DOLCE整合入OntoSpec方法论，生成了DOLCE的半形式化规范，命名为DOLCE-OS，且该规范与形式化知识表示语言无关。
• 重新工程化过程成功地将DOLCE的本体原语映射到OntoSpec的建模原语，保持了概念一致性。
• 生成的DOLCE-OS为结构化应用本体提供了一个可重用、语言无关的框架，显著提升了一致性与清晰度。
• 该方法使建模者能够利用DOLCE丰富的顶层结构，而无需受制于特定实现形式化体系。
• 该整合表明，顶层本体可被有效适配至方法论驱动的本体工程流程中，从而提升建模质量。
• 该方法通过将本体建立在定义清晰、可重用的顶层结构之上，支持了互操作本体的开发。