{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:23:31Z","timestamp":1768353811056,"version":"3.49.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents an approach for legal compliance checking in the Semantic Web which can be effectively applied for applications in the Linked Open Data environment. It is based on modeling deontic norms in terms of ontology classes and ontology property restrictions. It is also shown how this approach can handle norm defeasibility. Such methodology is implemented by decidable fragments of OWL 2, while legal reasoning is carried out by available decidable reasoners. The approach is generalised by presenting patterns for modeling deontic norms and norms compliance checking.<\/jats:p>","DOI":"10.1007\/s10506-022-09317-8","type":"journal-article","created":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T18:02:46Z","timestamp":1656957766000},"page":"445-464","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Patterns for legal compliance checking in a decidable framework of linked open data"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8397-5820","authenticated-orcid":false,"given":"Enrico","family":"Francesconi","sequence":"first","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,4]]},"reference":[{"key":"9317_CR1","unstructured":"Agnoloni T, Bacci L, Francesconi E, Spinosa P, Tiscornia D, Montemagni S, Venturi G (2007) Building an ontological support for multilingual legislative drafting. In: Proceedings of the Jurix conference, pp 9\u201318"},{"key":"9317_CR2","doi-asserted-by":"publisher","unstructured":"Athan T, Governatori G, Palmirani M, Paschke A, Wyner A (2015) LegalRuleML: Design principles and foundations. In: The 11th reasoning web summer school. https:\/\/doi.org\/10.1007\/978-3-319-21768-0_6","DOI":"10.1007\/978-3-319-21768-0_6"},{"key":"9317_CR3","doi-asserted-by":"publisher","unstructured":"Batsakis S, Baryannis G, Governatori G, Ilias T, Antoniou G (2018) Legal representation and reasoning in practice: A critical comparison. In: Palmirani M (ed) Legal knowledge and information systems, vol 313. Frontiers in artificial intelligence and applications. IOS Press, Amsterdam, pp 31\u201340. https:\/\/doi.org\/10.3233\/978-1-61499-935-5-31","DOI":"10.3233\/978-1-61499-935-5-31"},{"key":"9317_CR4","doi-asserted-by":"publisher","unstructured":"Bhuiyan H, Governatori G, Bond A, Demmel S, Islam MB, Rakotonirainy A (2020) Traffic rules encoding using defeasible deontic logic. In: Villata S (ed) JURIX 2020: the 33rd international conference on legal knowledge and information systems. Frontiers in artificial intelligence and applications, vol. 334, pp 3\u201312. IOS Press, Amsterdam. https:\/\/doi.org\/10.3233\/FAIA200844","DOI":"10.3233\/FAIA200844"},{"key":"9317_CR5","unstructured":"Biagioli C (2009) Modelli Funzionali delle Leggi. Verso testi legislativi autoesplicativi. Legal information and communications technologies series, vol\u00a06. European Press Academic Publishing, Florence"},{"key":"9317_CR6","unstructured":"Breuker J (2004) Constructing a legal core ontology: Lri-core. In: Proceedings of the workshop on ontologies and their applications. Porto Alegre, Brazil"},{"key":"9317_CR7","unstructured":"Casellas N (2008) Modelling legal knowledge through ontologies. OPJK: the ontology of professional judicial knowledge. PhD thesis, Institute of Law and Technology, Autonomous University of Barcelona, Barcelona"},{"issue":"3","key":"9317_CR8","first-page":"229","volume":"7","author":"M Ceci","year":"2016","unstructured":"Ceci M, Gangemi A (2016) An owl ontology library representing judicial interpretations. Semant Web J 7(3):229\u2013253","journal-title":"Semantic Web Journal - Special Issue on Semantic Web for the Legal Domain"},{"key":"9317_CR9","doi-asserted-by":"crossref","unstructured":"Ceci M (2013) Representing judicial argumentation in the semantic web. In: Casanovas P, Pagallo U, Palmirani M, Sartor G (eds) Proceedings of the Vth workshop on artificial intelligence and the complexity of legal systems (AICOL). Springer, Berlin, pp 172\u2013187","DOI":"10.1007\/978-3-662-45960-7_13"},{"key":"9317_CR44","unstructured":"de Ven SV, Breuker J, Hoekstra R, Wortel L (2008) Automated legal assessment in OWL 2. In: Francesconi E, Sartor G, Tiscornia D (eds) Legal knowledge and information systems\u2014proceeding of the JURIX conference. Frontiers in artificial intelligence and applications, vol 189. IOS Press, Amsterdam, pp 170\u2013175"},{"issue":"3","key":"9317_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s10506-014-9158-2","volume":"22","author":"E Francesconi","year":"2014","unstructured":"Francesconi E (2014) A description logic framework for advanced accessing and reasoning over normative provisions. Int J Artif Intell Law 22(3):291\u2013311","journal-title":"International Journal on Artificial Intelligence and Law"},{"issue":"3","key":"9317_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.3233\/SW-140150","volume":"7","author":"E Francesconi","year":"2016","unstructured":"Francesconi E (2016) Semantic model for legal resources: Annotation and reasoning over normative provisions. Semant Web J 7(3):255\u2013265","journal-title":"Semantic Web journal: Special Issue on Semantic Web for the legal domain"},{"key":"9317_CR12","unstructured":"Francesconi E (2019) Reasoning with deontic notions in a decidable framework. In: Peruginelli G, Faro S (eds) Knowledge of the law in the Big Data age. Frontiers in artificial intelligence and applications, vol 317. IOS Press, Amsterdam, pp 63\u201377"},{"key":"9317_CR13","unstructured":"Francesconi E, Governatori G (2019) Legal compliance in a linked open data framework. In: Legal knowledge and information systems. IOS Press, Amsterdam, pp 175\u2013180"},{"issue":"4","key":"9317_CR14","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s10506-021-09283-7","volume":"29","author":"W Fungwacharakorn","year":"2021","unstructured":"Fungwacharakorn W, Tsushima K, Satoh K (2021) Resolving counterintuitive consequences in law using legal debugging. Artif Intell Law 29(4):541\u2013557. https:\/\/doi.org\/10.1007\/s10506-021-09283-7","journal-title":"Artif. Intell. Law"},{"key":"9317_CR15","volume-title":"Handbook of Deontic Logic and Normative Systems","year":"2013","unstructured":"Gabbay D, Horty J, Parent X, van der Mayden R, van der Torre L (eds) (2013) Handbook of deontic logic and normative systems. College Publications, London"},{"key":"9317_CR16","first-page":"1","volume-title":"Legal Knowledge and Information Systems - Proceeding of the JURIX Conference","author":"F Gandon","year":"2017","unstructured":"Gandon F, Governatori G, Villata S (2017) Normative requirements as linked data. In: Wyner A, Casini G (eds) Legal knowledge and information systems\u2014proceeding of the JURIX conference, vol 302. IOS Press, Amsterdam, pp 1\u201310"},{"key":"9317_CR17","doi-asserted-by":"crossref","unstructured":"Gangemi A, Sagri M, Tiscornia D (2005) A constructive framework for legal ontologies. In: Benjamins C, Breuker G (eds) Law and the semantic web. Springer, Berlin","DOI":"10.1007\/978-3-540-32253-5_7"},{"key":"9317_CR18","unstructured":"Gordon T (2011) Combining rules and ontologies with carneades. In: Proceedings of the 5th international RuleML2011@BRF challenge, vol 799. CEUR-WS.org"},{"issue":"6","key":"9317_CR19","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"42","author":"G Governatori","year":"2013","unstructured":"Governatori G, Olivieri F, Rotolo A, Scannapieco S (2013) Computing strong and weak permissions in defeasible logic. J Philos Logic 42(6):799\u2013829. https:\/\/doi.org\/10.1007\/s10992-013-9295-1","journal-title":"Journal of Philosophical Logic"},{"key":"9317_CR20","doi-asserted-by":"publisher","unstructured":"Governatori G, Casanovas P, de\u00a0Koker L (2020) On the formal representation of the australian spent conviction scheme. In: Guti\u00e9rrez\u00a0Basulto V, Kliegr T, Soylu A, Giese M, Roman D (eds) Rules and reasoning. LNCS, vol 12173. Springer, Cham, pp 177\u2013185. https:\/\/doi.org\/10.1007\/978-3-030-57977-7_14","DOI":"10.1007\/978-3-030-57977-7_14"},{"key":"9317_CR21","doi-asserted-by":"crossref","unstructured":"Governatori G, Hashmi M, Lam H, Villata S, Palmirani M (2016) Semantic business process regulatory compliance checking using legalruleml. In: Blomqvist E, Ciancarini P, Poggi F, Vitali F (eds) Knowledge engineering and knowledge management. LNAI, vol 10024. Springer, Cham, pp 746\u2013761","DOI":"10.1007\/978-3-319-49004-5_48"},{"key":"9317_CR22","volume-title":"Le Fonti del Diritto. Fondamenti teorici","author":"R Guastini","year":"2010","unstructured":"Guastini R (2010) Le Fonti del Diritto. Fondamenti teorici. Giuffr\u00e8, Milano"},{"issue":"3","key":"9317_CR23","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10506-017-9215-8","volume":"26","author":"M Hashmi","year":"2018","unstructured":"Hashmi M, Governatori G (2018) Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation. Artif Intell Law 26(3):251\u2013305. https:\/\/doi.org\/10.1007\/s10506-017-9215-8","journal-title":"Artificial Intelligence and Law"},{"key":"9317_CR24","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 MT (2016) Normative requirements for regulatory compliance: an abstract formal framework. Inf Syst Front 18:429\u2013455","journal-title":"Information Systems Frontiers"},{"key":"9317_CR25","unstructured":"Hoekstra R, Breuker J, di Bello M, Boer A (2009) Lkif core: Principled ontology development for the legal domain. In: Breuker J, Casanovas P, Klein M, Francesconi E (eds) Law, ontologies and the semantic web. Frontiers in artificial intelligence and applications, vol 188. IOS Press, Amsterdam, pp 21\u201352"},{"key":"9317_CR26","unstructured":"Hoekstra R, Breuker J, Bello MD, Boer A (2007) The lkif core ontology of basic legal concepts. In: Casanovas P, Biasiotti M, Francesconi E, Sagri M (eds) Proceedings of the workshop on legal ontologies and artificial intelligence techniques. CEUR workshop proceedings, pp 43\u201363. http:\/\/CEUR-WS.org\/Vol-321"},{"issue":"4","key":"9317_CR27","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10506-018-9218-0","volume":"26","author":"MB Islam","year":"2018","unstructured":"Islam MB, Governatori G (2018) RuleRS: A rule-based architecture for decision support systems. Artif Intell Law 26(4):315\u2013344. https:\/\/doi.org\/10.1007\/s10506-018-9218-0","journal-title":"Artificial Intelligence and Law"},{"key":"9317_CR28","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198252177.001.0001","volume-title":"General Theory of Norms","author":"H Kelsen","year":"1991","unstructured":"Kelsen H (1991) General theory of norms. Clarendon Press, Oxford"},{"issue":"1","key":"9317_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068418000339","volume":"19","author":"HP Lam","year":"2019","unstructured":"Lam HP, Hashmi M (2019) Enabling reasoning with legalruleml. Theory Pract Log Program 19(1):1\u201326. https:\/\/doi.org\/10.1017\/S1471068418000339","journal-title":"Theory Pract. Log. Program."},{"key":"9317_CR30","doi-asserted-by":"publisher","unstructured":"Lam HP, Governatori G (2009) The making of SPINdle. In: Governatori G, Hall J, Paschke A (eds) International symposium on rule interchange and applications. LNCS, vol 5858. Springer, Heidelberg, pp 315\u2013322. https:\/\/doi.org\/10.1007\/978-3-642-04985-9_29","DOI":"10.1007\/978-3-642-04985-9_29"},{"key":"9317_CR31","doi-asserted-by":"crossref","unstructured":"Marmor A (2014) The language of law. Oxford University Press, Oxford","DOI":"10.1093\/acprof:oso\/9780198714538.001.0001"},{"key":"9317_CR32","unstructured":"OASIS (2017) LegalRuleML core specification version 1.0. http:\/\/docs.oasis-open.org\/legalruleml\/legalruleml-core-spec\/v1.0\/csprd02\/legalruleml-core-spec-v1.0-csprd02.html"},{"key":"9317_CR33","doi-asserted-by":"publisher","unstructured":"Palmirani M, Governatori G (2018) Legal knowledge modelling for gdpr compliance checking. In: Palmirani M (ed) Legal knowledge and information systems. Frontiers in artificial intelligence and applications, vol 313. IOS Press, Amsterdam, pp 101\u2013110. https:\/\/doi.org\/10.3233\/978-1-61499-935-5-101","DOI":"10.3233\/978-1-61499-935-5-101"},{"key":"9317_CR34","doi-asserted-by":"crossref","unstructured":"Palmirani M, Martoni M, Rossi A, Bartolini C, Robaldo L (2018) Pronto: privacy ontology for legal reasoning. In: K\u0151 A, Francesconi E (eds) Electronic government and the information systems perspective (EGOVIS 2018). Lecture notes in computer science, vol 11032. Springer, Cham, pp 139\u2013152","DOI":"10.1007\/978-3-319-98349-3_11"},{"key":"9317_CR35","unstructured":"Pino G (2016) Teoria analitica del diritto. Norma giuridica. ETS. Giappichelli, Turin, pp 144\u2013183"},{"key":"9317_CR36","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (2015) Law and logic: a review from an argumentation perspective. Artif Intell 227:214\u2013245","DOI":"10.1016\/j.artint.2015.06.005"},{"key":"9317_CR37","doi-asserted-by":"crossref","unstructured":"Ramezani E, Fahland D, van Dongen B, van der Aalst W (2013) Diagnostic information for compliance checking of temporal compliance requirements. In: Salinesi C, Norrie M, Pastor O (eds) Proceedings of the 25th international conference (CAiSE 2013). Lecture notes in computer science, vol 7908. Information Systems WSK & Process Science, pp 304\u2013320","DOI":"10.1007\/978-3-642-38709-8_20"},{"key":"9317_CR38","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198253631.001.0001","volume-title":"The Concept of a Legal System","author":"J Raz","year":"1980","unstructured":"Raz J (1980) The concept of a legal system. Oxford University Press, Oxford"},{"key":"9317_CR39","doi-asserted-by":"publisher","unstructured":"Robaldo L (2021) Towards compliance checking in reified I\/O logic via SHACL. In: Maranh\u00e3o J, Wyner AZ (eds) ICAIL \u201921: 18th international conference for artificial intelligence and law, S\u00e3o Paulo Brazil, 21\u201325 June 2021. ACM, New York, pp 215\u2013219. https:\/\/doi.org\/10.1145\/3462757.3466065","DOI":"10.1145\/3462757.3466065"},{"issue":"1\u20132","key":"9317_CR40","first-page":"101","volume":"14","author":"G Sartor","year":"2006","unstructured":"Sartor G (2006) Fundamental legal concepts: a formal and teleological characterisation. Artif Intell Law 14(1\u20132):101\u2013142","journal-title":"Artificial Intelligence and Law"},{"key":"9317_CR41","doi-asserted-by":"publisher","unstructured":"Satoh K, Kubota M, Nishigai Y, Takano C (2009) Translating the japanese presupposed ultimate fact theory into logic programming. In: Governatori G (ed) Legal knowledge and information systems\u2014JURIX 2009: The 22nd annual conference on Legal knowledge and information systems, Rotterdam, The Netherlands, 16\u201318 December 2009. Frontiers in artificial intelligence and applications, vol 205. IOS Press, Amsterdam, pp 162\u2013171. https:\/\/doi.org\/10.3233\/978-1-60750-082-7-162","DOI":"10.3233\/978-1-60750-082-7-162"},{"key":"9317_CR42","doi-asserted-by":"crossref","unstructured":"Searle J (1969) Speech acts: an essay in the philosophy of language. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9781139173438"},{"key":"9317_CR45","doi-asserted-by":"publisher","unstructured":"van Hee K, Hidders J, Houben GJ, Paredaens J, Thiran P (2010) On-the-fly auditing of business processes. Springer, Berlin, pp 144\u2013173. https:\/\/doi.org\/10.1007\/978-3-642-18222-8_7","DOI":"10.1007\/978-3-642-18222-8_7"},{"key":"9317_CR43","doi-asserted-by":"publisher","unstructured":"Witt A, Huggings A, Governatori G, Buckley J (2021) Converting copyright legislation into machine-executablecode: interpretation, coding validation and legal alignment. In: Wyner A (ed) Proceedings of ICAIL 2021. ACM, New York, pp 139\u2013148. https:\/\/doi.org\/10.1145\/3462757.3466083","DOI":"10.1145\/3462757.3466083"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-022-09317-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10506-022-09317-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-022-09317-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,28]],"date-time":"2024-09-28T12:30:35Z","timestamp":1727526635000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10506-022-09317-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["9317"],"URL":"https:\/\/doi.org\/10.1007\/s10506-022-09317-8","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"4 June 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}