Real-time reasoning in OWL2 for GDPR compliance

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...

Full description

Saved in:
Bibliographic Details
Published inArtificial intelligence Vol. 289; p. 103389
Main Authors Bonatti, Piero A., Ioffredo, Luca, Petrova, Iliana M., Sauro, Luigi, Siahaan, Ida R.
Format Journal Article
LanguageEnglish
Published Amsterdam Elsevier B.V 01.12.2020
Elsevier Science Ltd
Subjects
Compliance
GDPR
Import-by-query
Imports
Knowledge compilation
Knowledge representation
Ontology
Real time
Reasoning
Semantic policy languages
Structural subsumption
Tractable OWL2 fragments
Tractable OWL2 fragments
Import-by-query
Semantic policy languages
Structural subsumption
Knowledge compilation
GDPR
Online AccessGet full text

Cover

More Information
Summary: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 modeling of 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. We prove novel tractability and intractability results related to PL, and some negative results about the restrictions posed on ontology import.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0004-3702
1872-7921
DOI:10.1016/j.artint.2020.103389