Reasoning on Business Processes and Ontologies in a Logic Programming Environment

Download Now
Provided by: University of KwaZulu-Natal
Topic: Big Data
Format: PDF
In this paper, the authors presented the main ideas of a framework conceived to complement existing business modeling tools by providing advanced reasoning services. The proposed platform consists of several parts: an ontological framework, OPAL, to capture the semantics of the business scenario; a business process modeling framework, BPAL, to capture the application logic; a reasoning engine, based on logic programming, that operates on the above two structures in an integrated way; a BP query language, developed on top of the reasoning engine; finally, a verification mechanism, tightly connected to the latter.
Download Now

Find By Topic