{"type":"ScholarlyArticle","title":"Fast Compliance Checking in an OWL2 Fragment","authors":[{"name":"Piero A. Bonatti","slug":"piero-a-bonatti","given":"Piero A.","family":"Bonatti","affiliation":"Università degli Studi di Napoli Federico II"}],"abstract":"We illustrate a formalization of data usage policies in a fragment of OWL2.  It can be used to encode (i) a company's data protection policy, (ii) data subjects' consent to data processing, and (iii) part of the GDPR (the forthcoming European Data Protection Regulation).  Then a company's policy can be checked for compliance with data subjects' consent and with part of the GDPR by means of subsumption queries.  We provide a complete and tractable structural subsumption algorithm for compliance checking and prove the intractability of a natural generalization of the policy language.","doi":"10.24963/ijcai.2018/241","url":"https://ijcai.org/proceedings/2018/241","pdf":"https://ijcai.org/proceedings/2018/0241.pdf","markdown":"https://ijcai.org/proceedings/2018/241.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/241","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":241,"pages":{"first":1746,"last":1752},"keywords":["Multidisciplinary Topics and Applications: Security and Privacy","Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Baader et al., 2003] Franz Baader, Diego Calvanese, Deb- orah L. McGuinness, Daniele Nardi, and Peter F. Patel- Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.","title":"The Description Logic Handbook: Theory, Implementation, and Applications","authors":"Franz Baader, Diego Calvanese, L Deborah","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader et al., 2005] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In IJCAI-05, pages 364-369. Professional Book Center, 2005.","title":"Pushing the EL envelope","authors":"Baader","year":"2005","venue":"IJCAI-05","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader et al., 2008] Franz Baader, Carsten Lutz, and Sebas- tian Brandt. Pushing the EL envelope further. In Kendall Clark and Peter F. Patel-Schneider, editors, Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, volume 496 of CEUR Workshop Proceedings. CEUR-WS.org, 2008.","title":"Pushing the EL envelope further","authors":"Franz Baader, Carsten Lutz, Sebastian Brandt","year":"2008","venue":"Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bonatti et al., 2010] Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, and Luigi Sauro. A rule-based trust negotiation system. IEEE Trans. Knowl. Data Eng., 22(11):1507-1520, 2010.","title":"A rule-based trust negotiation system","authors":"A Piero, Juri Bonatti, Luca De, Daniel Coi, Luigi Olmedilla, Sauro","year":"2010","venue":"IEEE Trans. Knowl. Data Eng","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Borgida and Patel-Schneider, 1994] Alexander Borgida and Peter F. Patel-Schneider. A semantics and complete algo- rithm for subsumption in the CLASSIC description logic. J. Artif. Intell. Res., 1:277-308, 1994.","title":"A semantics and complete algorithm for subsumption in the CLASSIC description logic","authors":"Patel-Schneider ; Borgida, Alexander Borgida, Peter F Patel-Schneider","year":"1994","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Haase and Lutz, 2008] Christoph Haase and Carsten Lutz. Complexity of subsumption in the EL family of descrip- tion logics: Acyclic and cyclic tboxes. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Niko- laos M. Avouris, editors, ECAI 2008 -18th European Con- ference on Artificial Intelligence, volume 178 of Frontiers in Artificial Intelligence and Applications, pages 25-29. IOS Press, 2008.","title":"Complexity of subsumption in the EL family of description logics: Acyclic and cyclic tboxes","authors":"Lutz Haase, Christoph Haase, Carsten Lutz","year":"2008","venue":"ECAI 2008 -18th European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Kagal et al., 2003] Lalana Kagal, Timothy W. Finin, and Anupam Joshi. A policy language for a pervasive comput- ing environment. In 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), pages 63-. IEEE Computer Society, 2003.","title":"A policy language for a pervasive computing environment","authors":"Lalana Kagal, Timothy W Finin, Anupam Joshi","year":"2003","venue":"4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Kazakov et al., 2013] Yevgeny Kazakov, Markus Krötzsch, and František Simančík. The incredible ELK: From poly- nomial procedures to efficient reasoning with EL ontolo- gies. Journal of Automated Reasoning, 53:1-61, 2013.","title":"The incredible ELK: From polynomial procedures to efficient reasoning with EL ontologies","authors":"Yevgeny Kazakov, Markus Krötzsch, František Simančík","year":"2013","venue":"Journal of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Kolovski et al., 2007] V. Kolovski, J. Hendler, and B. Par- sia. Analyzing web access control policies. In Proceed- ings of the 16th International Conference on World Wide Web, WWW '07, pages 677-686,, 2007. ACM.","title":"Analyzing web access control policies","authors":"V Kolovski, J Hendler, B Parsia","year":"2007","venue":"Proceedings of the 16th International Conference on World Wide Web, WWW '07","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Uszok et al., 2003] Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Niranjan Suri, Patrick J. Hayes, Maggie R. Breedy, Larry Bunch, Matt Johnson, Shriniwas Kulkarni, and James Lott. KAoS policy and domain services: To- wards a description-logic approach to policy representa- tion, deconfliction, and enforcement. In 4th IEEE Interna- tional Workshop on Policies for Distributed Systems and Networks (POLICY), pages 93-96, Lake Como, Italy, June 2003. IEEE Computer Society.","title":"KAoS policy and domain services: Towards a description-logic approach to policy representation, deconfliction, and enforcement","authors":"Andrzej Uszok, Jeffrey M Bradshaw, Renia Jeffers, Niranjan Suri, Patrick J Hayes, Maggie R Breedy, Larry Bunch, Matt Johnson, Shriniwas Kulkarni, James Lott","year":"2003","venue":"4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}