This paper shows how knowledge representation and reasoning techniques can be used to support organizations in complying with the GDPR, that is, the new European data protection regulation. This work is carried out in a European H2020 project called SPECIAL. Data usage policies, the consent of data subjects, and selected fragments of the GDPR are encoded in a fragment of OWL2 called PL (policy language); compliance checking and policy validation are reduced to subsumption checking and concept consistency checking. This work proposes a satisfactory tradeoff between the expressiveness requirements on PL posed by the GDPR, and the scalability requirements that arise from the use cases provided by SPECIAL's industrial partners. Real-time compliance checking is achieved by means of a specialized reasoner, called PLR, that leverages knowledge compilation and structural subsumption techniques. The performance of a prototype implementation of PLR is analyzed through systematic experiments, and compared with the performance of other important reasoners. Moreover, we show how PL and PLR can be extended to support richer ontologies, by means of import-by-query techniques. PL and its integration with OWL2's profiles constitute new tractable fragments of OWL2. We prove also some negative results, concerning the intractability of unrestricted reasoning in PL, and the limitations posed on ontology import.

中文翻译：

---

OWL2 中的实时推理以实现 GDPR 合规性

本文展示了如何使用知识表示和推理技术来支持组织遵守 GDPR，即新的欧洲数据保护法规。这项工作是在名为 SPECIAL 的欧洲 H2020 项目中进行的。数据使用政策、数据主体的同意和 GDPR 的选定片段被编码在一个称为 PL（政策语言）的 OWL2 片段中；合规性检查和策略验证被简化为包含检查和概念一致性检查。这项工作提出了 GDPR 对 PL 的表达性要求与 SPECIAL 的工业合作伙伴提供的用例产生的可扩展性要求之间的令人满意的权衡。实时合规性检查是通过称为 PLR 的专用推理器实现的，这利用了知识汇编和结构化包含技术。通过系统实验分析了 PLR 原型实现的性能，并与其他重要推理机的性能进行了比较。此外，我们展示了如何通过按查询导入技术扩展 PL 和 PLR 以支持更丰富的本体。PL 及其与 OWL2 配置文件的集成构成了 OWL2 新的易处理片段。我们还证明了一些负面结果，涉及 PL 中无限制推理的难处理性，以及对本体导入的限制。我们展示了如何通过查询导入技术扩展 PL 和 PLR 以支持更丰富的本体。PL 及其与 OWL2 配置文件的集成构成了 OWL2 新的易处理片段。我们还证明了一些负面结果，涉及 PL 中无限制推理的难处理性，以及对本体导入的限制。我们展示了如何通过查询导入技术扩展 PL 和 PLR 以支持更丰富的本体。PL 及其与 OWL2 配置文件的集成构成了 OWL2 新的易处理片段。我们还证明了一些负面结果，涉及 PL 中无限制推理的难处理性，以及对本体导入的限制。