文件名称：迈向 ORM 方案的自动推理 - 将 ORM 映射到 DLRidf 描述逻辑-研究论文
文件大小：313KB
文件格式：PDF
更新时间：2024-06-30 02:44:01
Ontology Engineering Reasoning
本文的目标是使用 DLR 描述逻辑形式化对象角色建模 (ORM)。 这将能够对 ORM 图的形式属性进行自动推理，例如检测约束矛盾和含义。 此外，ORM 的表达能力、方法论和图形功能使其成为大多数描述逻辑语言的图形符号的理想选择。 通过这种方式，不精通 IT 的行业专家仍然能够构建和查看公理化理论（例如本体、业务规则等），而无需了解支撑它们的逻辑或推理基础。 我们在本文中的形式化结构为 29 条形式化规则，将所有 ORM 原语和约束映射到 DLR，以及 2 个复杂情况的例外。 为此，我们将形式化的实现说明为 DogmaModeler 的扩展，它自动将 ORM 映射到 DIG 并使用 Racer 作为后台推理引擎来推理 ORM 图。