TY - RPRT TI - A formalisation of BPMN in Description Logics AU - Chiara Ghidini AU - Marco Rospocher AU - Luciano Serafini PY - 2021 UR - https://arxiv.org/abs/2109.10716 ID - 2109.10716 ER -