Fast Compliance Checking in an OWL2 Fragment
Fast Compliance Checking in an OWL2 Fragment
Piero A. Bonatti
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Main track. Pages 1746-1752.
https://doi.org/10.24963/ijcai.2018/241
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.
Keywords:
Multidisciplinary Topics and Applications: Security and Privacy
Knowledge Representation and Reasoning: Description Logics and Ontologies
Knowledge Representation and Reasoning: Computational Complexity of Reasoning