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

Question

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

如何表达来自包含类型的网关的个人包含网关？

{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")

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