How to express this individual in Description logi

2019-09-11 05:09发布

I want to express this in dl, Protege view.

How can I express the individual inclusive gateway1 which is from type inclusiveGateway?

{inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2)

name: inclusiveGateway
id: inclusiveGateway1
gatewaydirection: unspec

if a object property exists:

flowsinto: task1

Couldn't find an example how to do it for this case, just some equivalanceRelation for different classes, eg. Man≡ Person

1条回答
▲ chillily
2楼-- · 2019-09-11 05:44

The problem that you mostly got no answer is that your formulation is totally confusing.

Based on your image, and that's all I understood, you want to express those OWL axioms in DL syntax:

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

Not sure whether this answers your question. As a comment, common naming convention is camel-case and class names starting with an capital lettel.

查看更多
登录 后发表回答