Как выразить этого человека в описании логики

Question

Я хочу выразить это в dl, представление Protege.

Как я могу выразить индивидуальный инклюзивный gateway1 типа inclusiveGateway?

{inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2)

name: inclusiveGateway
id: inclusiveGateway1
gatewaydirection: unspec

если свойство объекта существует:

flowsinto: task1

Не удалось найти пример, как это сделать для этого случая, просто какое-то отношение equivalance для разных классов, например. Man≡ Person

Answer 1

Проблема, на которую вы в основном не получили ответа, заключается в том, что ваша формулировка полностью сбивает с толку.

Основываясь на вашем изображении, и это все, что я понял, вы хотите выразить эти аксиомы OWL в синтаксисе DL:

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

Не уверен, отвечает ли это на ваш вопрос. В качестве комментария, общепринятым соглашением об именах является случай верблюда и имена классов, начинающиеся с заглавной буквы.