{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T22:30:44Z","timestamp":1772058644480,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319490038","type":"print"},{"value":"9783319490045","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-49004-5_48","type":"book-chapter","created":{"date-parts":[[2016,11,3]],"date-time":"2016-11-03T15:10:13Z","timestamp":1478185813000},"page":"746-761","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Semantic Business Process Regulatory Compliance Checking Using LegalRuleML"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mustafa","family":"Hashmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ho-Pun","family":"Lam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serena","family":"Villata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monica","family":"Palmirani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,4]]},"reference":[{"key":"48_CR1","first-page":"3","volume-title":"ICAIL 2013","author":"T Athan","year":"2013","unstructured":"Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: OASIS LegalRuleML. In: Francesconi, E., Verheij, B. (eds.) ICAIL 2013, pp. 3\u201312. ACM, New York (2013)"},{"key":"48_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-21768-0_6","volume-title":"Reasoning Web. Web Logic Rules","author":"T Athan","year":"2015","unstructured":"Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: design principles and foundations. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 151\u2013188. Springer, Heidelberg (2015)"},{"issue":"1","key":"48_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00118479","volume":"1","author":"T Bench-Capon","year":"1992","unstructured":"Bench-Capon, T., Coenen, F.P.: Isomorphism and legal knowledge based systems. Artif. Intell. Law 1(1), 65\u201386 (1992)","journal-title":"Artif. Intell. Law"},{"issue":"6","key":"48_CR4","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1109\/TSC.2014.2341236","volume":"8","author":"S Colombo Tosatto","year":"2015","unstructured":"Colombo Tosatto, S., Governatori, G., Kelsen, P.: Business process regulatory compliance is hard. IEEE Trans. Serv. Comput. 8(6), 958\u2013970 (2015)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"8","key":"48_CR5","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1002\/int.20431","volume":"25","author":"K Decreus","year":"2010","unstructured":"Decreus, K., Poels, G., El Kharbili, M., Pulverm\u00fcller, E.: Policy-enabled goal-oriented requirements engineering for semantic business process management. Int. J. Intell. Syst. 25(8), 784\u2013812 (2010)","journal-title":"Int. J. Intell. Syst."},{"key":"48_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Heidelberg (2013)"},{"issue":"1","key":"48_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218843012400023","volume":"21","author":"A Elgammal","year":"2012","unstructured":"Elgammal, A., T\u00fcretken, O., van den Heuvel, W.J.: Using patterns for the analysis and resolution of compliance violations. Int. J. Coop. Inf. Syst. 21(1), 31\u201354 (2012)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"48_CR8","unstructured":"Gangemi, A., Breuker, J.: Harmonizing legal ontologies. In: Deliverable 3,4 IST Project-2000-29243. Ontoweb (2002)"},{"key":"48_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-04985-9_26","volume-title":"Rule Interchange and Applications","author":"TF Gordon","year":"2009","unstructured":"Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: requirements for rule interchange languages in the legal domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 282\u2013296. Springer, Heidelberg (2009)"},{"issue":"2\u20133","key":"48_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2\u20133), 181\u2013216 (2005)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"48_CR11","doi-asserted-by":"crossref","unstructured":"Governatori, G.: The Regorous approach to process compliance. In: EDOC 2015 Workshop, pp. 33\u201340. IEEE (2015)","DOI":"10.1109\/EDOCW.2015.28"},{"key":"48_CR12","first-page":"9","volume-title":"EDOC 2015","author":"G Governatori","year":"2015","unstructured":"Governatori, G., Hashmi, M.: No time for compliance. In: Hall\u00e9, S., Mayer, W. (eds.) EDOC 2015, pp. 9\u201318. IEEE, Piscataway (2015)"},{"issue":"1","key":"48_CR13","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: norms, beliefs, intentions in defeasible logic. J. Auton. Agents Multi Agent Syst. 17(1), 36\u201369 (2008)","journal-title":"J. Auton. Agents Multi Agent Syst."},{"key":"48_CR14","first-page":"3","volume-title":"APCCM 2010","author":"G Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Link, S., Ghose, A. (eds.) APCCM 2010, pp. 3\u201312. ACS, Washington, D.C. (2010)"},{"key":"48_CR15","first-page":"426","volume-title":"Handbook of Research on BPM","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Sadiq, S.: The journey to business process compliance. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on BPM, pp. 426\u2013454. IGI Global, Hershey (2009)"},{"key":"48_CR16","doi-asserted-by":"crossref","unstructured":"Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: ICAIL 2013, pp. 245\u2013246 (2013)","DOI":"10.1145\/2514601.2514638"},{"key":"48_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-32689-9_4","volume-title":"Rules on the Web: Research and Applications","author":"M Hashmi","year":"2012","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Business process data compliance. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 32\u201346. Springer, Heidelberg (2012)"},{"issue":"3","key":"48_CR18","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10796-015-9558-1","volume":"18","author":"M Hashmi","year":"2016","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative requirements for regulatory compliance: an abstract formal framework. Inf. Syst. Front. 18(3), 429\u2013455 (2016)","journal-title":"Inf. Syst. Front."},{"key":"48_CR19","unstructured":"van Kralingen, R.: A conceptual frame-based ontology for the law. In: Proceedings of the 1st International Workshop on Legal Ontologies, pp. 6\u201317 (1997)"},{"key":"48_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-42019-6_16","volume-title":"Rule Technologies. Research, Tools, and Applications","author":"H-P Lam","year":"2016","unstructured":"Lam, H.-P., Hashmi, M., Scofield, B.: Enabling reasoning with LegalRuleML. In: Alferes, J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 241\u2013257. Springer, Heidelberg (2016). doi:10.1007\/978-3-319-42019-6_16"},{"issue":"2","key":"48_CR21","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10796-009-9185-9","volume":"14","author":"LT Ly","year":"2012","unstructured":"Ly, L.T., Rinderle-Ma, S., G\u00f6ser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems - requirements, challenges, solutions. Inf. Syst. Front. 14(2), 195\u2013219 (2012)","journal-title":"Inf. Syst. Front."},{"key":"48_CR22","first-page":"101","volume-title":"JURIX 2006","author":"R Rubino","year":"2006","unstructured":"Rubino, R., Rotolo, A., Sartor, G.: An OWL ontology of fundamental legal concepts. In: van Engers, T.M. (ed.) JURIX 2006, pp. 101\u2013110. IOS Press, Amsterdam (2006)"},{"key":"48_CR23","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)"},{"key":"48_CR24","volume-title":"The Construction of Social Reality","author":"J Searle","year":"1996","unstructured":"Searle, J.: The Construction of Social Reality. The Free Press, New York (1996)"},{"key":"48_CR25","first-page":"341","volume":"7","author":"A Valente","year":"1994","unstructured":"Valente, A., Breuker, J.: A functional ontology of law. Artif. Intell. Law 7, 341\u2013361 (1994)","journal-title":"Artif. Intell. Law"}],"container-title":["Lecture Notes in Computer Science","Knowledge Engineering and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49004-5_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:31:14Z","timestamp":1709821874000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49004-5_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319490038","9783319490045"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49004-5_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"4 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EKAW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Knowledge Acquisition Workshop","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bologna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 November 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ekaw2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ekaw2016.cs.unibo.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}