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

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 tables, 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 knowledge bases (DKBs), which semantically combine DRGs modeled in DMN, and domain knowledge 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.

[1]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[2]  Zdzislaw Pawlak.  Decision tables - a rough set approach , 1987, Bull. EATCS.

[3]  Diego Calvanese,et al.  Introducing Datatypes in DL-Lite , 2012, ECAI.

[4]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5]  Diego Calvanese,et al.  Semantic DMN: Formalizing Decision Models with Domain Knowledge , 2017, RuleML+RR.

[6]  Ian Horrocks,et al.  Web Ontology Reasoning with Datatype Groups , 2003, SEMWEB.

[7]  Bijan Parsia,et al.  Pellet System Description , 2006, Description Logics.

[8]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[9]  Longfei Jin,et al.  Description Logic을 이용한 전자카타로그 온톨로지 모델링 , 2005 .

[10]  Thomas Eiter,et al.  Query Answering in Description Logics: The Knots Approach , 2009, WoLLIC.

[11]  Jan Vanthienen,et al.  Illustration of a decision table tool for specifying and implementing knowledge based systems , 1993, Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).

[12]  Udo W. Pooch,et al.  Translation of Decision Tables , 1974, ACM Comput. Surv..

[13]  Carsten Lutz,et al.  Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.

[14]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[15]  Thomas Lukasiewicz,et al.  Hybrid Reasoning with Rules and Ontologies , 2009, REWERSE.

[16]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[17]  Boris Motik,et al.  OWL Datatypes: Design and Implementation , 2008, SEMWEB.

[18]  Alexander H. Levis,et al.  Validation and verification of decision making rules , 1995, Autom..

[19]  Thomas Eiter,et al.  Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses , 2008, AAAI.

[20]  Diego Calvanese,et al.  Semantics and Analysis of DMN Decision Tables , 2016, BPM.

[21]  Franz Baader,et al.  Tableau Algorithms for Description Logics , 2000, TABLEAUX.

[22]  D. N. Hoover,et al.  Tablewise, a decision table tool , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[23]  Jan Vanthienen,et al.  An Illustration of Verification and Validation in the Modelling Phase of KBS Development , 1998, Data Knowl. Eng..

[24]  Boris Motik,et al.  HermiT: A Highly-Efficient OWL Reasoner , 2008, OWLED.

[25]  Volker Haarslev,et al.  The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach , 2000, IJCAR.

[26]  Antonius Weinzierl,et al.  Answer Set Programming with External Source Access , 2017, Reasoning Web.

[27]  Boris Motik,et al.  Reconciling description logics and rules , 2010, JACM.

[28]  Pascal Hitzler,et al.  OWL and Rules , 2011, Reasoning Web.

[29]  C. Lutz.  The Complexity of Reasoning with Concrete Domains , 1999 .

[30]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[31]  Alessandro Artale,et al.  DL-Lite with Attributes and Datatypes , 2012, ECAI.

[32]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[33]  Andreas Meyer,et al.  Extracting Decision Logic from Process Models , 2015, CAiSE.