将 ORM 映射到 SHOIN/OWL 描述逻辑 - 面向本体工程的方法论和表达性图形符号-研究论文

我们将 ORM 映射到 SHOIN/OWL，这是本体工程中最常见的描述逻辑。 由于已知 SHOIN/OWL 是表达能力和计算复杂度之间的良好折衷，这意味着本文中映射的 ORM 约束是更容易实现和推理的约束。 我们的映射是作为 DogmaModeler 工具的扩展实现的，该工具使用 Racer 作为后台推理引擎。 此外，ORM 的表达能力、方法论和图形能力使其成为用作本体语言图形符号的良好候选者。 通过这种方式，不精通 IT 的行业专家仍然能够构建和查看本体，而无需了解支持它们的逻辑或推理基础。