rdf - 如何在描述逻辑中表达这个人

Question

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

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

{inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2)

name: inclusiveGateway
id: inclusiveGateway1
gatewaydirection: unspec

如果对象属性存在：

flowsinto: task1

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

Answer 1

您大多没有答案的问题是您的表述完全令人困惑。

根据您的图像，这就是我所理解的，您想用 DL 语法表达这些 OWL 公理：

inclusiveGateway(inclusivegateway1)
gatewayDirection(inclusivegateway1, "unspecified")
name(inclusivegateway1, "Inclusive Gateway")
id(inclusivegateway1, "inclusivegateway1")

不确定这是否回答了您的问题。作为评论，常见的命名约定是以大写字母开头的驼峰式命名和类名。