如何在描述逻辑中表达这个个体

Question

我想用dl来表达，Protege view。

如何表达 inclusiveGateway 类型的 inclusive gateway1？

{inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2)

name: inclusiveGateway
id: inclusiveGateway1
gatewaydirection: unspec

如果对象 属性 存在：

flowsinto: task1

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

Answer 1

你大部分得不到答案的问题是你的表述完全混乱。

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

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

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