问题标签 [description-logic]

什么情况下可以在 PTIME 完成 OWL EL 中的查询回答？

OWL EL 中的联合查询回答可以在 EXPTIME 中完成，并且如果属性层次结构可以转换为多项式大小的非确定性有限自动机（https://www.w3.org/TR/owl2-profiles/#计算属性）。那么，在什么条件下可以将属性层次结构转换为多项式大小的非确定性有限自动机？

我正在尝试使用 ALC 的 tableau 算法来解决以下示例。给定以下 TBox T：

判断概念 A 是否可满足。所以我把 A(a) 放在我的 ABox 中，然后开始算法，得到：

然后我得到：

这导致我：

A̸(a) 是与 A(a) 的冲突，B̸(a) 是与 B(a) 的冲突，C̸(a) 是与 C(a) 的冲突，所以我有：

让我们看看 b 的展开会发生什么：

这导致我：

现在 D̸(c) 与 D(c) 发生冲突，B̸(b) 与 B(b) 发生冲突。

我知道它是不可满足的，这是错误的。有人可以告诉我这个画面算法的应用我哪里错了吗？

我需要从OWLObjectOWL API 中生成 DL 表达式。现在，我使用DLSyntaxObjectRenderer的是：

问题是生成的 DL 表达式仅包含资源的标签（例如Awning ⊔ Door ⊔ Gate ⊔ Shutter ⊔ Window）。虽然这些是语法上有效的 DL 表达式，但为了实现，我需要原子实体的 IRI，这样我就可以使用 OWL API 加载表达式，而无需加载整个本体。

我怎样才能做到这一点？

在OWL 2 QL 的 W3C 解释中提到

特别是，此配置文件（即 OWL 2 QL）包含 RDFS 和 OWL 2 DL 的交集。

这句话让我很困惑，我想知道是否有人可以澄清它。这是否意味着 OWL 2 QL 是 RDFS 的子集？或者这是否意味着它是一个更受限制的 RDFS 版本（因此有更多的公理来表达这些限制）。

假设我有一个 KB，其中只使用了以下公理：rdfs:domain、rdfs:range、rdfs:subclassOF、rdf:type、owl:ObjectProperty 和 owl:DatatypeProperty。关于这个知识库的语言，我能说些什么？我可以说它用 RDFS、OWL 2 QL 或两者都表示吗？

如果我看到一个资源既是某物的实例（rdf:type），又是一个类，我会说它是 RDFS，如果没有资源既是实例又是类，我会说是这样吗？它也在 OWL 2 QL 中？

根据 Hitzler 等人从语义网技术基础中得到的定义，如果在 R 上存在严格的偏序 ≺，则角色层次结构称为常规角色层次结构，因此以下成立：

a) ○ S ≺ R 当且仅当 S− ≺ R

b) ○ 每个角色包含公理都是以下形式之一：

■ R ◦ R ⊑ R, R− ⊑ R, S1 ◦ · · · ◦ Sn ⊑ R, R ◦ S1 ◦ · · · ◦ Sn ⊑ R, S1 ◦ · · · ◦ Sn ◦ R ⊑ R

使得 R 是一个非逆角色名，并且 Si ≺ R 对于 i = 1, . . . , n.

我不明白角色的严格偏序究竟意味着什么，以及我应该如何解释表示它的符号“≺”。我应该如何阅读“S≺R”？我将不胜感激任何形式的解释/示例。

提前致谢！

我很难理解 DL 中的这句话：

∃R.∃SC(a)

这个提议究竟意味着什么？提前致谢！

我们在 DL 中将属性的范围定义为⊤ ⊑ ∀ rC。

我不明白这个定义背后的想法。为什么将T（即 owl:Thing）定义为 ∀ rC的子类？这意味着什么？是否有任何情况下T实际上是比 ∀ rC 更小的集合？为什么我们不使用⊤ ≡ ∀ rC？

想象我有一个角色：吃；谁的范围是我的食品类。⊤ ⊑ ∀ eats.Food是什么意思，用简单的自然语言？

提前非常感谢！

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

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

1. 模型检查是一种模型理论语义吗？

2. 将您的 SROIQ 转换为谓词逻辑也是模型理论语义吗？

3. 如何将 SROIQ 翻译成谓词逻辑是一种“语义”？是不是因为在转换之后，我们可以拿起 FOL 语义和算法？

谢谢！

PS这是本书的链接！以防万一！

我想说的是，在我的本体中，每个人都只有一种最具体的类型。

在这种情况下：

1. 说我的本体不允许多重继承是否准确？我不太明白多重继承在本体中的含义。这是指rdf:type还是rdfs:subclassOf？因为我不介意一个概念是否有多个父母，但我不希望个人有多种类型。

2. 在我的本体中说所有类都是成对不相交的是否准确，或者我应该说例如本体中的类是成对不相交的，除非它们彼此参与包含关系？

3. 是否有更好的术语或方法来实际描述此类本体？

我刚刚开始阅读有关创建本体和使用 Protege 的信息。我想做的一件事是给定一个本体，我想以描述逻辑格式表达从本体生成的公理。我的问题如下：

1. 有什么办法可以在 Protege 中做到这一点？
2. 如果没有，你有什么建议吗？

非常感谢您提前。