A formalisation of BPMN in Description Logics

09/22/2021
by   Chiara Ghidini, et al.
0

In this paper we present a textual description, in terms of Description Logics, of the BPMN Ontology, which provides a clear semantic formalisation of the structural components of the Business Process Modelling Notation (BPMN), based on the latest stable BPMN specifications from OMG [BPMN Version 1.1 – January 2008]. The development of the ontology was guided by the description of the complete set of BPMN Element Attributes and Types contained in Annex B of the BPMN specifications.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/22/2020

Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

We study query containment in three closely related formalisms: monadic ...
research
08/03/2023

Modelling and simulation of a commercially available dielectric elastomer actuator

In order to fully harness the potential of dielectric elastomer actu-ato...
research
01/19/2012

A Description Logic Primer

This paper provides a self-contained first introduction to description l...
research
06/17/2022

Uniform and Modular Sequent Systems for Description Logics

We introduce a framework that allows for the construction of sequent sys...
research
07/06/2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals

The Craig interpolation property (CIP) states that an interpolant for an...
research
01/01/2021

An Ontology Design Pattern for representing Recurrent Situations

In this paper, we present an Ontology Design Pattern for representing si...
research
05/16/2023

Efficient Computation of General Modules for ALC Ontologies (Extended Version)

We present a method for extracting general modules for ontologies formul...

Please sign up or login with your details

Forgot password? Click here to reset