Rule-based Behavioral Reasoning on Semantic Business Processes

Fabrizio Smith, Maurizio Proietti

2013

Abstract

We propose a rule-based framework for representing and reasoning about business processes from both the procedural and ontological point of views. To this end we define a rule-based procedural semantics for a relevant fragment of BPMN, a very popular graphical notation for specifying business processes. Our semantics defines 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-RL rule-based ontology language. Our framework provides a wide range of reasoning services by using standard logic programming inference engines. In particular, we can perform very sophisticated reasoning tasks by combining both procedural and domain dependent knowledge. A preliminary implementation shows that our approach is effective in practice.

Paper Citation

in Harvard Style

Smith F. and Proietti M. (2013). Rule-based Behavioral Reasoning on Semantic Business Processes . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8565-39-6, pages 130-143. DOI: 10.5220/0004255001300143

in Bibtex Style

@conference{icaart13,
author={Fabrizio Smith and Maurizio Proietti},
title={Rule-based Behavioral Reasoning on Semantic Business Processes},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2013},
pages={130-143},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004255001300143},
isbn={978-989-8565-39-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Rule-based Behavioral Reasoning on Semantic Business Processes
SN - 978-989-8565-39-6
AU - Smith F.
AU - Proietti M.
PY - 2013
SP - 130
EP - 143
DO - 10.5220/0004255001300143