{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T11:32:09Z","timestamp":1744198329520,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319215419"},{"type":"electronic","value":"9783319215426"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-21542-6_25","type":"book-chapter","created":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T10:59:32Z","timestamp":1436612372000},"page":"388-403","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic Vocabularies"],"prefix":"10.1007","author":[{"given":"Sagar","family":"Sunkle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepali","family":"Kholkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinay","family":"Kulkarni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,12]]},"reference":[{"key":"25_CR1","unstructured":"French Caldwell, J.A.W.: Magic quadrant for enterprise governance, risk and compliance platforms (Gartner) (2013)"},{"key":"25_CR2","unstructured":"English, S., Hammond, S.: Cost of compliance 2014 (Thomson Reuters Accelus) (2014)"},{"key":"25_CR3","unstructured":"FRC: What constitutes an explanation under \u2018comply or explain\u2019? Report of discussions between companies and investors (February 2012)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"W Sadiq","year":"2007","unstructured":"Sadiq, W., Governatori, G., Namiri, K.: Modeling Control Objectives for Business Process Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal 46(2), 335\u2013362 (2007)","journal-title":"IBM Systems Journal"},{"key":"25_CR6","unstructured":"El Kharbili, M., Stein, S., Markovic, I., Pulverm\u00fcller, E.: Towards a framework for semantic business process compliance management. In: The Impact of Governance, Risk, and Compliance on Information Systems (GRCIS), June 17. CEUR Workshop Proceedings, vol. 339, Montpellier, France, pp. 1\u201315 (2008)"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-25109-2_7","volume-title":"On the Move to Meaningful Internet Systems: OTM 2011","author":"LT Ly","year":"2011","unstructured":"Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: Meersman, R. (ed.) OTM 2011, Part I. LNCS, vol. 7044, pp. 82\u201399. Springer, Heidelberg (2011)"},{"key":"25_CR8","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-02922-1_8","volume-title":"Asia Pacific Business Process Management","author":"M Hashmi","year":"2013","unstructured":"Hashmi, M., Governatori, G.: A methodological evaluation of business process compliance management frameworks. In: Song, M., Wynn, M.T., Liu, J. (eds.) AP-BPM 2013. LNBIP, vol. 159, pp. 106\u2013115. Springer, Heidelberg (2013)"},{"key":"25_CR9","unstructured":"Fellmann, M., Zasada, A.: State-of-the-art of business process compliance approaches. In: Avital, M., Leimeister, J.M., Schultze, U. (eds.) 22st European Conference on Information Systems, ECIS 2014, June 9\u201311, Tel Aviv, Israel (2014)"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-540-87881-0_31","volume-title":"Artificial Intelligence: Theories, Models and Applications","author":"A Bikakis","year":"2008","unstructured":"Bikakis, A., Papatheodorou, C., Antoniou, G.: The DR-Prolog tool suite for defeasible reasoning and proof explanation in the semantic web. In: Darzentas, J., Vouros, G.A., Vosinakis, S., Arnellos, A. (eds.) SETN 2008. LNCS (LNAI), vol. 5138, pp. 345\u2013351. Springer, Heidelberg (2008)"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-05148-7_4","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"A Awad","year":"2009","unstructured":"Awad, A., Smirnov, S., Weske, M.: Resolution of compliance violation in business process models: a planning-based approach. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009, Part I. LNCS, vol. 5870, pp. 6\u201323. Springer, Heidelberg (2009)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Boella, G., Janssen, M., Hulstijn, J., Humphreys, L., van der Torre, L.: Managing legal interpretation in regulatory compliance. In: Francesconi, E., Verheij, B. (eds.) International Conference on Artificial Intelligence and Law, ICAIL 2013, pp. 23\u201332. ACM. Rome (2013)","DOI":"10.1145\/2514601.2514605"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Becker, J., Delfmann, P., Eggert, M., Schwittay, S.: Generalizability and applicability of modelbased business process compliance-checking approaches \u2013 a state-of-the-art analysis and research roadmap. BuR \u2013 Business Research 5(2), 221\u2013247 (2012); Publication status: Published","DOI":"10.1007\/BF03342739"},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1016\/j.datak.2007.10.006","volume":"64","author":"G Antoniou","year":"2008","unstructured":"Antoniou, G., Bikakis, A., Dimaresis, N., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R., Zeginis, D.: Proof explanation for a nonmonotonic semantic web rules language. Data & Knowledge Engineering 64(3), 662\u2013687 (2008)","journal-title":"Data & Knowledge Engineering"},{"issue":"3","key":"25_CR15","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/j.knosys.2010.12.001","volume":"24","author":"E Kontopoulos","year":"2011","unstructured":"Kontopoulos, E., Bassiliades, N., Antoniou, G.: Visualizing semantic web proofs of defeasible logic in the DR-DEVICE system. Knowl.-Based Syst. 24(3), 406\u2013419 (2011)","journal-title":"Knowl.-Based Syst."},{"key":"25_CR16","volume-title":"PROLOG Programming for Artificial Intelligence","author":"I Bratko","year":"1990","unstructured":"Bratko, I.: PROLOG Programming for Artificial Intelligence, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (1990)","edition":"2"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BFb0019408","volume-title":"Automated and Algorithmic Debugging","author":"G Tobermann","year":"1993","unstructured":"Tobermann, G., Beckstein, C.: What\u2019s in a trace: The box model revisited. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 171\u2013187. Springer, Heidelberg (1993)"},{"key":"25_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-39013-5_14","volume-title":"Modelling Foundations and Applications","author":"D Kholkar","year":"2013","unstructured":"Kholkar, D., Yelure, P., Tiwari, H., Deshpande, A., Shetye, A.: Experience with industrial adoption of business process models for user acceptance testing. In: Van Gorp, P., Ritter, T., Rose, L.M. (eds.) ECMFA 2013. LNCS, vol. 7949, pp. 192\u2013206. Springer, Heidelberg (2013)"},{"issue":"2","key":"25_CR19","doi-asserted-by":"publisher","first-page":"4125","DOI":"10.1016\/j.eswa.2008.03.009","volume":"36","author":"G Antoniou","year":"2009","unstructured":"Antoniou, G., Dimaresis, N., Governatori, G.: A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst. Appl. 36(2), 4125\u20134134 (2009)","journal-title":"Expert Syst. Appl."},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/978-3-540-76928-6_62","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G Antoniou","year":"2007","unstructured":"Antoniou, G., Dimaresis, N., Governatori, G.: A System for modal and deontic defeasible reasoning. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 609\u2013613. Springer, Heidelberg (2007)"},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-32885-5_21","volume-title":"Business Process Management","author":"E Ramezani","year":"2012","unstructured":"Ramezani, E., Fahland, D., van der Aalst, W.M.P.: Where did i misbehave? diagnostic information in compliance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 262\u2013278. Springer, Heidelberg (2012)"},{"key":"25_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-642-10383-4_37","volume-title":"Service-Oriented Computing","author":"A Awad","year":"2009","unstructured":"Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data aware compliance rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 500\u2013515. Springer, Heidelberg (2009)"},{"key":"25_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-00328-8_2","volume-title":"Business Process Management Workshops","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance for business process models through semantic annotations. In: Ardagna, D., Mecella, M., Yang, J. (eds.) Business Process Management Workshops. LNBIP, vol. 17, pp. 5\u201317. Springer, Heidelberg (2009)"},{"key":"25_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-75975-1_4","volume-title":"Advances in Rule Interchange and Applications","author":"S Goedertier","year":"2007","unstructured":"Goedertier, S., Mues, C., Vanthienen, J.: Specifying process-aware access control rules in SBVR. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol. 4824, pp. 39\u201352. Springer, Heidelberg (2007)"},{"key":"25_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-16289-3_14","volume-title":"Semantic Web Rules","author":"A Kamada","year":"2010","unstructured":"Kamada, A., Governatori, G., Sadiq, S.: Transformation of SBVR compliant business rules to executable FCL rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 153\u2013161. Springer, Heidelberg (2010)"},{"key":"25_CR26","unstructured":"Abi-Lahoud, E., Butler, T., Chapin, D., Hall, J.: Interpreting regulations with SBVR. In: Fodor, P., Roman, D., Anicic, D., Wyner, A., Palmirani, M., Sottara, D., L\u00e9vy, F. (eds.) Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium. CEUR Workshop Proceedings, vol. 1004. CEUR-WS.org, Seattle (2013)"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Ghanavati, S., Amyot, D., Rifaut, A.: Legal goal-oriented requirement language (legal GRL) for modeling regulations. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering, MiSE 2014, pp. 1\u20136. ACM, New York (2014)","DOI":"10.1145\/2593770.2593780"},{"key":"25_CR28","unstructured":"OMG: Business Motivation Model - Version 1.2 (May 2014)"},{"key":"25_CR29","doi-asserted-by":"crossref","unstructured":"Sunkle, S., Kholkar, D., Rathod, H., Kulkarni, V.: Incorporating directives into enterprise TO-BE architecture. In: Grossmann, G., Hall\u00e9, S., Karastoyanova, D., Reichert, M., Rinderle-Ma, S. (eds.) 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOC Workshops 2014, September 1\u20132, Ulm, Germany, pp. 57\u201366. IEEE (2014)","DOI":"10.1109\/EDOCW.2014.17"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies: Foundations, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21542-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:49:37Z","timestamp":1676972977000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21542-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319215419","9783319215426"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21542-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}