猫头鹰形式语义答案

【问题标题】：Owl Formal Semantics猫头鹰形式语义
【发布时间】：2019-06-07 01:10:18
【问题描述】：

根据我阅读语义网技术基础一书有关猫头鹰形式语义的理解，Hitzler 等人为 SROIQ 提出了两种模型理论语义：一种是模型检查类似的方法（我们检查不同的解释以找到我们的知识库模型），另一种是通过谓词逻辑。在后一种方法中，本书只是将 SROIQ 转换为谓词逻辑。

但是，这本书对我来说有点混乱，我不知道我是否得到了一些正确的观点，所以这里是我的问题：

谢谢！

附： This 是本书的链接！以防万一！

【问题讨论】：

我想知道您为什么将过程称为“模型检查”和“翻译”语义？
嗯，你是对的。我现在也不将它们视为“语义”。我将它们作为检查逻辑推理的不同方法。
但是由于它们属于书中的“模型理论语义”部分，我有点困惑。
真相是，我不明白“模型理论”这个词的实际含义以及它与翻译和模型检查的关系。所以我一直把它和其他概念混为一谈。正如我所说，我将翻译和模型检查作为推导的不同方式。但我不知道它们是如何归入“模型理论”语义范畴的。
请注意，OWL 带有一套标准，一些与语法相关，一些与语义相关。 OWL 中有 2 种官方形式语义：直接语义，它是基于 SROIQ(D) 的一种，用于解释 OWL 2 本体的结构规范；和基于 RDF 的语义，这是一种解释 RDF 图的方法，使得 RDF 图形式的 OWL 2 本体的蕴涵大部分与直接语义兼容。相关问题：Why does OWL have two different semantics?

【解决方案1】：

模型理论语义是您如何确定公理的含义 - 即，哪些规则可用于构建模型或检查它是否有效。两个例子：OWL 语义和 RDF 语义。它们有很多重叠，但并不完全相同。

模型检查不定义语义，它将模型中定义的语义规则应用于实际的知识库。翻译成另一种形式，例如谓词，可能会保持相同的语义（即，所有模型在两种形式中都保持相同），但这取决于所涉及的形式。

【讨论】：