如何在描述逻辑中表达此人

Question

我想在dl，Protege view中表达此意见。

我该如何表示从inclusivegateway类型的个别包含gateway1？

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

不知道是否回答你的问题。作为评论，常见的命名约定是以大写lettel开头的驼峰式和类名。