问题标签 [description-logic]

我对术语有疑问。我发现某些类可以参数化，因为它们表示在应用于某些参数时有意义的类。

例如，“中国村”和“荷兰村”这两个类都可以在 Wikidata 知识图谱中找到。在它们是可实例化的概念的意义上，它们是明显的真实类。但是，看起来它们可以适合模板“X 村”，并且它们可以是“村”的子类。

是否有正确的术语来指代所有这些类型的参数化类？

在函数式编程语言中有一个更高种类的类型的概念，它们是可以具有参数的类型 [1]。

例如，“List[_]”是依赖于另一种类型成为普通类型的类型，有“List[Int]”（整数列表）或List[String]（字符串列表）。但我不知道这个概念是否已经在描述逻辑或知识图谱领域进行了研究。

[1] https://en.wikipedia.org/wiki/Kind_(type_theory)

我已经阅读了这篇文章并得到了关于这个主题的另一个问题：

是否可以为域和范围类的每个个体定义一个类属性？就像指向一个类或某些特殊条件的属性值一样。

关于奶瓶的例子：我有这个类层次结构

制造商
-> Milk_Manufacturer
产品
-> Milk_Bottle

Milk_Manufacturer 有个人manufacturer_1 和manufacturer_2
Milk_Bottle 有个人bottle_1 和bottle_2

是否可以定义一个属性 Milk_Bottle isProducedBy Milk_Manufacturer 表示每个单独的 Milk_Bottle 可以由每个单独的 Milk_Manufacturer 生产？推理者应该能够在之后推断出个人的所有属性。

如果我添加一个manufacturer_3 并同步，我希望推理器将属性添加到两个瓶子，如果我添加一个bottle_3，它应该具有所有制造商的属性

我的直觉说不可能翻译句子

所有红色汽车都比所有蓝色汽车好

进入描述逻辑（在 FOL 中，这将是

∀x∀y（红色（x）∧蓝色（y）→更好（x，y））

在汽车领域进行解释）。实际上，包含域的所有元素对的完整二元关系的唯一构造是通用角色U。我看不到如何要求左侧集合红色的所有元素对和右侧集合蓝色的元素，即如何将U限制为一组特定的前任和后继。

但不知道如何去做并不能证明这是不可能的。因此我的问题是：当您使用特定类型的描述逻辑（例如此处描述的SROIQ）时，您如何证明不可能在其中表示给定的自然语言句子或 FOL 公式？

与直接使用 OWL API 相比，我对 Protégé 中的子类处理有点困惑。

我建立了一个简单的本体，我在其中逻辑地定义了“男人”或“女人”是什么，即男性或女性。

课程是

特性：

所以一个女人是人类并且有一些女性的性别

我的问题：当我在 Protégé 中显示这个本体时，它会自动将 Man 和 Woman 组织为 Human 的子类，而不使用推理器。但是，当我遍历 OWL API 中的所有类并打印它们的子类时，只会找到断言的子类：

我需要使用推理器来获得预期的结果，即 Protégé 在不使用推理器的情况下显示：

我在这里做错了什么？Protégé 是否有一些用于“清除”子类案例的内置规则？我在哪里可以找到它们？

作为参考，示例本体和 OWL API 代码如下：

我在 Protege 5.2 中创建了一个本体，现在我正在尝试正确创建相应类的对象属性。这是我构建本体的 UML 图的 片段：我的本体的片段

关于 isLocated 对象属性，它们的特征如下：如果节点 X 有一个 SITE 值 Z，并且相同的值 Z 出现在位置 Y 的 SITEIST 中，则节点 X 位于位置 Y。

我应该查看 SWRL 规则还是有某种方法可以在不必去那里的情况下对其进行编码？

提前谢谢你们！

我正在寻找一种方法来查找语义网的两个谓词（属性）是否等价？这可能使用描述逻辑或其他方法吗？

非常感谢

我一直在四处寻找为什么 OWL Full 是不可判定的，但我还没有找到一个易于理解的例子来让我理解它。

我找到了解释这是由于“蕴涵封闭”的陈述，这也与 OWL Full 可以同时具有属性和个人的类这一事实相关。

但我不明白这些陈述之间的关系。

在 OWL 2 的规范中，关于关键公理的部分指出：

关键公理的语义是特定的，因为这些公理仅适用于通过名称显式引入本体中的个体，而不适用于未命名的个体（即存在量化暗示其存在的个体）。这使得关键公理等效于 DL 安全规则的变体。因此，关键公理通常不会影响基于类的推理，例如包含层次结构的计算，但它们将在回答有关个人的查询中发挥作用。

然后，它继续展示一组公理的示例，这些公理显然需要一个结论，但由于该规则，规范无法识别。

这个决定背后的原因是什么？

使用 ALCQ 编写是否有效：

为了表达每只狗都喜欢五颜六色的玩具？

另外，这样写是否有效：

为了表达每只博美犬都很可爱？

很抱歉这个可能很愚蠢的问题，但我正在努力解决有关数据记录约束的问题。我基本上必须用 2 种不同的颜色为 2 个对象着色。问题是我必须为“2 个对象不能具有相同的颜色”定义的约束导致我进入一个空模型。我不明白为什么。有什么帮助吗？

这是代码：