Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach

10/07/2014
by   Fabrizio Smith, et al.
0

We propose a framework grounded in Logic Programming for representing and reasoning about business processes from both the procedural and ontological point of views. In particular, our goal is threefold: (1) define a logical language and a formal semantics for process models enriched with ontology-based annotations; (2) provide an effective inference mechanism that supports the combination of reasoning services dealing with the structural definition of a process model, its behavior, and the domain knowledge related to the participating business entities; (3) implement such a theoretical framework into a process modeling and reasoning platform. To this end we define a process ontology coping with a relevant fragment of the popular BPMN modeling notation. The behavioral semantics of a process is defined as a state transition system by following an approach similar to the Fluent Calculus, and allows us to specify state change in terms of preconditions and effects of the enactment of activities. Then we show how the procedural process knowledge can be seamlessly integrated with the domain knowledge specified by using the OWL 2 RL rule-based ontology language. Our framework provides a wide range of reasoning services, including CTL model checking, which can be performed by using standard Logic Programming inference engines through a goal-oriented, efficient, sound and complete evaluation procedure. We also present a software environment implementing the proposed framework, and we report on an experimental evaluation of the system, whose results are encouraging and show the viability of the approach.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/31/2018

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledg

The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
07/31/2018

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
04/23/2020

BOLD: An Ontology-based Log Debugger for C Programs

The different activities related to debugging such as program instrument...
research
02/23/2020

Behavior Cloning in OpenAI using Case Based Reasoning

Learning from Observation (LfO), also known as Behavioral Cloning, is an...
research
04/18/2019

An Ontological Analysis of Business Process Modeling and Execution

This work presents a fully elaborated ontology, defined via the Ontology...
research
04/10/2023

Scallop: A Language for Neurosymbolic Programming

We present Scallop, a language which combines the benefits of deep learn...
research
05/29/2017

Deep Learning for Ontology Reasoning

In this work, we present a novel approach to ontology reasoning that is ...

Please sign up or login with your details

Forgot password? Click here to reset