资源分类
》 资源 》论文》Fast Compliance Checking in an OWL2 Fragment Piero A. Bonatti

Fast Compliance Checking in an OWL2 Fragment Piero A. Bonatti

2019-11-05 | |  69 |   48 |   0
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.

上一篇：Exploiting Justifications for Lazy Grounding of Answer Set Programs? Bart Bogaerts† and Antonius Weinzierl‡

下一篇：Relevance in Structured Argumentation

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...