Fast Compliance Checking in an OWL2 Fragment
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.
Cite
Text
Bonatti. "Fast Compliance Checking in an OWL2 Fragment." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/241Markdown
[Bonatti. "Fast Compliance Checking in an OWL2 Fragment." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/bonatti2018ijcai-fast/) doi:10.24963/IJCAI.2018/241BibTeX
@inproceedings{bonatti2018ijcai-fast,
title = {{Fast Compliance Checking in an OWL2 Fragment}},
author = {Bonatti, Piero A.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {1746-1752},
doi = {10.24963/IJCAI.2018/241},
url = {https://mlanthology.org/ijcai/2018/bonatti2018ijcai-fast/}
}