Can I read Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach on EtoBox?

Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach by Smith, Fabrizio; Proietti, Maurizio is a scholarly article available to read on EtoBox.

What is Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach about?

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 w

Author

Smith, Fabrizio; Proietti, Maurizio

Published

2014

Language

EN