A formalisation of BPMN in Description Logics

Open in new window