{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:03:26Z","timestamp":1760709806961,"version":"3.40.5"},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"04","license":[{"start":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T00:00:00Z","timestamp":1547769600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2019,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The Decision Model and Notation (DMN) is a recent Object Management Group 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 <jats:italic>decision knowledge bases<\/jats:italic> (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 (DL) 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.<\/jats:p>","DOI":"10.1017\/s1471068418000479","type":"journal-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T05:37:54Z","timestamp":1547789874000},"page":"536-573","source":"Crossref","is-referenced-by-count":7,"title":["Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge"],"prefix":"10.1017","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5174-9693","authenticated-orcid":false,"given":"DIEGO","family":"CALVANESE","sequence":"first","affiliation":[]},{"given":"MARCO","family":"MONTALI","sequence":"additional","affiliation":[]},{"given":"MARLON","family":"DUMAS","sequence":"additional","affiliation":[]},{"given":"FABRIZIO M.","family":"MAGGI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2019,1,18]]},"reference":[{"key":"S1471068418000479_ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(98)80003-7"},{"key":"S1471068418000479_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(96)00165-3"},{"key":"S1471068418000479_ref33","first-page":"198","volume-title":"Proc. of the 5th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)","author":"Vanthienen","year":"1993"},{"key":"S1471068418000479_ref19","first-page":"307","volume-title":"Proc. of the 7th International Semantic Web Conference (ISWC)","volume":"5318","author":"Motik","year":"2008"},{"key":"S1471068418000479_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23032-5_7"},{"key":"S1471068418000479_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61033-7_7"},{"key":"S1471068418000479_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04581-3_1"},{"key":"S1471068418000479_ref13","first-page":"97","volume-title":"Proc. of the 10th Annual Conference on Computer Assurance Systems Integrity","author":"Hoover","year":"1995"},{"key":"S1471068418000479_ref6","first-page":"70","volume-title":"Proc. of the 1st International Joint Conference on Rules and Reasoning (RuleML+RR)","volume":"10364","author":"Calvanese","year":"2017"},{"volume-title":"A Mathematical Introduction to Logic","year":"2001","author":"Enderton","key":"S1471068418000479_ref11"},{"key":"S1471068418000479_ref5","first-page":"217","volume-title":"Proc. of the 14th International Conference on Business Process Management (BPM)","volume":"9850","author":"Calvanese","year":"2016"},{"key":"S1471068418000479_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02261-6_3"},{"volume-title":"Proc. of the 27th Int.ernational Conference on Advanced Information Systems Engineering (CAiSE)","year":"2015","author":"Batoulis","key":"S1471068418000479_ref4"},{"key":"S1471068418000479_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/10722086_1"},{"key":"S1471068418000479_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787"},{"key":"S1471068418000479_ref1","first-page":"61","volume-title":"Proc. of the 20th European Conference on Artificial Intelligence (ECAI)","volume":"242","author":"Artale","year":"2012"},{"key":"S1471068418000479_ref29","first-page":"720","volume-title":"Proc. of the 20th European Conference on Artificial Intelligence (ECAI)","volume":"242","author":"Savkovic","year":"2012"},{"key":"S1471068418000479_ref28","doi-asserted-by":"publisher","DOI":"10.1145\/356628.356630"},{"key":"S1471068418000479_ref27","first-page":"85","volume":"33","author":"Pawlak","year":"1987","journal-title":"Bulletin of the EATCS"},{"key":"S1471068418000479_ref26","first-page":"47","volume-title":"Proc. of the 2nd International Semantic Web Conference (ISWC)","volume":"2870","author":"Pan","year":"2003"},{"key":"S1471068418000479_ref25","first-page":"504","volume-title":"Proc. of the 23rd AAAI Conference on Artificial Intelligence (AAAI)","author":"Ortiz","year":"2008"},{"key":"S1471068418000479_ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1754399.1754403"},{"key":"S1471068418000479_ref34","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213094000133"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068418000479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T02:43:13Z","timestamp":1560480193000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068418000479\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,18]]},"references-count":23,"journal-issue":{"issue":"04","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["S1471068418000479"],"URL":"https:\/\/doi.org\/10.1017\/s1471068418000479","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2019,1,18]]}}}