{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T10:26:21Z","timestamp":1784283981435,"version":"3.55.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["731601"],"award-info":[{"award-number":["731601"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["731601"],"award-info":[{"award-number":["731601"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["731601"],"award-info":[{"award-number":["731601"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["731601"],"award-info":[{"award-number":["731601"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s13218-020-00677-4","type":"journal-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T11:03:42Z","timestamp":1594206222000},"page":"303-315","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":37,"title":["Machine Understandable Policies and GDPR Compliance Checking"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1436-5660","authenticated-orcid":false,"given":"Piero A.","family":"Bonatti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sabrina","family":"Kirrane","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Iliana M.","family":"Petrova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luigi","family":"Sauro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"677_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal S, Steyskal S, Antunovic F, Kirrane S (2018) Legislative compliance assessment: framework, model and gdpr instantiation. In: Annual privacy forum. Springer, Cham, pp 131\u2013149","DOI":"10.1007\/978-3-030-02547-2_8"},{"issue":"2","key":"677_CR2","doi-asserted-by":"publisher","first-page":"4125","DOI":"10.1016\/j.eswa.2008.03.009","volume":"36","author":"G Antoniou","year":"2009","unstructured":"Antoniou G, Dimaresis N, Governatori G (2009) A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst Appl 36(2):4125\u20134134","journal-title":"Expert Syst Appl"},{"key":"677_CR3","doi-asserted-by":"crossref","unstructured":"Athan T, Boley H, Governatori G, Palmirani M, Paschke A, Wyner A (2013) Oasis legalruleml. In: Proceedings of the fourteenth international conference\non artificial intelligence and law, pp 3\u201312","DOI":"10.1145\/2514601.2514603"},{"key":"677_CR4","volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (ISBN 0-521-78176-0)"},{"key":"677_CR5","doi-asserted-by":"crossref","unstructured":"Bartolini C, Muthuri R, Santos C (2015) Using ontologies to model data protection requirements in workflows. In: JSAI international symposium on artificial intelligence. Springer, Cham, pp 233\u2013248","DOI":"10.1007\/978-3-319-50953-2_17"},{"key":"677_CR6","doi-asserted-by":"publisher","unstructured":"Bonatti PA (2010) Datalog for security, privacy and trust. In: Datalog Reloaded\u2014First International Workshop, Datalog 2010. https:\/\/doi.org\/10.1007\/978-3-642-24206-9_2","DOI":"10.1007\/978-3-642-24206-9_2"},{"key":"677_CR7","doi-asserted-by":"publisher","unstructured":"Bonatti PA (2018) Fast compliance checking in an OWL2 fragment. In: Proceedings of the twenty-seventh international joint conference on artificial intelligence, IJCAI. https:\/\/doi.org\/10.24963\/ijcai.2018\/241","DOI":"10.24963\/ijcai.2018\/241"},{"issue":"11","key":"677_CR8","doi-asserted-by":"publisher","first-page":"1507","DOI":"10.1109\/TKDE.2010.83","volume":"22","author":"PA Bonatti","year":"2010","unstructured":"Bonatti PA, Coi JLD, Olmedilla D, Sauro L (2010) A rule-based trust negotiation system. IEEE Trans Knowl Data Eng 22(11):1507\u20131520. https:\/\/doi.org\/10.1109\/TKDE.2010.83","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"677_CR9","unstructured":"DATA POP (1995) Directive 95\/46\/EC of the European parliament and of the council on the protection of individuals with regard to the processing of personal data and on the free movement of such data. Official Journal L, 281(23\/11), 0031\u20130050"},{"key":"677_CR10","unstructured":"Gandon F, Governatori G, Villata S (2017) Normative requirements as linked data. In: Legal knowledge and information systems: Jurix 2017: the thirtieth annual conference, vol 302. IOS Press"},{"issue":"3","key":"677_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) Hermit: an OWL 2 reasoner. J Autom Reason 53(3):245\u2013269. https:\/\/doi.org\/10.1007\/s10817-014-9305-1","journal-title":"J Autom Reason"},{"issue":"6","key":"677_CR12","doi-asserted-by":"publisher","first-page":"2013","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):2013. https:\/\/doi.org\/10.1007\/s10992-013-9295-1","journal-title":"J Philos Logic"},{"key":"677_CR13","doi-asserted-by":"crossref","unstructured":"Governatori G, Hashmi M, Lam H-P, Villata S, Palmirani M (2016) Semantic business process regulatory compliance checking using LegalRuleML. In: European knowledge acquisition workshop. Springer, Cham, pp 746\u2013751","DOI":"10.1007\/978-3-319-49004-5_48"},{"key":"677_CR14","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and deontic logic","author":"JF Horty","year":"2001","unstructured":"Horty JF (2001) Agency and deontic logic. Oxford University Press, Oxford"},{"key":"677_CR15","unstructured":"Information Commissioner\u2019s Office (ICO) UK (2017) Getting ready for the GDPR. https:\/\/ico.org.uk\/for-organisations\/resources-and-support\/data-protection-self-assessment\/getting-ready-for-the-gdpr\/"},{"key":"677_CR16","doi-asserted-by":"crossref","unstructured":"Jajodia S, Samarati P, Sapino ML, Subrahmanian VS (2001) Flexible support for multiple access control policies. ACM Trans Database Syst (TODS) 26(2):214\u2013260","DOI":"10.1145\/383891.383894"},{"key":"677_CR17","volume-title":"Deontic logic in computer science: normative system specification, chapter 8","author":"AJI Jones","year":"1993","unstructured":"Jones AJI, Sergot MJ (1993) On the characterization of law and computer systems: the normative systems perspective. In: Meyer J-JC, Wieringa RJ (eds) Deontic logic in computer science: normative system specification, chapter 8. Wiley, USA"},{"key":"677_CR18","doi-asserted-by":"crossref","unstructured":"Kagal L, Finin T, Joshi A (2003) A policy language for a pervasive computing environment. In: Proceedings POLICY 2003. IEEE 4th international workshop on policies for distributed systems and networks. IEEE, pp 63\u201374","DOI":"10.1109\/POLICY.2003.1206958"},{"issue":"1","key":"677_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov Y, Kr\u00f6tzsch M, Simancik F (2014) The incredible ELK\u2014from polynomial procedures to efficient reasoning with EL ontologies. J Autom Reason 53(1):1\u201361. https:\/\/doi.org\/10.1007\/s10817-013-9296-3","journal-title":"J Autom Reason"},{"key":"677_CR20","doi-asserted-by":"crossref","unstructured":"Lam HP, Hashmi M (2019) Enabling reasoning with LegalRuleML. Theory Practice Logic Program 19(1):1\u201326","DOI":"10.1017\/S1471068418000339"},{"key":"677_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0395-6_12","volume-title":"What is input\/output logic?","author":"D Makinson","year":"2003","unstructured":"Makinson D, van der Torre L (2003) What is input\/output logic?. Springer, Berlin"},{"key":"677_CR22","unstructured":"Microsoft Trust Center (2017) Detailed GDPR Assessment. http:\/\/aka.ms\/gdprdetailedassessment"},{"key":"677_CR23","unstructured":"Nymity. GDPR Compliance Toolkit. https:\/\/www.nymity.com\/gdpr-toolkit.aspx"},{"key":"677_CR24","doi-asserted-by":"crossref","unstructured":"Palmirani M, Governatori G, Rotolo A, Tabet S, Boley H, Paschke A (2011) LegalRuleML: XML-based rules and norms. In: International workshop on rules and rule markup languages for the semantic web. Springer, Berlin, Heidelberg, pp 298\u2013312","DOI":"10.1007\/978-3-642-24908-2_30"},{"key":"677_CR25","doi-asserted-by":"crossref","unstructured":"Palmirani M, Martoni M, Rossi A, Bartolini C, Robaldo L (2018) PrOnto: privacy ontology for legal reasoning. In: International conference on electronic government and the information systems perspective. Springer, Cham, pp 139\u2013152","DOI":"10.1007\/978-3-319-98349-3_11"},{"key":"677_CR26","doi-asserted-by":"crossref","unstructured":"Pandit HJ, Fatema K, O\u2019Sullivan D, Lewis D (2018) GDPRtEXT-GDPR as a linked data resource. In: European semantic web conference. Springer, Cham, pp 481\u2013495","DOI":"10.1007\/978-3-319-93417-4_31"},{"key":"677_CR27","doi-asserted-by":"crossref","unstructured":"Pandit HJ, Polleres A, Bos B, Brennan R, Bruegger BP, Ekaputra FJ, Fern\u00e1ndez JD, Hamed RG, Kiesling E, Lizar M, Schlehahn E, Steyskal S, Wenning R (2019) Creating a vocabulary for data privacy\u2014the first-year report of data privacy vocabularies and controls community group (DPVCG). In: OTM, Conferences - Confederated International Conferences: CoopIS. ODBASE, C&TC, p 2019","DOI":"10.1007\/978-3-030-33246-4_44"},{"issue":"9","key":"677_CR28","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MC.2011.225","volume":"44","author":"S Pearson","year":"2011","unstructured":"Pearson S, Casassa-Mont M (2011) Sticky policies: an approach for managing privacy across multiple parties. IEEE Comput 44(9):60\u201368","journal-title":"IEEE Comput"},{"key":"677_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.06.005","author":"H Prakken","year":"2015","unstructured":"Prakken H, Sartor G (2015) Law and logic: a review from an argumentation perspective. Artif Intell. https:\/\/doi.org\/10.1016\/j.artint.2015.06.005","journal-title":"Artif Intell"},{"key":"677_CR30","doi-asserted-by":"publisher","DOI":"10.1145\/5689.5920","author":"MJ Sergot","year":"1986","unstructured":"Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The British nationality act as a logic program. Commun ACM. https:\/\/doi.org\/10.1145\/5689.5920","journal-title":"Commun ACM"},{"key":"677_CR31","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27\u201328","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller A, Liebig T, Glimm B (2014) Konclude: system description. J Web Semant 27\u201328:78\u201385. https:\/\/doi.org\/10.1016\/j.websem.2014.06.003","journal-title":"J Web Semant"},{"key":"677_CR32","doi-asserted-by":"crossref","unstructured":"Uszok A, Bradshaw JM, Jeffers R, Suri N, Hayes PJ, Breedy MR, Bunch L, Johnson M, Kulkarni S, Lott J (2003) KAoS policy and domain services: toward a description-logic approach to policy representation, deconfliction, and enforcement. In: Proceedings POLICY 2003. IEEE 4th international workshop on policies for distributed systems and networks. IEEE, pp 93\u201396","DOI":"10.1109\/POLICY.2003.1206963"},{"issue":"2\u20133","key":"677_CR33","doi-asserted-by":"publisher","first-page":"107","DOI":"10.3233\/JCS-1993-22-304","volume":"2","author":"TYC Woo","year":"1993","unstructured":"Woo TYC, Lam SS (1993) Authorizations in distributed systems: a new approach. J Comput Secur 2(2\u20133):107\u2013136. https:\/\/doi.org\/10.3233\/JCS-1993-22-304","journal-title":"J Comput Secur"},{"key":"677_CR34","doi-asserted-by":"crossref","unstructured":"Zarri GP (2009) Representation and Management of Narrative Information - Theoretical Principles and Implementation. Springer, Advanced Information and Knowledge Processing. ISBN 978-1-84800-077-3","DOI":"10.1007\/978-1-84800-078-0_1"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00677-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-020-00677-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00677-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:48:44Z","timestamp":1625705324000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-020-00677-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["677"],"URL":"https:\/\/doi.org\/10.1007\/s13218-020-00677-4","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"4 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}