Wie diese Person in Beschreibung Logik auszudrücken

Question

Ich möchte dies in dl, Protege view ausdrücken.

Wie kann ich das individuelle inklusive gateway1 ausdrücken, das vom Typ includeGateway ist?

{inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2) 

name: inclusiveGateway 
id: inclusiveGateway1 
gatewaydirection: unspec 

wenn eine Objekteigenschaft vorhanden ist:

flowsinto: task1 

kann nicht ein Beispiel finden, wie es für diesen Fall zu tun, nur einige equivalanceRelation für verschiedene Klassen, z. B. Man≡ Person

Answer 1

Das Problem, dass Sie meist keine Antwort erhalten, ist, dass Ihre Formulierung völlig verwirrend ist.

Basierend auf dem Bild, und das ist alles, was ich verstand, wollen Sie diese OWL Axiome in DL Syntax zum Ausdruck bringen:

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

Nicht sicher, ob dies Ihre Frage beantwortet. Als Kommentar ist eine gängige Namenskonvention Camel-Case- und Klassennamen, die mit einem Großbuchstaben beginnen.