{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:54:46Z","timestamp":1757451286657,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319612515"},{"type":"electronic","value":"9783319612522"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61252-2_6","type":"book-chapter","created":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T22:55:48Z","timestamp":1497308148000},"page":"70-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Semantic DMN: Formalizing Decision Models with Domain Knowledge"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[]},{"given":"Fabrizio M.","family":"Maggi","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"6_CR1","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Savkovi\u0107, O.: Datatypes in DL-Lite. Technical report KRDB17-1, KRDB Research Centre for Knowledge and Data, Free Univ. of Bozen-Bolzano. \n                    https:\/\/www.inf.unibz.it\/krdb\/pub\/TR\/KRDB17-1.pdf"},{"key":"6_CR2","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V.: DL-Lite with attributes and datatypes. In: Proceedings of ECAI, pp. 61\u201366 (2012)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2nd edn. (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-319-19069-3_22","volume-title":"Advanced Information Systems Engineering","author":"K Batoulis","year":"2015","unstructured":"Batoulis, K., Meyer, A., Bazhenova, E., Decker, G., Weske, M.: Extracting decision logic from process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 349\u2013366. Springer, Cham (2015). doi:\n                    10.1007\/978-3-319-19069-3_22"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-45348-4_13","volume-title":"Business Process Management","author":"D Calvanese","year":"2016","unstructured":"Calvanese, D., Dumas, M., Laurson, \u00dc., Maggi, F.M., Montali, M., Teinemaa, I.: Semantics and analysis of DMN decision tables. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 217\u2013233. Springer, Cham (2016). doi:\n                    10.1007\/978-3-319-45348-4_13"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press (2001)","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R., Wessel, M.: The description logic \n                    \n                      \n                    \n                    $$\\cal{ALCNH}_{R+}$$\n                   extended with concrete domains: a practically motivated approach. In: Proceedings of IJCAR, pp. 29\u201344 (2001)","DOI":"10.1007\/3-540-45744-5_4"},{"key":"6_CR8","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the \n                    \n                      \n                    \n                    $$\\cal{SHOQ}$$\n                  (D) description logic. In: Proceedings of IJCAI, pp. 199\u2013204 (2001)"},{"key":"6_CR9","unstructured":"Lutz, C.: Description logics with concrete domains-A survey. Advances in Modal Logic, pp. 265\u2013206 (2002)"},{"key":"6_CR10","unstructured":"Motik, B., Parsia, B., Patel-Schneider, P.F.: OWL 2 Web Ontology Language structural specification and functional-style syntax, 2nd edn. W3C Recommendation, W3C, December 2012. \n                    http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"6_CR11","unstructured":"Object Management Group: Decision Model and Notation (DMN) 1.0 (2015). \n                    http:\/\/www.omg.org\/spec\/DMN\/1.0\/"},{"key":"6_CR12","first-page":"85","volume":"33","author":"Z Pawlak","year":"1987","unstructured":"Pawlak, Z.: Decision tables - a rough set approach. Bull. EATCS 33, 85\u201395 (1987)","journal-title":"Bull. EATCS"},{"issue":"2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/356628.356630","volume":"6","author":"UW Pooch","year":"1974","unstructured":"Pooch, U.W.: Translation of decision tables. ACM Comput. Surv. 6(2), 125\u2013151 (1974)","journal-title":"ACM Comput. Surv."},{"key":"6_CR14","unstructured":"Savkovic, O., Calvanese, D.: Introducing datatypes in DL-Lite. In: Proceedings of ECAI, pp. 720\u2013725 (2012)"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1142\/S0218213094000133","volume":"3","author":"J Vanthienen","year":"1994","unstructured":"Vanthienen, J., Dries, E.: Illustration of a decision table tool for specifying and implementing knowledge based systems. Int. J. Artif. Intell. Tools 3(2), 267\u2013288 (1994)","journal-title":"Int. J. Artif. Intell. Tools"},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0169-023X(98)80003-7","volume":"27","author":"J Vanthienen","year":"1998","unstructured":"Vanthienen, J., Mues, C., Aerts, A.: An illustration of verification and validation in the modelling phase of KBS development. DKE 27(3), 337\u2013352 (1998)","journal-title":"DKE"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0005-1098(96)00165-3","volume":"33","author":"AK Zaidi","year":"1997","unstructured":"Zaidi, A.K., Levis, A.H.: Validation and verification of decision making rules. Automatica 33(2), 155\u2013169 (1997)","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61252-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:27:43Z","timestamp":1558319263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"14 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2017.ruleml-rr.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}