{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:52Z","timestamp":1742913892600,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031605109"},{"type":"electronic","value":"9783031605116"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-60511-6_1","type":"book-chapter","created":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T18:02:52Z","timestamp":1717437772000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Compliance Checking in\u00a0the\u00a0Energy Domain via\u00a0W3C Standards"],"prefix":"10.1007","author":[{"given":"Joseph K.","family":"Anim","sequence":"first","affiliation":[]},{"given":"Livio","family":"Robaldo","sequence":"additional","affiliation":[]},{"given":"Adam","family":"Wyner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,4]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Ahmetaj, S., David, R., Ortiz, M., Polleres, A., Shehu, B., \u0160imkus, M.: Reasoning about explanations for non-validation in SHACL. In: Proceedings of 18th International Conference on Principles of Knowledge Representation and Reasoning (2021)","DOI":"10.24963\/kr.2021\/2"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2017","unstructured":"Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215\u2013221. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-39617-5_4","volume-title":"Theory, Practice, and Applications of Rules on the Web","author":"T Athan","year":"2013","unstructured":"Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: from metamodel to use cases. In: Morgenstern, L., Stefaneas, P., L\u00e9vy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 13\u201318. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39617-5_4"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10506-016-9184-3","volume":"24","author":"G Boella","year":"2016","unstructured":"Boella, G., Caro, L.D., Humphreys, L., Robaldo, L., Rossi, P., van der Torre, L.: Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law. Artif. Intell. Law 24(3), 245\u2013283 (2016)","journal-title":"Artif. Intell. Law"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Boella, G., Caro, L.D., Rispoli, D., Robaldo, L.: A system for classifying multi-label text into EuroVoc. In: Proceedings of the International Conference on Artificial Intelligence and Law (ICAIL). ACM (2013)","DOI":"10.1145\/2514601.2514635"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103389","volume":"289","author":"PA Bonatti","year":"2020","unstructured":"Bonatti, P.A., Ioffredo, L., Petrova, I.M., Sauro, L., Siahaan, I.S.R.: Real-time reasoning in OWL2 for GDPR compliance. Artif. Intell. 289, 103389 (2020)","journal-title":"Artif. Intell."},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-662-45960-7_13","volume-title":"AI Approaches to the Complexity of Legal Systems","author":"M Ceci","year":"2014","unstructured":"Ceci, M.: Representing judicial argumentation in the semantic web. In: Casanovas, P., Pagallo, U., Palmirani, M., Sartor, G. (eds.) AICOL -2013. LNCS (LNAI), vol. 8929, pp. 172\u2013187. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45960-7_13"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-030-31095-0_3","volume-title":"Rules and Reasoning","author":"M De Vos","year":"2019","unstructured":"De Vos, M., Kirrane, S., Padget, J., Satoh, K.: ODRL policy modelling and compliance checking. In: Fodor, P., Montali, M., Calvanese, D., Roman, D. (eds.) RuleML+RR 2019. LNCS, vol. 11784, pp. 36\u201351. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31095-0_3"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.3233\/SW-2011-0034","volume":"2","author":"K Dentler","year":"2011","unstructured":"Dentler, K., Cornet, R., ten Teije, A., de Keizer, N.: Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semant. Web 2(2), 71\u201387 (2011)","journal-title":"Semant. Web"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/s10506-022-09317-8","volume":"31","author":"E Francesconi","year":"2022","unstructured":"Francesconi, E., Governatori, G.: Patterns for legal compliance checking in a decidable framework of linked open data. Artif. Intell. Law 31(3), 445\u2013464 (2022)","journal-title":"Artif. Intell. Law"},{"key":"1_CR11","unstructured":"Gandon, F., Governatori, G., Villata, S.: Normative requirements as linked data. In: Wyner, A.Z., Casini, G. (eds.) Legal Knowledge and Information Systems, vol. 302. IOS Press (2017)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-85569-9_11","volume-title":"Computable Models of the Law","author":"TF Gordon","year":"2008","unstructured":"Gordon, T.F.: Constructing legal arguments with rules in the legal knowledge interchange format (LKIF). In: Casanovas, P., Sartor, G., Casellas, N., Rubino, R. (eds.) Computable Models of the Law. LNCS (LNAI), vol. 4884, pp. 162\u2013184. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85569-9_11"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11564751_2","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"I Horrocks","year":"2005","unstructured":"Horrocks, I.: OWL: a description logic based ontology language. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 5\u20138. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11564751_2"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10506-020-09271-3","volume":"29","author":"L Humphreys","year":"2021","unstructured":"Humphreys, L., et al.: Populating legal ontologies using semantic role labeling. Artif. Intell. Law 29(2), 171\u2013211 (2021)","journal-title":"Artif. Intell. Law"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Lahann, J., Scheid, M., Fettke, P.: Utilizing machine learning techniques to reveal VAT compliance violations in accounting data. In: IEEE 21st Conference on Business Informatics (CBI), vol. 1. IEEE (2019)","DOI":"10.1109\/CBI.2019.00008"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10506-019-09252-1","volume":"28","author":"V Leone","year":"2020","unstructured":"Leone, V., Caro, L.D., Villata, S.: Taking stock of legal ontologies: a feature-based comparative analysis. Artif. Intell. Law 28(2), 207\u2013235 (2020)","journal-title":"Artif. Intell. Law"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Nanda, R., et al.: A unifying similarity measure for automated identification of national implementations of European union directives. In: Proceedings of the International Conference on Artificial Intelligence and Law (ICAIL). ACM (2017)","DOI":"10.1145\/3086512.3086527"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., Robaldo, L.: PrOnto: privacy ontology for legal compliance. In: 18th EU Conference on Digital Government (2018)","DOI":"10.1007\/978-3-319-98349-3_11"},{"key":"1_CR19","unstructured":"Palmirani, M., Governatori, G.: Modelling legal knowledge for GDPR compliance checking. In: 31st Conference on Legal Knowledge and Information Systems (2018)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-030-30793-6_31","volume-title":"The Semantic Web \u2013 ISWC 2019","author":"P Pareti","year":"2019","unstructured":"Pareti, P., Konstantinidis, G., Norman, T.J., \u015eensoy, M.: SHACL constraints with inference rules. In: Ghidini, C., et al. (eds.) ISWC 2019. LNCS, vol. 11778, pp. 539\u2013557. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30793-6_31"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1567274.1567278","volume":"34","author":"J P\u00e9rez","year":"2009","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3), 1\u201345 (2009)","journal-title":"ACM Trans. Database Syst."},{"key":"1_CR22","series-title":"Law, Governance and Technology Series","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-04777-5_5","volume-title":"Semantic Web Technologies and Legal Scholarly Publishing","author":"S Peroni","year":"2014","unstructured":"Peroni, S.: The semantic publishing and referencing ontologies. In: Peroni, S. (ed.) Semantic Web Technologies and Legal Scholarly Publishing. LGTS, vol. 15, pp. 121\u2013193. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-04777-5_5"},{"issue":"1","key":"1_CR23","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/S0165-1765(01)00524-9","volume":"74","author":"WJ Reed","year":"2001","unstructured":"Reed, W.J.: The Pareto, Zipf and other power laws. Econ. Lett. 74(1), 15\u201319 (2001)","journal-title":"Econ. Lett."},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Robaldo, L., et al.: Compliance checking on first-order knowledge with conflicting and compensatory norms - a comparison among currently available technologies. Artif. Intell. Law (2023). https:\/\/doi.org\/10.1007\/s10506-023-09360-z","DOI":"10.1007\/s10506-023-09360-z"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-19437-5_14","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"L Robaldo","year":"2011","unstructured":"Robaldo, L., Caselli, T., Russo, I., Grella, M.: From Italian text to TimeML document via dependency parsing. In: Gelbukh, A. (ed.) CICLing 2011. LNCS, vol. 6609, pp. 177\u2013187. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19437-5_14"},{"issue":"8","key":"1_CR26","doi-asserted-by":"publisher","first-page":"1753","DOI":"10.1093\/logcom\/exad034","volume":"33","author":"L Robaldo","year":"2023","unstructured":"Robaldo, L., Pacenza, F., Zangari, J., Calegari, R., Calimeri, F., Siragusa, G.: Efficient compliance checking of RDF data. J. Log. Comput. 33(8), 1753\u20131776 (2023)","journal-title":"J. Log. Comput."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Robaldo, L.: Towards compliance checking in reified I\/O logic via SHACL. In: Maranh\u00e3o, J., Wyner, A.Z. (eds.) Proceedings of 18th International Conference for Artificial Intelligence and Law (ICAIL 2021). ACM (2021)","DOI":"10.1145\/3462757.3466065"},{"issue":"4","key":"1_CR28","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10849-019-09309-z","volume":"29","author":"L Robaldo","year":"2020","unstructured":"Robaldo, L., Bartolini, C., Palmirani, M., Rossi, A., Martoni, M., Lenzini, G.: Formalizing GDPR provisions in reified I\/O logic: the DAPRECO knowledge base. J. Log. Lang. Inf. 29(4), 401\u2013449 (2020)","journal-title":"J. Log. Lang. Inf."},{"key":"1_CR29","unstructured":"Sasu, D.: Oil and gas sector contribution to GDP in Ghana 2014\u20132024. Statista (2021). https:\/\/www.statista.com\/statistics\/1235708\/gdp-of-the-oil-and-gas-industry-in-ghana"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.jal.2017.03.002","volume":"25","author":"X Sun","year":"2017","unstructured":"Sun, X., Robaldo, L.: On the complexity of input\/output logic. J. Appl. Log. 25, 69\u201388 (2017)","journal-title":"J. Appl. Log."},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/978-3-030-00220-6_67","volume-title":"Advances in Informatics and Computing in Civil and Construction Engineering","author":"R Zhang","year":"2019","unstructured":"Zhang, R., El-Gohary, N.: A machine learning approach for compliance checking-specific semantic role labeling of building code sentences. In: Mutis, I., Hartmann, T. (eds.) Advances in Informatics and Computing in Civil and Construction Engineering, pp. 561\u2013568. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-00220-6_67"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-60511-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T18:03:10Z","timestamp":1717437790000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-60511-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031605109","9783031605116"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-60511-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"4 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JSAI-isAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"JSAI International Symposium on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kumamoto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ai-gakkai.or.jp\/isai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}