@bpmn-ld/bpmn-ld 0.0.0-stage → 0.2.0

package/reference/rospocher-verified.json

@@ -0,0 +1,221 @@
+{
+  "namespace": "http://dkm.fbk.eu/index.php/BPMN_Ontology#",
+  "source": "reference/rospocher/BPMNOntology.owl",
+  "ontologyVersion": "1.0 (owl:versionInfo; comment states Version 1.01, based on BPMN 1.1 January 2008)",
+  "retrievalDate": "2026-11-05",
+  "verifiedClasses": [
+    "start_event",
+    "end_event",
+    "user_task",
+    "service_task",
+    "script_task",
+    "send_task",
+    "receive_task",
+    "manual_task",
+    "parallel_gateway",
+    "inclusive_gateway",
+    "complex_gateway",
+    "lane"
+  ],
+  "linked": [
+    {
+      "class": "StartEvent",
+      "rospocherClass": "start_event",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#start_event",
+      "justification": "Same name; Rospocher defines it as an event of type start, the same notion as the BPMN 2.0 start event."
+    },
+    {
+      "class": "EndEvent",
+      "rospocherClass": "end_event",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#end_event",
+      "justification": "Same name; Rospocher defines it as an event of type end, the same notion as the BPMN 2.0 end event."
+    },
+    {
+      "class": "UserTask",
+      "rospocherClass": "user_task",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#user_task",
+      "justification": "Same name; Rospocher defines it as a task whose task type is user, which is the BPMN 2.0 user task kind."
+    },
+    {
+      "class": "ServiceTask",
+      "rospocherClass": "service_task",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#service_task",
+      "justification": "Same name; Rospocher defines it as a task whose task type is service, which is the BPMN 2.0 service task kind."
+    },
+    {
+      "class": "ScriptTask",
+      "rospocherClass": "script_task",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#script_task",
+      "justification": "Same name; Rospocher defines it as a task whose task type is script, which is the BPMN 2.0 script task kind."
+    },
+    {
+      "class": "SendTask",
+      "rospocherClass": "send_task",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#send_task",
+      "justification": "Same name; Rospocher defines it as a task whose task type is send, which is the BPMN 2.0 send task kind."
+    },
+    {
+      "class": "ReceiveTask",
+      "rospocherClass": "receive_task",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#receive_task",
+      "justification": "Same name; Rospocher defines it as a task whose task type is receive, which is the BPMN 2.0 receive task kind."
+    },
+    {
+      "class": "ManualTask",
+      "rospocherClass": "manual_task",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#manual_task",
+      "justification": "Same name; Rospocher defines it as a task whose task type is manual, which is the BPMN 2.0 manual task kind."
+    },
+    {
+      "class": "ParallelGateway",
+      "rospocherClass": "parallel_gateway",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#parallel_gateway",
+      "justification": "Same name; Rospocher defines it as a gateway of type parallel (fork and join), unchanged in BPMN 2.0."
+    },
+    {
+      "class": "InclusiveGateway",
+      "rospocherClass": "inclusive_gateway",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#inclusive_gateway",
+      "justification": "Same name; Rospocher defines it as a gateway of type inclusive, unchanged in BPMN 2.0."
+    },
+    {
+      "class": "ComplexGateway",
+      "rospocherClass": "complex_gateway",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#complex_gateway",
+      "justification": "Same name; Rospocher defines it as a gateway of type complex, unchanged in BPMN 2.0."
+    },
+    {
+      "class": "Lane",
+      "rospocherClass": "lane",
+      "iri": "http://dkm.fbk.eu/index.php/BPMN_Ontology#lane",
+      "justification": "Same name; Rospocher comment defines a lane as a sub-partition within a pool used to organize and categorize activities, matching BPMN 2.0."
+    }
+  ],
+  "rejected": [
+    {
+      "class": "Task",
+      "rospocherClass": "task",
+      "reason": "Rospocher task is the atomic activity type distinct from its typed subclasses and excludes BusinessRuleTask, which does not exist in BPMN 1.1."
+    },
+    {
+      "class": "Activity",
+      "rospocherClass": "activity",
+      "reason": "Rospocher activity is defined as the union of sub_process and task; BPMN 2.0 Activity also covers CallActivity."
+    },
+    {
+      "class": "SubProcess",
+      "rospocherClass": "sub_process",
+      "reason": "Rospocher sub_process also covers reusable and reference sub-processes, which BPMN 2.0 models as CallActivity."
+    },
+    {
+      "class": "ExclusiveGateway",
+      "rospocherClass": "exclusive_gateway",
+      "reason": "Rospocher exclusive_gateway includes the event-based exclusive gateway; BPMN 2.0 has a separate EventBasedGateway."
+    },
+    {
+      "class": "EventBasedGateway",
+      "rospocherClass": "event_based_exclusive_gateway",
+      "reason": "Rospocher models it as an exclusive gateway of event type; BPMN 2.0 gives it its own class with different semantics."
+    },
+    {
+      "class": "Gateway",
+      "rospocherClass": "gateway",
+      "reason": "Rospocher adds BPMN 1.1 cardinality axioms on gates and flows that do not hold for BPMN 2.0 gateways."
+    },
+    {
+      "class": "Event",
+      "rospocherClass": "event",
+      "reason": "Rospocher event is limited to start, intermediate and end types with 1.1 triggers; BPMN 2.0 Event is a broader abstract class."
+    },
+    {
+      "class": "BoundaryEvent",
+      "rospocherClass": "activity_boundary_intermediate_event",
+      "reason": "Rospocher models boundary events as intermediate events attached to an activity, not as a distinct class."
+    },
+    {
+      "class": "Process",
+      "rospocherClass": "process",
+      "reason": "Rospocher process carries 1.1 attributes and is disjoint from message; BPMN 2.0 Process is a flow elements container."
+    },
+    {
+      "class": "Participant",
+      "rospocherClass": "participant",
+      "reason": "Rospocher participant is a role or entity separate from pool; BPMN 2.0 Participant represents the pool."
+    },
+    {
+      "class": "Participant",
+      "rospocherClass": "pool",
+      "reason": "Rospocher pool requires a participant reference and process reference; BPMN 2.0 merges these into Participant."
+    },
+    {
+      "class": "SequenceFlow",
+      "rospocherClass": "sequence_flow",
+      "reason": "Rospocher restricts sources and targets by 1.1 axioms (activity, data-based exclusive gateway) that BPMN 2.0 relaxes."
+    },
+    {
+      "class": "MessageFlow",
+      "rospocherClass": "message_flow",
+      "reason": "Rospocher restricts endpoints by 1.1 axioms that BPMN 2.0 relaxes."
+    },
+    {
+      "class": "Expression",
+      "rospocherClass": "expression",
+      "reason": "Rospocher expression is a 1.1 supporting element disjoint from entity; BPMN 2.0 Expression is an abstract class with FormalExpression."
+    },
+    {
+      "class": "MessageEventDefinition",
+      "rospocherClass": "message_event_detail",
+      "reason": "Rospocher models event triggers as detail individuals of an event type, not as definition elements."
+    },
+    {
+      "class": "TimerEventDefinition",
+      "rospocherClass": "timer_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "ErrorEventDefinition",
+      "rospocherClass": "error_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "SignalEventDefinition",
+      "rospocherClass": "signal_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "ConditionalEventDefinition",
+      "rospocherClass": "conditional_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "LinkEventDefinition",
+      "rospocherClass": "link_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "CompensateEventDefinition",
+      "rospocherClass": "compensation_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "CancelEventDefinition",
+      "rospocherClass": "cancel_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "TerminateEventDefinition",
+      "rospocherClass": "terminate_event_detail",
+      "reason": "Modelled as an event detail, not as an event definition element."
+    },
+    {
+      "class": "IntermediateCatchEvent",
+      "rospocherClass": "message_intermediate_event",
+      "reason": "Rospocher splits intermediate events by trigger into subclasses; no class matches the BPMN 2.0 catch/throw split."
+    },
+    {
+      "class": "BusinessRuleTask",
+      "rospocherClass": "task",
+      "reason": "BusinessRuleTask does not exist in BPMN 1.1 and has no Rospocher counterpart."
+    }
+  ]
+}