问题标签 [description-logic]

请求帮助表示对空白节点的域限制。 图 1：使用空白节点建模多对多关系。

业务规则：一次注册将一名学生映射到一个部门。

我的尝试：

我在这里假设等价而不是包含，因为包含将是双向的。

进一步限制：

对正确表示图 1 中对象属性的域限制的帮助或评论将不胜感激。

谢谢！！

我想将数据类型属性的范围定义为字符串的详尽枚举，以一种方式，个人可以仅将该属性的值作为枚举中的一个字符串。

例如，名为“color”的数据类型属性只能假设 3 个值：“Red”、“Green”和“Blue”。

我正在使用 OWL 2 和 Protégé 5.0。

有没有使用 Protégé 的简单方法？

我有一个非常简单的类层次结构，在 OWL 中指定，带有 Protégé。例如：

也就是说，每个男人都是一个人，每个女人都是一个人。

当我包含 Man 和 Woman 的实例时，我希望这些实例也将作为 Person 的实例包含在内。但由此产生的分类并不像预期的那样。即使我运行推理器。

我正在使用 owl 2 和 Protégé 5.0。

为什么 Person 不包括 Man 和 Woman 的实例？

使用描述逻辑（和相应的 OWL-DL）考虑我们有Meeting一个类可以参加的类Professor，因此：

并认为 aProfessor可能是Assistant另一个Professor：

问题： 我如何使用术语框公理（TBox）来声明，如果 a Meeting couldBeAttendedBya Professor，那么它couldBeAttendedBy是他的任何一个Assistants。

例如，考虑一下：

我想得出结论

考虑到我们正在使用以下概念对域进行建模：Maker这是一个汽车生产商，Model它是一个特定的模型，它是一个hasMaker特定的独特的Maker。并考虑 MakerExhibition，这是一种由一个人完成的展览，可以展示Maker多个Model：Maker

问题：如何限制（在 Protege 中使用 DL 或 OWL 语法）Model出现在MakerExhibitionthrough的任何内容hasExhibitionModel必须相同MakerExhibition Maker？

例如，在一辆宝马车上，我们不能展示一辆奔驰车！MakerExhibitionMaker ModelMaker

在 OWL 本体中，给定一个类Student；我想定义另一个班级StudentsPair，即任何一对学生，以自动计算所有可能的双重组合的方式Student，即

我想StudentsPair作为一个类，而不是一个属性，因为它可能具有附加功能（例如averagePerformanceForPair等）。

例如，

前提

结论

推理者必须以某种方式创造这些新个体！这可能吗？

请您解释一下 QL (DL-Liteᴿ)、EL (EL++) 和 RL (DLP) 在以下方面的主要区别：

• 否定
• 合格的量化
• 角色功能
• 逆性质
• 对称性质
• 角色层次结构（即子属性）

目前我知道：

• 合格的量化在 EL 中是允许的，在 QL 中是不允许的，但在后者中我们可以做一些技巧。
• QL 中允许使用函数属性、逆属性和子属性，但 EL 中不允许
• QL 和 EL 都允许不相交 (A⊓B=⌀)

虽然我现在对 RL 几乎一无所知。

我知道这个问题可能太笼统了，但是我不需要详细的答案，只需要笼统的概述即可获得主要区别。

我想在 dl, Protege view中表达这一点。

如何表达来自类型 inclusiveGateway 的单个包容性网关1？

如果对象属性存在：

找不到如何针对这种情况执行此操作的示例，只是针对不同类的一些 equivalanceRelation，例如。Man≡ Person

我对 dl 有点陌生。我试图从这篇文章中调整知识：如何在描述逻辑中表达这个人

AKSW 好心地帮助我描述了 dl 中的公理。我将知识应用于我的模型。我只是想仔细检查，而不是犯任何设计错误（你不需要检查每个细节）。这就是模型看起来像 BPMN 的样子： BPMN Model

我试图将它复制到这个问题中 10 分钟，但是当复制它时，格式完全混乱（我需要学习的另一件事：P）。很抱歉没有直接把它放在这个问题中。 深度学习逻辑.doc

编辑：如何在 dl 中描述具有域和范围的对象属性？

对象属性：travelTo

域名：法国、德国

和范围：意大利、西班牙

我会这样做：

travelTo（法国，意大利）

travelTo（法国，西班牙）

或者 - - - - - - - - - - - - - -

法国(travelTo,意大利)

法国(travelTo,西班牙)

德国(travelTo,意大利)

法国(travelTo,西班牙)

有什么建议么？

最好的问候理查德

鉴于：

三种猫头鹰类：emptyTask、task和userTask。

类之间的关系如下：userTaskis equivalentTo task- 这意味着所有在 中的个体也都在userTask中task。emptyTask是一个subclassOf task。

但我想通过这种关系实现的是：所有来自userTask的个人也都在task（完成，推理逻辑）。来自 的所有个体emptyTask都在 中task，但彼此之间没有任何关系emptyTask。userTask它们在我的本体中没有任何关系。

使用 3 次等价物不是我想做的。希望你们能理解我想要实现的目标。

例如，这种关系在 Protege 中会是什么样子。DL 中的答案可能会有所帮助，但我更喜欢实用的答案。这张照片可能有助于理解我想对所有个人说的话。protege with hermit reasoner 截图：

这张图显示了和之间的equivalentTo关系。来自的所有个体也都在（推理逻辑）taskuserTaskuserTasktask

当我想用推理器打开时，我task想看到来自和userTaskemptyTask

当我想userTask用推理器打开时，我只想看到个人task。

当我想emptyTask用推理器打开时，我不想看到来自userTask或的个人Task。

问题是我应该如何设置彼此的关系以实现这一目标？

编辑： 屏幕 1 屏幕 2

正如您所看到的，即使有 3 个课程也无法正常工作。该按钮始终为灰色。我尝试了 2 个不同版本的 Protege！