{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T20:57:32Z","timestamp":1765486652012,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Regional Development Fund through the Welsh Government"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,21]]},"DOI":"10.1145\/3462757.3466065","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T06:50:46Z","timestamp":1627455046000},"page":"215-219","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Towards compliance checking in reified I\/O logic via SHACL"],"prefix":"10.1145","author":[{"given":"Livio","family":"Robaldo","sequence":"first","affiliation":[{"name":"Swansea University, Swansea, Wales, UK"}]}],"member":"320","published-online":{"date-parts":[[2021,7,27]]},"reference":[{"key":"e_1_3_2_1_3_1","volume-title":"BNCAI (Communications in Computer and Information Science","volume":"62","author":"Bartolini Cesare","year":"2016","unstructured":"Cesare Bartolini , Andra Giurgiu , Gabriele Lenzini , and Livio Robaldo . 2016 . Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology . In BNCAI (Communications in Computer and Information Science , Vol. 765). Springer, 47-- 62 . Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, and Livio Robaldo. 2016. Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology. In BNCAI (Communications in Computer and Information Science, Vol. 765). Springer, 47--62."},{"volume-title":"Proceedings of the International Conference on Language Resources and Evaluation.","author":"Boella G.","key":"e_1_3_2_1_4_1","unstructured":"G. Boella , L. di Caro , L. Humphreys , L. Robaldo , and L. van der Torre. 2012. NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge . Proceedings of the International Conference on Language Resources and Evaluation. G. Boella, L. di Caro, L. Humphreys, L. Robaldo, and L. van der Torre. 2012. NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge. Proceedings of the International Conference on Language Resources and Evaluation."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2514601.2514635"},{"key":"e_1_3_2_1_6_1","volume-title":"Real-time reasoning in OWL2 for GDPR compliance. Artificial Intelligence 289","author":"Bonatti Piero A.","year":"2020","unstructured":"Piero A. Bonatti , Luca Ioffredo , Iliana M. Petrova , Luigi Sauro , and Ida Sri Rejeki Siahaan . 2020. Real-time reasoning in OWL2 for GDPR compliance. Artificial Intelligence 289 ( 2020 ). Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro, and Ida Sri Rejeki Siahaan. 2020. Real-time reasoning in OWL2 for GDPR compliance. Artificial Intelligence 289 (2020)."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings, Part I (Lecture Notes in Computer Science","volume":"336","author":"Corman Julien","year":"2018","unstructured":"Julien Corman , Juan L. Reutter , and Ognjen Savkovic . 2018 . Semantics and Validation of Recursive SHACL. In The Semantic Web - ISWC 2018 - 17th International Semantic Web Conference, Monterey, CA, USA, October 8--12, 2018 , Proceedings, Part I (Lecture Notes in Computer Science , Vol. 11136), Denny Vrandecic, Kalina Bontcheva, Mari Carmen Su\u00e1rez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aim\u00e9e Kaffee, and Elena Simperl (Eds.). Springer, 318-- 336 . Julien Corman, Juan L. Reutter, and Ognjen Savkovic. 2018. Semantics and Validation of Recursive SHACL. In The Semantic Web - ISWC 2018 - 17th International Semantic Web Conference, Monterey, CA, USA, October 8--12, 2018, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 11136), Denny Vrandecic, Kalina Bontcheva, Mari Carmen Su\u00e1rez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aim\u00e9e Kaffee, and Elena Simperl (Eds.). Springer, 318--336."},{"key":"e_1_3_2_1_8_1","volume-title":"Towards Generating Policy-Compliant Datasets. In 13th IEEE International Conference on Semantic Computing, ICSC 2019","author":"Debruyne Christophe","year":"2019","unstructured":"Christophe Debruyne , Harshvardhan J. Pandit , Dave Lewis , and Declan O'Sullivan . 2019 . Towards Generating Policy-Compliant Datasets. In 13th IEEE International Conference on Semantic Computing, ICSC 2019 , Newport Beach, CA, USA, January 30 - February 1, 2019. IEEE, 199--203. Christophe Debruyne, Harshvardhan J. Pandit, Dave Lewis, and Declan O'Sullivan. 2019. Towards Generating Policy-Compliant Datasets. In 13th IEEE International Conference on Semantic Computing, ICSC 2019, Newport Beach, CA, USA, January 30 - February 1, 2019. IEEE, 199--203."},{"key":"e_1_3_2_1_9_1","volume-title":"Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference","author":"Francesconi Enrico","year":"2019","unstructured":"Enrico Francesconi and Guido Governatori . 2019. Legal Compliance in a Linked Open Data Framework . In Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference , Madrid, Spain , December 11--13, 2019 (Frontiers in Artificial Intelligence and Applications , Vol. 322), Michal Araszkiewicz and V\u00edctor Rodr\u00edguez-Doncel (Eds.). IOS Press, 175-- 180 . Enrico Francesconi and Guido Governatori. 2019. Legal Compliance in a Linked Open Data Framework. In Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference, Madrid, Spain, December 11--13, 2019 (Frontiers in Artificial Intelligence and Applications, Vol. 322), Michal Araszkiewicz and V\u00edctor Rodr\u00edguez-Doncel (Eds.). IOS Press, 175--180."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9295-1"},{"volume-title":"David Makinson on Classical Methods for Non-Classical Problems","author":"Hansen J\u00f6rg","key":"e_1_3_2_1_11_1","unstructured":"J\u00f6rg Hansen . 2014. Reasoning about permission and obligation . In David Makinson on Classical Methods for Non-Classical Problems , S. O. Hansson (Ed.). Outstanding Contributions to Logic Volume 3, Springer , 287--333. J\u00f6rg Hansen. 2014. Reasoning about permission and obligation. In David Makinson on Classical Methods for Non-Classical Problems, S. O. Hansson (Ed.). Outstanding Contributions to Logic Volume 3, Springer, 287--333."},{"key":"e_1_3_2_1_12_1","unstructured":"J.R. Hobbs and A.S. Gordon. 2017. A formal theory of commonsense psychology how people think people think. Cambridge University Press.  J.R. Hobbs and A.S. Gordon. 2017. A formal theory of commonsense psychology how people think people think. Cambridge University Press."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1787578.1787598"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44638-3_10"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1017599526096"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004748624537"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3086512.3086527"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 18th European Conference on Digital Government (ECEG).","author":"Palmirani Monica","year":"2018","unstructured":"Monica Palmirani , Michele Martoni , Arianna Rossi , Cesare Bartolini , and Livio Robaldo . 2018 . PrOnto: Privacy Ontology for Legal Compliance . In Proceedings of the 18th European Conference on Digital Government (ECEG). Monica Palmirani, Michele Martoni, Arianna Rossi, Cesare Bartolini, and Livio Robaldo. 2018. PrOnto: Privacy Ontology for Legal Compliance. In Proceedings of the 18th European Conference on Digital Government (ECEG)."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. of the Posters and Demos Track of the 14th International Conference on Semantic Systems co-located with the 14th International Conference on Semantic Systems (SEMANTiCS","author":"Pandit Harshvardhan Jitendra","year":"2018","unstructured":"Harshvardhan Jitendra Pandit , Declan O'Sullivan , and Dave Lewis . 2018. Exploring GDPR Compliance Over Provenance Graphs Using SHACL . In Proc. of the Posters and Demos Track of the 14th International Conference on Semantic Systems co-located with the 14th International Conference on Semantic Systems (SEMANTiCS 2018 ), Vienna, Austria, September 10--13, 2018 (CEUR Workshop Proceedings , Vol. 2198), Ali Khalili and Maria Koutraki (Eds.). Harshvardhan Jitendra Pandit, Declan O'Sullivan, and Dave Lewis. 2018. Exploring GDPR Compliance Over Provenance Graphs Using SHACL. In Proc. of the Posters and Demos Track of the 14th International Conference on Semantic Systems co-located with the 14th International Conference on Semantic Systems (SEMANTiCS 2018), Vienna, Austria, September 10--13, 2018 (CEUR Workshop Proceedings, Vol. 2198), Ali Khalili and Maria Koutraki (Eds.)."},{"volume-title":"Semantic Systems. The Power of AI and Knowledge Graphs, Maribel Acosta, Philippe Cudr\u00e9-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, and York Sure-Vetter (Eds.)","author":"Pandit Harshvardhan J.","key":"e_1_3_2_1_21_1","unstructured":"Harshvardhan J. Pandit , Declan O'Sullivan , and Dave Lewis . 2019. Test-Driven Approach Towards GDPR Compliance . In Semantic Systems. The Power of AI and Knowledge Graphs, Maribel Acosta, Philippe Cudr\u00e9-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, and York Sure-Vetter (Eds.) . Springer International Publishing , 19--33. Harshvardhan J. Pandit, Declan O'Sullivan, and Dave Lewis. 2019. Test-Driven Approach Towards GDPR Compliance. In Semantic Systems. The Power of AI and Knowledge Graphs, Maribel Acosta, Philippe Cudr\u00e9-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, and York Sure-Vetter (Eds.). Springer International Publishing, 19--33."},{"key":"e_1_3_2_1_22_1","volume-title":"Aggregative Deontic Detachment for Normative Reasoning. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014","author":"Parent Xavier","year":"2014","unstructured":"Xavier Parent and Leon van der Torre. 2014 . Aggregative Deontic Detachment for Normative Reasoning. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014 , Vienna, Austria, July 20--24 , 2014 . Xavier Parent and Leon van der Torre. 2014. Aggregative Deontic Detachment for Normative Reasoning. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20--24, 2014."},{"volume-title":"Deontic Logic and Normative Systems","author":"Parent Xavier","key":"e_1_3_2_1_23_1","unstructured":"Xavier Parent and Leendert van der Torre . 2014. \" Sing and Dance!\". In Deontic Logic and Normative Systems , Fabrizio Cariani, Davide Grossi, Joke Meheus, and Xavier Parent (Eds.). Springer International Publishing , 149--165. Xavier Parent and Leendert van der Torre. 2014. \"Sing and Dance!\". In Deontic Logic and Normative Systems, Fabrizio Cariani, Davide Grossi, Joke Meheus, and Xavier Parent (Eds.). Springer International Publishing, 149--165."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings, Part I (Lecture Notes in Computer Science","volume":"493","author":"Pareti Paolo","unstructured":"Paolo Pareti , George Konstantinidis , Fabio Mogavero , and Timothy J. Norman . 2020. SHACL Satisfiability and Containment. In The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference, Athens, Greece, November 2--6, 2020 , Proceedings, Part I (Lecture Notes in Computer Science , Vol. 12506), Jeff Z. Pan, Valentina A. M. Tamma, Claudia d'Amato, Krzysztof Janowicz, Bo Fu, Axel Polleres, Oshani Seneviratne, and Lalana Kagal (Eds.). Springer, 474-- 493 . Paolo Pareti, George Konstantinidis, Fabio Mogavero, and Timothy J. Norman. 2020. SHACL Satisfiability and Containment. In The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference, Athens, Greece, November 2--6, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 12506), Jeff Z. Pan, Valentina A. M. Tamma, Claudia d'Amato, Krzysztof Janowicz, Bo Fu, Axel Polleres, Oshani Seneviratne, and Lalana Kagal (Eds.). Springer, 474--493."},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings, Part I (Lecture Notes in Computer Science","volume":"557","author":"Pareti Paolo","year":"2019","unstructured":"Paolo Pareti , George Konstantinidis , Timothy J. Norman , and Murat Sensoy . 2019 . SHACL Constraints with Inference Rules. In The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26--30, 2019 , Proceedings, Part I (Lecture Notes in Computer Science , Vol. 11778), Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Sv\u00e1tek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefran\u00e7ois, and Fabien Gandon (Eds.). Springer, 539-- 557 . Paolo Pareti, George Konstantinidis, Timothy J. Norman, and Murat Sensoy. 2019. SHACL Constraints with Inference Rules. In The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26--30, 2019, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 11778), Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Sv\u00e1tek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefran\u00e7ois, and Fabien Gandon (Eds.). Springer, 539--557."},{"key":"e_1_3_2_1_26_1","volume-title":"Independent Set readings and Generalized Quantifiers. The Journal of Philosophical Logic 39(1)","author":"Robaldo L.","year":"2010","unstructured":"L. Robaldo . 2010. Independent Set readings and Generalized Quantifiers. The Journal of Philosophical Logic 39(1) ( 2010 ), 23--58. L. Robaldo. 2010. Independent Set readings and Generalized Quantifiers. The Journal of Philosophical Logic 39(1) (2010), 23--58."},{"key":"e_1_3_2_1_27_1","volume-title":"The Journal of Logic, Language, and Information 20(2)","author":"Robaldo L.","year":"2011","unstructured":"L. Robaldo . 2011. Distributivity, Collectivity, and Cumulativity in terms of (In)dependence and Maximality . The Journal of Logic, Language, and Information 20(2) ( 2011 ), 233--271. L. Robaldo. 2011. Distributivity, Collectivity, and Cumulativity in terms of (In)dependence and Maximality. The Journal of Logic, Language, and Information 20(2) (2011), 233--271."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"L. Robaldo C. Bartolini M. Palmirani A. Rossi M. Martoni and G. Lenzini. 2020. Formalizing GDPR provisions in reified I\/O logic: the DAPRECO knowledge base. The Journal of Logic Language and Information 29 (2020). Issue 4.  L. Robaldo C. Bartolini M. Palmirani A. Rossi M. Martoni and G. Lenzini. 2020. Formalizing GDPR provisions in reified I\/O logic: the DAPRECO knowledge base. The Journal of Logic Language and Information 29 (2020). Issue 4.","DOI":"10.1007\/s10849-019-09309-z"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"L. Robaldo and X. Sun. 2017. Reified Input\/Output logic: Combining Input\/Output logic and Reification to represent norms coming from existing legislation. The Journal of Logic and Computation 7 (2017). Issue 8.  L. Robaldo and X. Sun. 2017. Reified Input\/Output logic: Combining Input\/Output logic and Reification to represent norms coming from existing legislation. The Journal of Logic and Computation 7 (2017). Issue 8.","DOI":"10.1093\/logcom\/exx009"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2017.03.002"}],"event":{"name":"ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"S\u00e3o Paulo Brazil","acronym":"ICAIL '21"},"container-title":["Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466065","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462757.3466065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:31Z","timestamp":1750195711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,21]]},"references-count":28,"alternative-id":["10.1145\/3462757.3466065","10.1145\/3462757"],"URL":"https:\/\/doi.org\/10.1145\/3462757.3466065","relation":{},"subject":[],"published":{"date-parts":[[2021,6,21]]},"assertion":[{"value":"2021-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}