[论文解读] Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd

C. Maria Keet|arXiv (Cornell University)|Feb 15, 2007

Semantic Web and Ontologies参考文献 30被引用 25

一句话总结

本文提出了一种精确且经过正确性证明的映射，将ORM2概念建模语言转换为$Δ\mathcal{DLR}_{ifd}$描述逻辑语言，从而在保持表达能力和可判定性的前提下，实现对ORM2模型的自动化推理。该映射支持ORM2的关键特性，如外部唯一性约束和角色子集化，建立了与UML和EER模型在统一形式框架下的互操作性。

ABSTRACT

In recent years, several efforts have been made to enhance conceptual data modelling with automated reasoning to improve the model's quality and derive implicit information. One approach to achieve this in implementations, is to constrain the language. Advances in Description Logics can help choosing the right language to have greatest expressiveness yet to remain within the decidable fragment of first order logic to realise a workable implementation with good performance using DL reasoners. The best fit DL language appears to be the ExpTime-complete DLRifd. To illustrate trade-offs and highlight features of the modelling languages, we present a precise transformation of the mappable features of the very expressive (undecidable) ORM/ORM2 conceptual data modelling languages to exactly DLRifd. Although not all ORM2 features can be mapped, this is an interesting fragment because it has been shown that DLRifd can also encode UML Class Diagrams and EER, and therefore can foster interoperation between conceptual data models and research into ontological aspects of the modelling languages.

研究动机与目标

• 通过将ORM2概念数据模型映射到一种可判定且高效的描述逻辑语言，实现对ORM2模型的自动化推理。
• 识别并形式化ORM2中可精确编码至$Δ\mathcal{DLR}_{ifd}$的语言特性，同时保持语义等价性。
• 通过将ORM2与同样具有已知$Δ\mathcal{DLR}_{ifd}$编码的UML类图和EER模型对齐，提升模型的互操作性。
• 通过确保所有规则均严格位于$Δ\mathcal{DLR}_{ifd}$的可判定、ExpTime-完全子集内，纠正先前映射中的缺陷和不准确性。
• 为多种概念建模语言之间的统一推理与本体分析提供基础。

提出的方法

• 本文定义了从ORM2构造——如事实类型、约束、键和角色子集化——到$Δ\mathcal{DLR}_{ifd}$语言中等价公理的正式转换。
• 通过证明生成的$Δ\mathcal{DLR}_{ifd}$知识库与原始ORM2模型具有等价可满足性，确保语义正确性。
• 该映射利用了$Δ\mathcal{DLR}_{ifd}$的表达能力，其支持n元关系、函数角色和反函数角色，以及角色层次结构，从而能够表示复杂的ORM2特性。
• 通过排除其他描述逻辑语言的特性，确保所有构造严格位于$Δ\mathcal{DLR}_{ifd}$的可判定、ExpTime-完全片段内，纠正了先前的映射缺陷。
• 该方法使用TBox编码概念约束，使用ABox表示实例级事实，遵循标准描述逻辑知识库结构。
• 通过详细的正确性证明和增强的可读性（包括使用NORMA工具生成的更新图表）对映射进行了验证。

实验结果

研究问题

• RQ1 ORM2建模语言的哪些特性可以被精确且正确地映射到$Δ\mathcal{DLR}_{ifd}$描述逻辑语言？
• RQ2 如何在ORM2模型与其$Δ\mathcal{DLR}_{ifd}$编码之间保持语义等价性？
• RQ3 在选择$Δ\mathcal{DLR}_{ifd}$用于概念建模时，表达能力与可判定性之间的权衡是什么？
• RQ4 该映射如何提升ORM2、UML类图与EER模型之间的互操作性？
• RQ5 该映射在哪些方面解决了以往尝试将ORM或UML编码为描述逻辑时的不足？

主要发现

• 该映射成功地在$Δ\mathcal{DLR}_{ifd}$语言中编码了所有可映射的ORM2特性，包括外部唯一性约束和角色子集化，确保了正确性与等价可满足性。
• 本文提供了该映射的完整正确性证明，解决了早期工作中（如Jarrar的研究）存在的模糊性和错误。
• 研究表明，$Δ\mathcal{DLR}_{ifd}$语言因其在表达能力与可判定性之间的良好平衡（ExpTime-完全），是ORM2的合适目标语言。
• 该映射实现了ORM2、UML类图与EER模型之间的无缝互操作性，因为三者均可被编码为同一种形式语言。
• 该方法表明，复杂的UML构造（如限定关联和关联端子集化）可原生地表示在$Δ\mathcal{DLR}_{ifd}$中，扩展了先前的映射能力。
• 该工作支持使用标准描述逻辑推理器（如Racer、Fact++）对ORM2模型进行推理，显著增强了实际可应用性。