问题
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:
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.
来源：https://stackoverflow.com/questions/38663153/how-to-express-this-individual-in-description-logic