{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:21:23Z","timestamp":1782375683504,"version":"3.54.5"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319674674","type":"print"},{"value":"9783319674681","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67468-1_4","type":"book-chapter","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T15:30:39Z","timestamp":1505403039000},"page":"47-62","source":"Crossref","is-referenced-by-count":12,"title":["Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology"],"prefix":"10.1007","author":[{"given":"Cesare","family":"Bartolini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andra","family":"Giurgiu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriele","family":"Lenzini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Livio","family":"Robaldo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,9,15]]},"reference":[{"issue":"10","key":"4_CR1","doi-asserted-by":"crossref","first-page":"944","DOI":"10.1109\/TSE.2015.2428709","volume":"41","author":"C Arora","year":"2015","unstructured":"Arora, C., Sabetzadeh, M., Briand, L.C., Zimmer, F.: Automated checking of conformance to requirements templates using natural language processing. IEEE Trans. Software Eng. 41(10), 944\u2013968 (2015)","journal-title":"IEEE Trans. Software Eng."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: OASIS LegalRuleML. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law (ICAIL), pp. 3\u201312. Association for Computing Machinery (ACM), June 2013","DOI":"10.1145\/2514601.2514603"},{"key":"4_CR3","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, Cham (2015). doi: 10.1007\/978-3-319-21768-0_6"},{"key":"4_CR4","unstructured":"Bartolini, C., Muthuri, R., Santos, C.: Using ontologies to model data protection requirements in workflows. In: Proceedings of the 9th International Working on Juris-informatics (JURISIN). pp. 27\u201340, extended version to be published in LNAI book, November 2015"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","volume-title":"Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications","year":"2005","unstructured":"Benjamins, V.R., Casanovas, P., Breuker, J., Gangemi, A. (eds.): Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications. LNCS (LNAI), vol. 3369. Springer, Heidelberg (2005)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Boella, G., Di Caro, L., Humphreys, L., Robaldo, L., Rossi, R., 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. Artificial Intelligence and Law to appear (2016)","DOI":"10.1007\/s10506-016-9184-3"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Boella, G., Di Caro, L., Graziadei, M., Cupi, L., Salaroglio, C.E., Humphreys, L., Konstantinov, H., Marko, K., Robaldo, L., Ruffini, C., Simov, K., Violato, A., Stroetmann, V.: Linking legal open data: breaking the accessibility and language barrier in European legislation and case law. In: Proceedings of the 15th International Conference on Artificial Intelligence and Law. ICAIL 2015, pp. 171\u2013175. ACM, New York (2015)","DOI":"10.1145\/2746090.2746106"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Boella, G., Di Caro, L., Rispoli, D., Robaldo, L.: A system for classifying multi-label text into eurovoc. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. ICAIL 2013, pp. 239\u2013240. ACM, New York (2013)","DOI":"10.1145\/2514601.2514635"},{"issue":"2","key":"4_CR9","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11168-006-6327-9","volume":"3","author":"A Copestake","year":"2005","unstructured":"Copestake, A., Flickinger, D., Pollard, C., Sag, I.A.: Minimal recursion semantics: an introduction. Res. Lang. Comput. 3(2), 281\u2013332 (2005)","journal-title":"Res. Lang. Comput."},{"key":"4_CR10","volume-title":"The Logic of Decision and Action","author":"D Davidson","year":"1967","unstructured":"Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967)"},{"issue":"1","key":"4_CR11","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.clsr.2015.12.005","volume":"32","author":"P Hert De","year":"2016","unstructured":"De Hert, P., Papakonstantinou, V., Kamara, I.: The cloud computing standard ISO\/IEC 27018 through the lens of the EU legislation on data protection. Comput. Law Secur. Rev. 32(1), 16\u201330 (2016)","journal-title":"Comput. Law Secur. Rev."},{"key":"4_CR12","unstructured":"Dimyadi, J., Governatori, G., Amor, R.: Evaluating legaldocml and legalruleml as a standard for sharing normative information in the AEC\/FM domain. In: Proceedings of the Lean and Computing in Construction Congress (LC3) (to appear, 2017)"},{"issue":"1","key":"4_CR13","first-page":"10","volume":"97","author":"A Giurgiu","year":"2014","unstructured":"Giurgiu, A., Lommel, G.: A new approach to EU data protection. Crit. Q. Legislation Law 97(1), 10\u201327 (2014)","journal-title":"Crit. Q. Legislation Law"},{"issue":"6","key":"4_CR14","doi-asserted-by":"crossref","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.: Computing strong and weak permissions in defeasible logic. J. Philos. Logic 42(6), 799\u2013829 (2013). http:\/\/dx.doi.org\/10.1007\/s10992-013-9295-1","journal-title":"J. Philos. Logic"},{"key":"4_CR15","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Deontic defeasible reasoning in legal interpretation. In: Atkinson, K. (ed.) The 15th International Conference on Artificial Intelligence & Law, San Diego, USA (2015)"},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s10458-007-9016-7","volume":"17","author":"J Hansen","year":"2008","unstructured":"Hansen, J.: Prioritized conditional imperatives: problems and a new proposal. Auton. Agent. Multi-Agent Syst. 17(1), 11\u201335 (2008)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1093\/jos\/ffh024","volume":"22","author":"JR Hobbs","year":"2005","unstructured":"Hobbs, J.R.: Toward a useful notion of causality for lexical semantics. J. Semant. 22, 181\u2013209 (2005)","journal-title":"J. Semant."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-78135-6_16","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"JR Hobbs","year":"2008","unstructured":"Hobbs, J.R.: Deep lexical semantics. In: Gelbukh, A. (ed.) CICLing 2008. LNCS, vol. 4919, pp. 183\u2013193. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78135-6_16"},{"key":"4_CR19","unstructured":"Hobbs, J.: The logical notation: ontological promiscuity. In: Chapter 2 of Discourse and Inference (1998). http:\/\/www.isi.edu\/~hobbs\/disinf-tc.html"},{"key":"4_CR20","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)"},{"key":"4_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001","volume-title":"Reasons as Defaults","author":"J Horty","year":"2012","unstructured":"Horty, J.: Reasons as Defaults. Oxford University Press, New York (2012)"},{"key":"4_CR22","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF00666538","volume":"7","author":"J J\u00f8rgensen","year":"1937","unstructured":"J\u00f8rgensen, J.: Imperatives and logic. Erkenntnis 7, 288\u2013296 (1937)","journal-title":"Erkenntnis"},{"key":"4_CR23","volume-title":"From Discourse to Logic: An Introduction to Model-Theoretic Semantics, Formal Logic and Discourse Representation Theory","author":"H Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic: An Introduction to Model-Theoretic Semantics, Formal Logic and Discourse Representation Theory. Kluwer Academic Publishers, Dordrecht (1993)"},{"issue":"4","key":"4_CR24","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson, D., van der Torre, L.W.N.: Input\/output logics. J. Philos. Logic 29(4), 383\u2013408 (2000)","journal-title":"J. Philos. Logic"},{"key":"4_CR25","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: Permission from an input\/output perspective. J. Philos. Logic 32, 391\u2013416 (2003)","journal-title":"J. Philos. Logic"},{"key":"4_CR26","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription: A form of nonmonotonic reasoning. Artif. Intell. 13, 27\u201339 (1980)","journal-title":"Artif. Intell."},{"key":"4_CR27","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R Meyden van der","year":"1996","unstructured":"van der Meyden, R.: The dynamic logic of permission. J. Logic Comput. 6, 465\u2013479 (1996)","journal-title":"J. Logic Comput."},{"key":"4_CR28","unstructured":"Mihalcea, R., Corley, C., Strapparava, C.: Corpus-based and knowledge-based measures of text semantic similarity. In: Proceedings of the 21st National Conference on Artificial Intelligence. AAAI 2006, vol. 1, pp. 775\u2013780. AAAI Press (2006). http:\/\/dl.acm.org\/citation.cfm?id=1597538.1597662"},{"issue":"2\u20133","key":"4_CR29","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s10506-011-9108-1","volume":"19","author":"X Parent","year":"2011","unstructured":"Parent, X.: Moral particularism in the light of deontic logic. Artif. Intell. Law 19(2\u20133), 75\u201398 (2011)","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"4_CR30","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/idpl\/ipq007","volume":"1","author":"V Reding","year":"2011","unstructured":"Reding, V.: The upcoming data protection reform for the European Union. Int. Data Priv. Law 1(1), 3\u20135 (2011)","journal-title":"Int. Data Priv. Law"},{"issue":"1","key":"4_CR31","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s10992-009-9105-y","volume":"39","author":"L Robaldo","year":"2010","unstructured":"Robaldo, L.: Independent set readings and generalized quantifiers. J. Philos. Logic 39(1), 23\u201358 (2010)","journal-title":"J. Philos. Logic"},{"issue":"5","key":"4_CR32","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/j.jcss.2009.10.009","volume":"76","author":"L Robaldo","year":"2010","unstructured":"Robaldo, L.: Interpretation and inference with maximal referential terms. J. Comput. Syst. Sci. 76(5), 373\u2013388 (2010)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"4_CR33","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10849-010-9131-8","volume":"20","author":"L Robaldo","year":"2011","unstructured":"Robaldo, L.: Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. J. Logic, Lang. Inf. 20(2), 233\u2013271 (2011)","journal-title":"J. Logic, Lang. Inf."},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Robaldo, L., Humphreys, L., Sun, L., Cupi, L., Santos, C., Muthuri, R.: Combining input\/output logic and reification for representing real-world obligations. In: Post-proceedings of the 9th International Workiung on Juris-informatics. Lecture Notes in Artificial Intelligence (2016)","DOI":"10.1007\/978-3-319-50953-2_16"},{"issue":"1","key":"4_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5087\/dad.2014.101","volume":"5","author":"L Robaldo","year":"2014","unstructured":"Robaldo, L., Miltsakaki, E.: Corpus-driven semantics of concession: where do expectations come from? Dialogue Discourse 5(1), 1\u201336 (2014)","journal-title":"Dialogue Discourse"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Robaldo, L., Sun, X.: Reified input\/output logic: Combining input\/output logic and reification to represent norms coming from existing legislation. J. Logic Comput. (to appear, 2017)","DOI":"10.1093\/logcom\/exx009"},{"key":"4_CR37","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). doi: 10.1007\/978-3-642-19437-5_14"},{"key":"4_CR38","unstructured":"Schuler, K.K.: Verbnet: a broad-coverage, comprehensive verb lexicon. Ph.D. thesis, Philadelphia, PA, USA, aAI3179808(2005)"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Sun, X., Robaldo, L.: On the complexity of input\/output logic. J. Appl. Logic (to appear, 2017)","DOI":"10.1016\/j.jal.2017.03.002"},{"issue":"1","key":"4_CR40","first-page":"165","volume":"1","author":"H Vibert","year":"2013","unstructured":"Vibert, H., Jouvelot, P., Pin, B.: Legivoc - connectings laws in a changing world. J. Open Access Law 1(1), 165\u2013174 (2013)","journal-title":"J. Open Access Law"}],"container-title":["Communications in Computer and Information Science","BNAIC 2016: Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67468-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:22:53Z","timestamp":1659475373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67468-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674674","9783319674681"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67468-1_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}