对象角色建模语言ORM2到描述逻辑语言DLRifd的映射
Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd
摘要：
近年来，人们已经做出了一些努力，以增强概念数据建模与自动推理，以提高模型的质量，并获得隐含的信息。在实现中实现这一点的一种方法是约束语言。描述逻辑的进步可以帮助选择正确的语言，使其具有最大的表达能力，但仍保留在一阶逻辑的可判定片段内，从而使用DL推理机实现具有良好性能的可行实现。最适合的DL语言似乎是ExpTime-complete DLRifd。为了说明权衡和突出功能的建模语言，我们提出了一个精确的转换非常富有表现力（不可判定）的ORM/ORM 2概念数据建模语言的映射功能，完全DLRifd。虽然不是所有的ORM 2功能都可以被映射，但这是一个有趣的片段，因为它已经表明DLRifd也可以编码UML类图和EER，因此可以促进概念数据模型之间的互操作，并研究建模语言的本体方面。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
