The BPMN Ontology provides a classification of all the elements of BPMN, together with the formal description of the attributes and conditions describing how the elements can be combined in a BPMN business process description. Using the classes and properties defined in the BPMN Ontology any actual BPMN diagram can be represented as a set of instances (and assertions on them) in the ontology: this allows to exploit ontological reasoning services such as consistency checking and query answering to investigate the compliance of a process with the BPMN Specification as well as other structural property of the process.

The BPMN Ontology is described in:

  • Marco Rospocher, Chiara Ghidini, Luciano Serafini: An ontology for the Business Process Modelling Notation. FOIS 2014: 133-146
  • Chiara Ghidini, Marco Rospocher, Luciano Serafini: A formalisation of BPMN in Description Logics. arXiv:2109.10716 (2021)

 and is avalable for download here.