arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2001.05390cs.AI
收藏

OWL2中的实时的推理,以符合GDPR

Real Time Reasoning in OWL2 for GDPR Compliance

Università di Napoli Federico II(那不勒斯费德里科二世大学);CeRICT

P. A. Bonatti, L. Ioffredo, I. Petrova, L. Sauro, I. R. Siahaan

摘要:

本文展示了如何使用知识表示和推理技术来支持组织遵守GDPR,即新的欧洲数据保护法规。这项工作是在一个名为SPECIAL的欧洲H2020项目中进行的。数据使用策略、数据主体的同意和GDPR的选定片段被编码在称为PL(策略语言)的OWL 2片段中;合规性检查和策略验证被简化为包含检查和概念一致性检查。这项工作提出了一个令人满意的折衷之间的表现力要求PL提出的GDPR,并从特殊的工业合作伙伴提供的用例所产生的可扩展性要求。实时合规性检查是通过一个专门的推理,称为PLR,利用知识编译和结构包容技术。通过系统的实验分析了PLR的原型实现的性能,并与其他重要的推理机的性能进行了比较。此外,我们展示了如何PL和PLR可以扩展到支持更丰富的本体,通过进口查询技术。PL及其与OWL 2的配置文件的整合构成了OWL 2的新的易处理的片段。我们也证明了一些负面的结果,关于PL中的无限制推理的棘手性,以及本体论导入的局限性。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑