Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

07/31/2018
by   Diego Calvanese, et al.
8

The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes. DMN builds on the notion of decision table, and their combination into more complex decision requirements graphs (DRGs), which bridge between business process models and decision logic models. DRGs may rely on additional, external business knowledge models, whose functioning is not part of the standard. In this work, we consider one of the most important types of business knowledge, namely background knowledge that conceptually accounts for the structural aspects of the domain of interest, and propose decision requirement knowledge bases (DKBs), where DRGs are modeled in DMN, and domain knowledge is captured by means of first-order logic with datatypes. We provide a logic-based semantics for such an integration, and formalize different DMN reasoning tasks for DKBs. We then consider background knowledge formulated as a description logic ontology with datatypes, and show how the main verification tasks for DMN in this enriched setting, can be formalized as standard DL reasoning services, and actually carried out in ExpTime. We discuss the effectiveness of our framework on a case study in maritime security. This work is under consideration for publication in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/31/2018

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledg

The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
10/07/2014

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

We propose a framework grounded in Logic Programming for representing an...
research
02/16/2015

Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases

Artifact-centric models for business processes recently raised a lot of ...
research
08/14/2019

Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

Linear Logic and Defeasible Logic have been adopted to formalise differe...
research
10/06/2021

Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning

Knowledge-based AI typically depends on a knowledge engineer to construc...
research
07/01/2020

Reasoning with Contextual Knowledge and Influence Diagrams

Influence diagrams (IDs) are well-known formalisms extending Bayesian ne...
research
01/09/2014

Ontology - Based Dynamic Business Process Customization

The interaction between business models is used in consumer centric mann...

Please sign up or login with your details

Forgot password? Click here to reset