问题标签 [description-logic]

在 OWL-DL 本体中，考虑具有域D和范围R的属性p ，其中D对p有一个限制，使其基数正好为 1：

D SubClassOf p 正好是1 件事

• (D ⊑ =1 p.东西)

然后我们可以推断p是一个函数属性，因为每个D类型的d都将有一个p的值吗？如果这是正确的，推理者可以推断出这些知识吗？

我有没有个人的 OWL 本体。给定两个类

和

查询看起来像什么类型的推理器可用于查找所有属性链，例如：

其中 Cs 是 PropertyP 的域，Cd 是它的范围。链意味着这个推理必须是传递的，即如果

那么，{PropertyP1, PropertyP2} 必须被认为是 Cs 和 Cd 之间的一个属性链。

请注意，我不是在谈论 OWL2 中的属性链，因为在 OWL2 的情况下，我必须事先定义这个链，而在我的情况下我不能这样做。

我正在学习本体，DL语言对我来说很难，我在网上找到了很好的练习，这里有一个问题：给定遵循本体：

有两种不相交的实体：城市和国家。每个国家都有一个首都，一个城市。但是，一个城市可以位于多个国家/地区。每个国家都与至少一个国家相邻，也许还有海洋（我们不区分不同的海洋）。

如何用描述逻辑符号表达这一点？

我在Protege中创建了一个简单的 OWL 本体来描述人际关系：

• 类：人，男人，女人
• • 人是男人和女人的超类
• • 男人和女人是脱节的
• 对象属性：hasChild
• • 它的域和范围是 Person
• 个人: a (Man), b (Man) , c (Man) --- x (Woman), y (Woman), z (Woman)
• 断言：
• • 一个 hasChild x
• • 一个 hasChild y
• • c有子a

现在我想查询所有孩子是独生女的人。我在 DL 查询选项卡中编写了这个查询：

但它不返回任何实例！或者对于只有两个孩子的人的简单查询

这两个查询都没有返回任何实例，谁能告诉我有什么问题？

谢谢

我只有 OWL 本体TBOX（没有实例），我需要使用代数正式表达它来定义一些结构。我已经找过了，我找到了一些表示

其中C是类集，P是属性集，A是公理集。A 用于表示包含、限制等... C 包括在数据属性定义中使用的原始类型

其中 C 是类集，P 是属性集，Sub 是包含关系，Func 将每个类与其适用的属性相关联

实际上，我不确定什么是正确的表示。如果有的话，你能给我一些参考吗？

我有一个 UML 概念图；我想将其表示为 DL 本体。UML 类被捕获为 DL 概念，其中关联是通过角色捕获的。一个重要的观点是 UML 类之间的多重性。一对一的多重性 (0..* - 0..1) 由功能对象属性捕获，并使 (0..1) 一侧强制，即 (0..* - 1) 引用谈论强制参与意味着单边的最大和最小重数为 1。

这是参考

类 C1 和 C2 之间的关联 A 在 DL 中通过我们强制断言的角色 A 形式化

为了表达每个给定 C1 实例的 C2 实例参与的多重性 ml..mu，我们使用断言

我只是无法理解 C2 强制参与断言是如何通过 C1 上的断言来表达的，最后一个断言是如何读取的？

实际上，我对使用推理器可以做什么和不能做什么感到迷茫。

我的问题有两个：

1. 我曾经认为推理器仅用于概括和分类。最近，我发现推理器可以在某些算法中以多种方式使用，例如此参考介绍了使用推理器来搜索符合本体中特定模式的实体：

   • DL 通用推理算法是什么意思，如何通过推理器实现它？

   • 您能否参考我的任何参考资料，让我更熟悉可以通过推理算法实现的事情（如果有的话）？

2. 我最初的问题是：给定一个OWL本体和两个类C1and C2，我想检查是否存在连接它们的功能属性链，即让我们考虑(C1 P1 C3),(C3 P2 C4)和(C4 P3 C2)where P1, P2andP3是功能对象属性，因此结果将(P1, P2, P3)是连接C1和的功能属性链C2。

在 DL（和 OWL-DL）中：给定一个 TBox，两个概念C1和C2，在我的问题中，我们说C1和C2之间存在一条路径当且仅当：

C1 ⊑ =1 r.C2 其中 r 是单个/复合角色（角色链）

即，如果r是单个角色，那么我们必须让C1的每个实例通过r与C2的一个实例正好相关；否则（r 是复合的），那么C1的每个实例都通过角色组合与C2的一个实例相关联，即 (r1*r2*r3...) 如果我们认为 * 代表角色组合。

我的问题是：Graph sense 是使用OWL API完成此任务的最佳方式吗，其中图形节点代表概念，边代表对象属性。然后我们从C1节点开始执行广度优先搜索，直到我们到达C2。这是我的想法！有没有更好的方法来执行此操作？

这个问题通常是关于在两个本体概念之间寻找具有特定特征的路径。为了便于理解，您可以消除确切的一个限制。因此

C1 ⊑ ∃ r.C2

给定一个本体 O，并让 A、B 两个类和对象属性 P 和 Q 使得：

1. P结构域A
2. P 范围 B
3. A ⊑ =1 P.⊤
4. Q ⊑ P
5. A ⊑ =1 Q.⊤

因此，我们要证明 P ≡ Q，我们只需要证明 P ⊑ Q，因为我们在 (4) 中已经有了另一个方向 Q ⊑ P。得出 P ≡ Q 等价的结论；让

6. (x,y) ∈ P

那么 x ∈ A 和 y ∈ B 并且我们从 (5) 中得到 Q 将 A 的每个个体与 B 的一个个体联系起来；则必然存在 y′ ∈ B 使得 (x,y′) ∈ Q；通过（4），我们可以推断出

7. (x,y′) ∈ P

然后，根据 (3)、(6) 和 (7)，我们可以推断出 y = y'。因此，如果 (x,y) ∈ P，则 (x,y) ∈ Q，这意味着：

8. P ⊑ Q

然后，由（4）和（8）：

9. P ≡ Q

问题：

1. 这个结论是真的吗？
2. 推理机（例如，Pellet，通过 Protégé 插件）不会推断出 P ≡ Q，但是每次我断言 P(a,b) 时，推理机都会推断出 Q(a,b)，反之亦然！

在 OWL/DL 中，可以有一个属性/角色是多个属性/角色的 Sub[Object/Data]PropertyOf/subrole，但我从未在 W3C OWL 文档或 DL 论文中找到一个激励示例.

您是否知道任何已发表的 OWL 本体或 DL 论文，其中包含我错过的激励示例（欢迎在评论中提供您自己的示例）？