{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T12:54:06Z","timestamp":1782996846958,"version":"3.54.5"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030310943","type":"print"},{"value":"9783030310950","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31095-0_3","type":"book-chapter","created":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T12:02:53Z","timestamp":1568376173000},"page":"36-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["ODRL Policy Modelling and Compliance Checking"],"prefix":"10.1007","author":[{"given":"Marina","family":"De Vos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sabrina","family":"Kirrane","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,9,12]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-030-02547-2_8","volume-title":"Privacy Technologies and Policy","author":"S Agarwal","year":"2018","unstructured":"Agarwal, S., Steyskal, S., Antunovic, F., Kirrane, S.: Legislative compliance assessment: framework, model and GDPR instantiation. In: Medina, M., Mitrakas, A., Rannenberg, K., Schweighofer, E., Tsouroulas, N. (eds.) APF 2018. LNCS, vol. 11079, pp. 131\u2013149. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-030-02547-2_8"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.Z.: Oasis LegalRuleML. In: ICAIL, vol. 13, pp. 3\u201312 (2013)","DOI":"10.1145\/2514601.2514603"},{"key":"3_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR4","unstructured":"Bartolini, C., Muthuri, R., Santos, C.: Using ontologies to model data protection requirements in workflows. In: JSAI International Symposium on Artificial Intelligence (2015)"},{"key":"3_CR5","unstructured":"Boer, A., Hoekstra, R., Winkels, R., Van Engers, T., Willaert, F.: Metalex: legislation in XML. In: Legal Knowledge and Information Systems (Jurix 2002), pp. 1\u201310 (2002)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-85569-9_2","volume-title":"Computable Models of the Law","author":"A Boer","year":"2008","unstructured":"Boer, A., Winkels, R., Vitali, F.: MetaLex XML and the legal knowledge interchange format. In: Casanovas, P., Sartor, G., Casellas, N., Rubino, R. (eds.) Computable Models of the Law. LNCS (LNAI), vol. 4884, pp. 21\u201341. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-85569-9_2"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-16289-3_15","volume-title":"Semantic Web Rules","author":"H Boley","year":"2010","unstructured":"Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: the overarching specification of web rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 162\u2013178. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-16289-3_15"},{"key":"3_CR8","unstructured":"Bonatti, P.A. Olmedilla, D.: Rule-based policy representation and reasoning for the semantic web. In: Proceedings of the Third International Summer School Conference on Reasoning Web (2007)"},{"key":"3_CR9","volume-title":"Software Agents","author":"JM Bradshaw","year":"1997","unstructured":"Bradshaw, J.M.: Software Agents. MIT Press, Cambridge (1997)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-69619-3_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"O Cliffe","year":"2007","unstructured":"Cliffe, O., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 60\u201379. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-69619-3_4"},{"key":"3_CR11","first-page":"317","volume":"21","author":"J Dimyadi","year":"2016","unstructured":"Dimyadi, J., Pauwels, P., Amor, R.: Modelling and accessing regulatory knowledge for computer-assisted compliance audit. J. Inf. Technol. Constr. 21, 317\u2013336 (2016)","journal-title":"J. Inf. Technol. Constr."},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-030-01713-2_13","volume-title":"Multi-Agent Systems and Agreement Technologies","author":"N Fornara","year":"2018","unstructured":"Fornara, N., Colombetti, M.: Operational semantics of an extension of ODRL able to express obligations. In: Belardinelli, F., Argente, E. (eds.) EUMAS\/AT -2017. LNCS (LNAI), vol. 10767, pp. 172\u2013186. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-030-01713-2_13"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-030-17294-7_4","volume-title":"Agreement Technologies","author":"N Fornara","year":"2019","unstructured":"Fornara, N., Chiappa, A., Colombetti, M.: Using semantic web technologies and production rules for reasoning on obligations and permissions. In: Lujak, M. (ed.) AT 2018. LNCS (LNAI), vol. 11327, pp. 49\u201363. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-17294-7_4"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-20895-9_39","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., K\u00f6nig, A., Schaub, T.: Advances in gringo series 3. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 345\u2013351. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-20895-9_39"},{"key":"3_CR15","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: preliminary report. CoRR, abs\/1405.3694 (2014)"},{"key":"3_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, 15\u201319 August 1988 (2 Volumes), pp. 1070\u20131080. MIT Press (1988). ISBN 0-262-61056-6"},{"issue":"3\u20134","key":"3_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\u20134), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1007\/978-3-319-49004-5_48","volume-title":"Knowledge Engineering and Knowledge Management","author":"G Governatori","year":"2016","unstructured":"Governatori, G., Hashmi, M., Lam, H.-P., Villata, S., Palmirani, M.: Semantic business process regulatory compliance checking using LegalRuleML. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds.) EKAW 2016. LNCS (LNAI), vol. 10024, pp. 746\u2013761. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-49004-5_48"},{"key":"3_CR19","unstructured":"Information Commissioner\u2019s Office (ICO) UK: Getting ready for the GDPR (2017). \n                      https:\/\/ico.org.uk\/for-organisations\/resources-and-support\/data-protection-self-assessment\/getting-ready-for-the-gdpr\n                      \n                    . Accessed 1 May 2019"},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Logic J. IGPL 4(3), 427\u2013443 (1996)","journal-title":"Logic J. IGPL"},{"key":"3_CR21","unstructured":"Kagal, L., Finin, T.: A policy language for a pervasive computing environment. In: Proceedings POLICY 2003, IEEE 4th International Workshop on Policies for Distributed Systems and Networks (2003)"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068418000339","volume":"19","author":"H-P Lam","year":"2019","unstructured":"Lam, H.-P., Hashmi, M.: Enabling reasoning with LegalRuleML. Theor. Pract. Logic Program. 19(1), 1\u201326 (2019)","journal-title":"Theor. Pract. Logic Program."},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Li, T., Balke, T., Vos, M.D., Padget, J.A., Satoh, K.: A model-based approach to the automatic revision of secondary legislation. In: Francesconi, E., Verheij, B. (eds.) International Conference on Artificial Intelligence and Law, ICAIL 2013, Rome, Italy, 10\u201314 June 2013, pp. 202\u2013206. ACM (2013). ISBN 978-1-4503-2080-1, \n                      https:\/\/doi.org\/10.1145\/2514601.2514627","DOI":"10.1145\/2514601.2514627"},{"key":"3_CR24","unstructured":"Microsoft Trust Center: Detailed GDPR Assessment (2017). \n                      http:\/\/aka.ms\/gdprdetailedassessment\n                      \n                    . Accessed 1 May 2019"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., et al. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501\u2013514. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11926078_36"},{"key":"3_CR26","unstructured":"Nymity: GDPR Compliance Toolkit. \n                      https:\/\/www.nymity.com\/gdpr-toolkit.aspx\n                      \n                    . Accessed 1 May 2019"},{"key":"3_CR27","series-title":"Law, Governance and Technology Series","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-33570-4_6","volume-title":"Social Coordination Frameworks for Social Technical Systems","author":"J Padget","year":"2016","unstructured":"Padget, J., ElDeen Elakehal, E., Li, T., De Vos, M.: InstAL: an institutional action language. In: Aldewereld, H., Boissier, O., Dignum, V., Noriega, P., Padget, J. (eds.) Social Coordination Frameworks for Social Technical Systems. LGTS, vol. 30, pp. 101\u2013124. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-33570-4_6"},{"key":"3_CR28","doi-asserted-by":"publisher","unstructured":"Padget, J., Vos, M.D., Page, C.A.: Deontic sensors. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-2018, pp. 475\u2013481. International Joint Conferences on Artificial Intelligence Organization (2018). \n                      https:\/\/doi.org\/10.24963\/ijcai.2018\/66","DOI":"10.24963\/ijcai.2018\/66"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-24908-2_30","volume-title":"Rule - Based Modeling and Computing on the Semantic Web","author":"M Palmirani","year":"2011","unstructured":"Palmirani, M., Governatori, G., Rotolo, A., Tabet, S., Boley, H., Paschke, A.: LegalRuleML: XML-based rules and norms. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML 2011. LNCS, vol. 7018, pp. 298\u2013312. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-24908-2_30"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-319-98192-5_41","volume-title":"The Semantic Web: ESWC 2018 Satellite Events","author":"O Panasiuk","year":"2018","unstructured":"Panasiuk, O., Steyskal, S., Havur, G., Fensel, A., Kirrane, S.: Modeling and reasoning over data licenses. In: Gangemi, A., et al. (eds.) ESWC 2018. LNCS, vol. 11155, pp. 218\u2013222. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-98192-5_41"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-319-93417-4_31","volume-title":"The Semantic Web","author":"HJ Pandit","year":"2018","unstructured":"Pandit, H.J., Fatema, K., O\u2019Sullivan, D., Lewis, D.: GDPRtEXT - GDPR as a linked data resource. In: Gangemi, A., et al. (eds.) ESWC 2018. LNCS, vol. 10843, pp. 481\u2013495. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-93417-4_31"},{"key":"3_CR32","unstructured":"Steyskal, S., Kirrane, S.: If you can\u2019t enforce it, contract it: enforceability in policy-driven (linked) data markets. In: SEMANTiCS (Posters & Demos) (2015)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Steyskal, S., Polleres, A.: Defining expressive access policies for linked data using the ODRL ontology 2.0. In: Proceedings of the 10th International Conference on Semantic Systems (2014)","DOI":"10.1145\/2660517.2660530"},{"issue":"237","key":"3_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G Wright von","year":"1951","unstructured":"von Wright, G.: Deontic logic. Mind 60(237), 1\u201315 (1951). ISSN 00264423, 14602113","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31095-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T12:03:24Z","timestamp":1568376204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31095-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030310943","9783030310950"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31095-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bolzano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2019.ruleml-rr.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Authors were able to respond to the reviews.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}