Abstract
AbstractWe present a GDPR-compliant data privacy and access use case of a distributed data wallet and we explore its modeling using two options, AspectOWL and Prova. This use case requires a representation capable of expressing the dynamicity and interaction between parties. While both approaches provide the expressiveness of non-monotonic states and fluent state transitions, their scope and semantics are vastly different. AspectOWL is a monotonic contextualized ontology language, able to represent dynamic state transitions and knowledge retention by wrapping parts of the ontology in isolated contexts, called aspects, while Prova can handle state transitions at runtime using non-monotonic state transition semantics. We present the two implementations and we discuss the similarities, advantages, and differences of the two approaches.
Funder
Deutsche Forschungsgemeinschaft
Bundesministerium für Bildung und Forschung
National Technical University of Athens
Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. Blackburn, P., Benthem, J., & Wolter, F. (2006). Handbook of modal logic. In: Studies in logic and practical reasoning, vol 3. New York: Elsevier Science Inc.
2. Bonatti, P. A., Ioffredo, L., Petrova, I. M., Sauro, L., & Siahaan, I. R. (2020). Real-time reasoning in OWL2 for GDPR compliance. Artificial Intelligence, 289, 103389. https://doi.org/10.1016/j.artint.2020.103389.
3. De Montety, C., Antignac, T., & Slim, C. (2019). GDPR modelling for log-based compliance checking. In: Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019, Copenhagen, Denmark, July 17–19, 2019, Proceedings 13, Springer, pp 1–18.
4. De Vos, M., Kirrane, S., Padget, J., & Satoh, K. (2019). ODRL policy modelling and compliance checking. In P. Fodor, M. Montali, D. Calvanese, & D. Roman (Eds.), Rules and reasoning (pp. 36–51). Cham: Springer International Publishing.
5. Dimyadi, J., Governatori, G., & Amor, R. (2017). Evaluating LegalDocML and LegalRuleML as a standard for sharing normative Information in the AEC/FM Domain. In: Lean and Computing in Construction Congress—Volume 1: Proceedings of the Joint Conference on Computing in Construction, Heriot-Watt University, Heraklion, Crete, Greece, pp. 637–644. https://doi.org/10.24928/JC3-2017/0012.