0 A Knowledge Representation Formalism for Semantic Business Process Management Ermelinda Oro and Massimo Ruffolo High Performance Computing and Networking Institute of the National Research Council, Altilia srl Italy 1. Introduction Business process models are increasingly used to create clarity about the logical sequence of activities in public and private organizations belonging to different industries and areas. To improve Business Process Management (BPM), semantic technologies (like ontologies, reasoners, and semantic Web services) should be integrated in BPM tools in order to enable semantic BPM. Semantic Business Process Management (SBPM) approaches and tools aim at allowing more efficient and effective business process management across complex organizations. By semantic BPM decision makers can get transparent, fast, and comprehensive view of relevant business processes for better analyzing and driving processes. In defining semantic BPM tools aimed at improving the quality of process models and subsequent process analyses, a key aspect to take into account is to represent in combined way static knowledge regarding a specific application domain (i.e. domain ontologies) and dynamic knowledge related to process schemas and instances that are typically performed in a given domain. For example, in the health care domain, where the evidence-based medicine has contributed to define and apply clinical processes for caring a wide variety of diseases, a process-oriented vision of clinical practices may allow for enhancing patient safety by enabling better risks management capabilities. In this Chapter is firstly summarized the large body of work currently available in the field of knowledge representation formalisms and approaches for representing and managing business processes. Then a novel ontology-based approach to business process representation and management, named Static/Dynamic Knowledge Representation Framework (SD-KRF), is presented. The SD-KRF allows for expressing in a combined way domain ontologies, business processes and related business rules. It supports semantic business process management and contributes to enhancing existing BPM solutions in order to achieve more flexible, dynamic and manageable business processes. More in detail, the presented framework allows methods for: 1. Creating ontologies of business processes that can be queried and explored in a semantic fashion. 2. Expressing business rules (by means of reasoning tasks) that can be used for monitoring processes. 3. Extracting information from business documents. Semantic information extraction allows the acquisition of information and metadata useful for the correct execution of business 9 www.intechopen.com