{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T00:33:44Z","timestamp":1776386024034,"version":"3.51.2"},"reference-count":46,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T00:00:00Z","timestamp":1686182400000},"content-version":"vor","delay-in-days":2,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Automated compliance checking, i.e. the task of automatically assessing whether states of affairs comply with normative systems, has recently received a lot of attention from the scientific community, also as a consequence of the increasing investments in Artificial Intelligence technologies for the legal domain (LegalTech). The authors of this paper deem as crucial the research and implementation of compliance checkers that can directly process data in RDF format, as nowadays more and more (big) data in this format are becoming available worldwide, across a multitude of different domains. Among the automated technologies that have been used in recent literature, to the best of our knowledge, only two of them have been evaluated with input states of affairs encoded in RDF format. This paper formalizes a selected use case in these two technologies and compares the implementations, also in terms of simulations with respect to shared synthetic datasets.<\/jats:p>","DOI":"10.1093\/logcom\/exad034","type":"journal-article","created":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T06:03:29Z","timestamp":1686204209000},"page":"1753-1776","source":"Crossref","is-referenced-by-count":8,"title":["Efficient compliance checking of RDF data"],"prefix":"10.1093","volume":"33","author":[{"given":"Livio","family":"Robaldo","sequence":"first","affiliation":[{"name":"Legal Innovation Lab Wales, Swansea University , Singleton Park, Sketty, Swansea, SA28PP, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Pacenza","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria , Via Pietro Bucci, cubo 30B, Rende (CS), 87036, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria , Via Pietro Bucci, cubo 30B, Rende (CS), 87036, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberta","family":"Calegari","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna , Mura Anteo Zamboni 7, Bologna, 40126, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria , Via Pietro Bucci, cubo 30B, Rende (CS), 87036, Italy and DLVSystem SRL, Viale della Resistenza 19, Quattromiglia (CS), 87036, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Siragusa","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino , Corso Svizzera 185, Torino, 10149, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,6,6]]},"reference":[{"key":"2023121103255281300_ref1","first-page":"215","article-title":"The ASP system DLV2","volume-title":"LPNMR","author":"Alviano","year":"2017"},{"key":"2023121103255281300_ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-39617-5_4","article-title":"LegalRuleML: from Metamodel to use cases","volume-title":"Theory, Practice, and Applications of Rules on the Web","author":"Athan","year":"2013"},{"key":"2023121103255281300_ref4","volume-title":"LegalRuleML: Design Principles and Foundations","author":"Athan","year":"2015"},{"key":"2023121103255281300_ref5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s10506-020-09270-4","article-title":"Legal requirements on explainability in machine learning","volume":"29","author":"Bibal","year":"2021","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10506-016-9184-3","article-title":"Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law","volume":"24","author":"Boella","year":"2016","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref7","article-title":"NLP challenges for Eunomos a tool to build and manage legal knowledge","volume-title":"Proceedings of the Eighth International Conference on Language Resources and Evaluation, LREC 2012","author":"Boella","year":"2012"},{"key":"2023121103255281300_ref8","doi-asserted-by":"crossref","DOI":"10.1145\/2514601.2514635","article-title":"A system for classifying multi-label text into eurovoc","volume-title":"Proceedings of 14th International Conference for Artificial Intelligence and Law (ICAIL)","author":"Boella","year":"2013"},{"key":"2023121103255281300_ref9","doi-asserted-by":"crossref","first-page":"103389","DOI":"10.1016\/j.artint.2020.103389","article-title":"Real-time reasoning in OWL2 for GDPR compliance","volume":"289","author":"Bonatti","year":"2020","journal-title":"Artificial Intelligence"},{"key":"2023121103255281300_ref10","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1017\/S1471068419000450","article-title":"ASP-Core-2 input language format","volume":"20","author":"Calimeri","year":"2020","journal-title":"Theory and Practice of Logic Programming"},{"key":"2023121103255281300_ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-70169-1_13","article-title":"External computations and interoperability in the new DLV grounder","volume-title":"AI*IA","author":"Calimeri","year":"2017"},{"key":"2023121103255281300_ref12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","article-title":"Design and results of the fifth answer set programming competition","volume":"231","author":"Calimeri","year":"2016","journal-title":"Artificial Intelligence"},{"key":"2023121103255281300_ref13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-25010-6_27","article-title":"Introducing defeasibility into OWL ontologies","volume-title":"Proceedings of International Semantic Web Conference (ISWC)","author":"Casini","year":"2015"},{"key":"2023121103255281300_ref14","article-title":"Representing judicial argumentation in the semantic web","volume-title":"AI Approaches to the Complexity of Legal Systems (AICOL 2013)","author":"Ceci","year":"2013"},{"key":"2023121103255281300_ref15","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10506-018-9238-9","article-title":"Deep learning in law: early adaptation and legal word embeddings trained on large corpora","volume":"27","author":"Chalkidis","year":"2019","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref16","article-title":"Repairing SHACL constraint violations using answer set programming","volume-title":"Proceedings of the 21st International Semantic Web Conference (ISWC)","author":"David","year":"2022"},{"key":"2023121103255281300_ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-31095-0_3","article-title":"ODRL policy modelling and compliance checking","volume-title":"Rules and Reasoning\u2014Third International Joint Conference, RuleML+RR","author":"De Vos","year":"2019"},{"key":"2023121103255281300_ref18","article-title":"Patterns for legal compliance checking in a decidable framework of linked open data","author":"Francesconi","year":"2022","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref19","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Gabbay","year":"2013"},{"key":"2023121103255281300_ref20","article-title":"Normative requirements as linked data","volume-title":"Legal Knowledge and Information Systems","author":"Gandon","year":"2017"},{"key":"2023121103255281300_ref21","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","article-title":"HermiT: An OWL 2 reasoner","volume":"53","author":"Glimm","year":"2014","journal-title":"Journal of Automated Reasoning"},{"key":"2023121103255281300_ref22","article-title":"Combining rules and ontologies with Carneades","volume-title":"Proceedings of the 5th International RuleML2011@BRF Challenge","author":"Gordon","year":"2011"},{"key":"2023121103255281300_ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-85569-9_11","article-title":"Constructing legal arguments with rules in the legal knowledge interchange format (LKIF)","volume-title":"Computable Models of the Law","author":"Gordon","year":"2008"},{"key":"2023121103255281300_ref24","doi-asserted-by":"crossref","DOI":"10.1109\/EDOCW.2015.28","article-title":"The regorous approach to process compliance","volume-title":"19th IEEE International Enterprise Distributed Object Computing Workshop","author":"Governatori","year":"2015"},{"key":"2023121103255281300_ref25","article-title":"Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations","volume":"4","author":"Governatori","year":"2006","journal-title":"Australasian Journal of Logic"},{"key":"2023121103255281300_ref26","first-page":"815","article-title":"Time and compensation mechanisms in checking legal compliance","volume":"6","author":"Governatori","year":"2019","journal-title":"Journal of Applied Logics\u2014IfCoLog Journal"},{"key":"2023121103255281300_ref27","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10506-020-09271-3","article-title":"Populating legal ontologies using semantic role labeling","volume":"29","author":"Humphreys","year":"2021","journal-title":"Artificial Intelligence & Law"},{"key":"2023121103255281300_ref28","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/s10506-018-9218-0","article-title":"RuleRS: a rule-based architecture for decision support systems","volume":"26","author":"Islam","year":"2018","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-04985-9_29","article-title":"The making of SPINdle","volume-title":"Proceedings of International Symposium on Rule Interchange and Applications (RuleML 2009)","author":"Lam","year":"2009"},{"key":"2023121103255281300_ref30","first-page":"241","volume-title":"Enabling Reasoning with LegalRuleML","author":"Lam","year":"2016"},{"key":"2023121103255281300_ref31","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s10506-019-09252-1","article-title":"Taking stock of legal ontologies: a feature-based comparative analysis","volume":"28","author":"Leone","year":"2020","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref32","doi-asserted-by":"crossref","DOI":"10.1145\/3086512.3086527","article-title":"A unifying similarity measure for automated identification of national implementations of European union directives","volume-title":"Proceedings of the 16th International Conference on Artificial Intelligence and Law (ICAIL)","author":"Nanda","year":"2017"},{"key":"2023121103255281300_ref33","article-title":"An annotation language for semantic search of legal sources","volume-title":"Proceedings of 11th International Conference on Language Resources and Evaluation (LREC)","author":"Nazarenko","year":"2018"},{"key":"2023121103255281300_ref34","first-page":"101","article-title":"Modelling legal knowledge for GDPR compliance checking","volume-title":"Legal Knowledge and Information Systems\u2014JURIX","author":"Palmirani","year":"2018"},{"key":"2023121103255281300_ref35","article-title":"Exploring GDPR compliance over provenance graphs using SHACL","volume-title":"Proceedings of the Conference on Semantic Systems (SEMANTiCS 2018)","author":"Pandit","year":"2018"},{"key":"2023121103255281300_ref36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-62419-4_27","article-title":"SHACL satisfiability and containment","volume-title":"Proceedings of 19th International Semantic Web Conference (ISWC)","author":"Pareti","year":"2020"},{"key":"2023121103255281300_ref37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-30793-6_31","article-title":"SHACL constraints with inference rules","volume-title":"Proceedings of 18th International Semantic Web Conference (ISWC)","author":"Pareti","year":"2019"},{"key":"2023121103255281300_ref38","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-09870-8_1","article-title":"Reaction RuleML 1.0 for rules, events and actions in semantic complex event processing","volume-title":"Rules on the Web. From Theory to Applications","author":"Paschke","year":"2014"},{"key":"2023121103255281300_ref39","doi-asserted-by":"crossref","DOI":"10.1145\/3462757.3466065","article-title":"Towards compliance checking in reified I\/O logic via SHACL","volume-title":"Proceedings of 18th International Conference for Artificial Intelligence and Law (ICAIL)","author":"Robaldo","year":"2021"},{"key":"2023121103255281300_ref40","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10849-019-09309-z","article-title":"Formalizing GDPR provisions in reified I\/O logic: the DAPRECO knowledge base","volume":"29","author":"Robaldo","year":"2020","journal-title":"The Journal of Logic, Language, and Information"},{"key":"2023121103255281300_ref41","doi-asserted-by":"crossref","DOI":"10.1007\/s10506-023-09360-z","article-title":"Compliance checking on first-order knowledge with conflicting and compensatory norms\u2014a comparison among currently available technologies","volume-title":"Artificial Intelligence and Law","author":"Robaldo","year":"2023"},{"key":"2023121103255281300_ref42","doi-asserted-by":"crossref","first-page":"2471","DOI":"10.1093\/logcom\/exx009","article-title":"Reified input\/output logic: combining input\/output logic and reification to represent norms coming from existing legislation","volume":"27","author":"Robaldo","year":"2017","journal-title":"The Journal of Logic and Computation"},{"key":"2023121103255281300_ref43","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s10506-019-09251-2","article-title":"Introduction for artificial intelligence and law: special issue \u201dnatural language processing for legal texts\u201d","volume":"27","author":"Robaldo","year":"2019","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref44","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s10506-009-9079-7","article-title":"Legal concepts as inferential nodes and ontological categories","volume":"17","author":"Sartor","year":"2009","journal-title":"Artificial Intelligence and Law"},{"key":"2023121103255281300_ref45","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.jal.2017.03.002","article-title":"On the complexity of input\/output logic","volume":"25","author":"Sun","year":"2017","journal-title":"The Journal of Applied Logic"},{"key":"2023121103255281300_ref46","article-title":"Explainable artificial intelligence\u2014the new frontier in legal informatics","volume":"22","author":"Waltl","year":"2018","journal-title":"Jusletter IT"},{"key":"2023121103255281300_ref47","volume-title":"Manifesto Workshop \u201cExplainable and Responsible AI and Law\u201d","author":"XAILA","year":"2022"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/8\/1753\/54151473\/exad034.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/8\/1753\/54151473\/exad034.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T03:26:23Z","timestamp":1702265183000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/33\/8\/1753\/7190757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,6]]},"references-count":46,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2023,6,6]]},"published-print":{"date-parts":[[2023,12,11]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exad034","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,12]]},"published":{"date-parts":[[2023,6,6]]}}}