Abstract: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.

Reasoning about processes: A logical approach

A Case Study in Reasoning about Processes

Representing the Process Semantics in the Event Calculus

Reasoning about continuous change: a formal method based on process description

The Process Semantics Based Reasoning about Continuous Change

A formal method toward reasoning about continuous change

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

A Process Calculus with Logical Operators

Process Algebra Approach to Reasoning about Concurrent Actions

Modal Logic, Transition Systems and Processes

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes

Process Operations In Extended Dynamic Logic

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Reasoner = Logical Calculus + Rule Engine

Reasoning technique for extended fuzzy description logics

Logic of Transition Systems

Reasoning in Abella about Structural Operational Semantics Specifications

Extending and Implementing the Stable Model Semantics

Axiomatizing Lüttgen & Vogler's Ready Simulation for Finite Processes in CLLR

Structured Event Reasoning with Large Language Models