问题标签 [description-logic]

我想为数据属性范围定义一个数据范围表达式，该表达式将定义该范围是一个 uri 列表，或者一个包含 uri 列表的字符串。这可能吗？

我有一个本体：

• 集体代理人和集体诉讼
• 数据属性列表（继承数据属性限制属性）具有域 UNION（代理和操作）和范围原语（例如 hasMoney、hasTime）

我想对 ag.hasTime >= ac.hasTime 和 ag.hasMoney >= ac.hasMoney 等所有个体进行分类，其中 ag 是代理，ac 是动作实例。

我想说一下，这些条件有几件事：

• 比较总是在同一个属性 ag.hasTime >= ac.hasTime
• 继承自restrictionProperty 的所有dataProperty 都会有同样的处理。
• 所有满足此条件的代理都将属于，例如，AgentRestrictions 类

我不想使用 SWRL，因为我读到这不是标准，而且我总是可以使用 SPARQL 做到这一点。

我想用 SPARQL 可以做到，但我不知道怎么做。但我更喜欢点击 protege 的解决方案。或者用公理制定规范。

我刚开始使用 Protégé 4.3 学习 OWL，现在我面临一个难题。我已经定义了一个具有一些限制超类的 A 类，以确保每个 A 具有来自 P1 和 P2 的属性值，并且每个 P1 和 P2 具有一个双精度值：

A ⊑ ∃hasProperty.(P1 ⊓ ∃hasValue.xsd:double)
A ⊑ ∃hasProperty.(P2 ⊓ ∃hasValue.xsd:double)

我如何断言 A 的 P1 值都小于所有 P2 值？

在 OWL 中，反身属性的子属性是否也是反身的？同样，不对称属性的子属性也是不对称的吗？

从逻辑上讲，它们应该是，但我在 OWL 文档中找不到任何说明这种情况的内容。

考虑以下示例：

基于这个本体，以下是不允许的，因为parent-of它是不自反的：

但是否也是father-of隐含的反身性？换句话说，这是否也被禁止：

如果您将属性视为连接点对的一组箭头，那么非自反只是意味着没有箭头同时开始和结束于同一点。子属性只是这些箭头的子集，因此非自反属性的子属性也必然是非自反的。同样具有不对称特性。但同样，我不知道 OWL 是否明确说明了这一点，或者 OWL 推理者是否应该做出这个“假设”。

我开发了一个本体，其组成为 hasPart 和 partOf。我必须将这些属性用于多个类。因此，我创建了没有域和范围的这些属性，并通过 owl 对类的限制来使用它们。这是正确的 ？此外，我读到 partOf 是可传递的。我也应该为 hasPart 添加传递吗？

然后，我将 hasPart 定义为 partOf 的倒数。我也应该在 hasPart 中定义逆吗？

例子 ：

警告：新手问题。

我试图用与狗相关的一组类的相关数值来模拟（作为一个简化的例子）狗，例如“蓬松度”。我对如何表示特定类型（例如狗）相对于另一种类型（例如蓬松度）具有特定数值感到困惑。例如：

我如何将吉娃娃与狗的通用属性（例如蓬松度）的特定值（例如 0.1）联系起来？有没有办法做到这一点，而无需仅仅将 Fluffness 作为一个类删除并定义一个“hasFluffiness”数据类型属性？

在研究描述逻辑 (DL) 时，很常见的是它是一阶逻辑 (FOL) 的一个片段，但是很难明确地阅读 DL 中排除的内容，这是 FOL 的一部分，这使得 DL （及其所有方言 ALC、SHOIN 等...）可判定。或者换句话说，您能否在 FOL 中提供一些无法通过 DL 表达的示例（这也是 FOL 中半/不可判定性的原因）？

如果我有一个包含子属性公理的简单本体：

我想断言“Paul Pill 是示例会议的主席，而 Jack Jill 是示例会议的参与者。” 写得对吗：

还是我还需要明确指定 Paul Pill 是参与者（即使 hasChair 是 hasParticipant 的子属性）？也就是说，我需要写：

让我们在本体中假设一个非常简单的公理，即所有 cheesypizza 都是带有奶酪配料的披萨。在 OWL 表示中，cheeseypizza 将表示为对 has-topping 属性的限制的子类。但是，我想提取以下三元组数据集格式：

1. CheesyPizza1 子类 Pizza1
2. Pizza1 has-topping CheeseTopping1

假设 Pizza1 是 Pizza 类的动态实例化（不是本体中 Pizza 类的真实个体，而只是以三元组格式编写时的随机变量），类似地，CheesyPizza1 是 CheesyPizza 类的动态实例化，CheeseTopping1 是动态的CheeseTopping 类的实例化。

我怎样才能得到上述表示？

假设我有以下实例数据和属性公理：

玛丽有孩子约翰
本有孩子汤姆
玛丽有丈夫本

hasHusbandChild：hasHusband • hasChild

如何创建属性hasChilds使得：

hasChilds: hasChild ⊔ hasHusbandChild

是真的？