{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T11:05:25Z","timestamp":1747911925494,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T00:00:00Z","timestamp":1695686400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T00:00:00Z","timestamp":1695686400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["PA 1820\/5-1","PA 1820\/5-1"],"award-info":[{"award-number":["PA 1820\/5-1","PA 1820\/5-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["03COV3F"],"award-info":[{"award-number":["03COV3F"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100018960","name":"National Technical University of Athens","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100018960","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Rev Socionetwork Strat"],"published-print":{"date-parts":[[2023,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We 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.<\/jats:p>","DOI":"10.1007\/s12626-023-00149-9","type":"journal-article","created":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T08:04:04Z","timestamp":1695715444000},"page":"319-340","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL"],"prefix":"10.1007","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7570-3603","authenticated-orcid":false,"given":"Theodoros","family":"Mitsikas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4349-6726","authenticated-orcid":false,"given":"Ralph","family":"Sch\u00e4fermeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3156-9040","authenticated-orcid":false,"given":"Adrian","family":"Paschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,26]]},"reference":[{"key":"149_CR1","unstructured":"Blackburn, P., Benthem, J., & Wolter, F. (2006). Handbook of modal logic. In: Studies in logic and practical reasoning, vol\u00a03. New York: Elsevier Science Inc."},{"key":"149_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103389","volume":"289","author":"PA Bonatti","year":"2020","unstructured":"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.","journal-title":"Artificial Intelligence"},{"key":"149_CR3","doi-asserted-by":"crossref","unstructured":"De\u00a0Montety, 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\u201319, 2019, Proceedings 13, Springer, pp 1\u201318.","DOI":"10.1007\/978-3-030-33716-2_1"},{"key":"149_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-030-31095-0_3","volume-title":"Rules and reasoning","author":"M De Vos","year":"2019","unstructured":"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\u201351). Cham: Springer International Publishing."},{"key":"149_CR5","doi-asserted-by":"publisher","unstructured":"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\u2014Volume 1: Proceedings of the Joint Conference on Computing in Construction, Heriot-Watt University, Heraklion, Crete, Greece, pp. 637\u2013644. https:\/\/doi.org\/10.24928\/JC3-2017\/0012.","DOI":"10.24928\/JC3-2017\/0012"},{"key":"#cr-split#-149_CR6.1","unstructured":"European Commission. (2016). Regulation"},{"key":"#cr-split#-149_CR6.2","unstructured":"(EU) 2016\/679 of the European Parliament and of the Council. http:\/\/data.europa.eu\/eli\/reg\/2016\/679\/oj."},{"key":"149_CR7","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"Lecture Notes in Computer Science, ECOOP\u201997\u2014object-oriented programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J. M., & Irwin, J. (1997). Aspect-oriented programming. In M. Aksit & S. Matsuoka (Eds.), Lecture Notes in Computer Science, ECOOP\u201997\u2014object-oriented programming (Vol. 1241, pp. 220\u2013242). Berlin: Springer."},{"key":"149_CR8","doi-asserted-by":"crossref","unstructured":"Kober, G., Robaldo, L., & Paschke, A. (2022). Modeling medical guidelines by Prova and SHACL accessing FHIR\/RDF. Use case: the medical ABCDE approach. In: dHealth 2022, IOS Press, pp 59\u201366.","DOI":"10.3233\/SHTI220348"},{"key":"149_CR9","unstructured":"Kozlenkov, A. (2010). Prova rule language version 3.0 user\u2019s guide. https:\/\/github.com\/prova\/prova\/tree\/master\/doc."},{"key":"149_CR10","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1007\/11896548_68","volume-title":"Current trends in database technology\u2014EDBT 2006","author":"A Kozlenkov","year":"2006","unstructured":"Kozlenkov, A., Penaloza, R., Nigam, V., Royer, L., Dawelbait, G., & Schroeder, M. (2006). Prova: rule-based Java scripting for distributed web applications: a case study in bioinformatics. In T. Grust, H. H\u00f6pfner, A. Illarramendi, S. Jablonski, M. Mesiti, S. M\u00fcller, P. L. Patranjan, K. U. Sattler, M. Spiliopoulou, & J. Wijsen (Eds.), Current trends in database technology\u2014EDBT 2006 (pp. 899\u2013908). Heidelberg: Springer."},{"key":"149_CR11","doi-asserted-by":"publisher","unstructured":"Kurteva, A., Chhetri, T.R., Pandit, H.J., & Fensel, A. (2021). Consent through the lens of semantics: state of the art survey and best practices. Semantic Web Preprint, pp. 1\u201327. https:\/\/doi.org\/10.3233\/SW-210438.","DOI":"10.3233\/SW-210438"},{"key":"149_CR12","doi-asserted-by":"publisher","unstructured":"Mansour, E., Sambra, A.V., Hawke, S., Zereba, M., Capadisli, S., Ghanem, A., Aboulnaga, A., & Berners-Lee, T. (2016). A demonstration of the Solid platform for social web applications. In: Proceedings of the 25th International Conference Companion on World Wide Web, International World Wide Web Conferences Steering Committee, Republic and Canton of Geneva, CHE, WWW \u201916 Companion, pp. 223\u2013226. https:\/\/doi.org\/10.1145\/2872518.2890529.","DOI":"10.1145\/2872518.2890529"},{"key":"149_CR13","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-24908-2_30","volume-title":"Rule-based modeling and computing on the semantic web","author":"M Palmirani","year":"2011","unstructured":"Palmirani, M., Governatori, G., Rotolo, A., Tabet, S., Boley, H., & Paschke, A. (2011). LegalRuleML: XML-based rules and norms. In F. Olken, M. Palmirani, & D. Sottara (Eds.), Rule-based modeling and computing on the semantic web (pp. 298\u2013312). Heidelberg: Springer."},{"key":"149_CR14","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-319-98349-3_11","volume-title":"Electronic government and the information systems perspective","author":"M Palmirani","year":"2018","unstructured":"Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018). PrOnto: privacy ontology for legal reasoning. In A. K\u0151 & E. Francesconi (Eds.), Electronic government and the information systems perspective (pp. 139\u2013152). Cham: Springer International Publishing."},{"key":"149_CR15","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-030-21348-0_18","volume-title":"The semantic web","author":"HJ Pandit","year":"2019","unstructured":"Pandit, H. J., Debruyne, C., O\u2019Sullivan, D., & Lewis, D. (2019). GConsent\u2014a consent ontology based on the GDPR. In P. Hitzler, M. Fern\u00e1ndez, K. Janowicz, A. Zaveri, A. J. Gray, V. Lopez, A. Haller, & K. Hammar (Eds.), The semantic web (pp. 270\u2013282). Cham: Springer International Publishing."},{"key":"149_CR16","doi-asserted-by":"publisher","unstructured":"Paschke, A. (2011). Rules and logic programming for the web. Springer: Berlin , pp. 326\u2013381. https:\/\/doi.org\/10.1007\/978-3-642-23032-5_6.","DOI":"10.1007\/978-3-642-23032-5_6"},{"issue":"1","key":"149_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.dss.2008.06.008","volume":"46","author":"A Paschke","year":"2008","unstructured":"Paschke, A., & Bichler, M. (2008). Knowledge representation concepts for automated SLA management. Decision Support Systems, 46(1), 187\u2013205. https:\/\/doi.org\/10.1016\/j.dss.2008.06.008.","journal-title":"Decision Support Systems"},{"key":"149_CR18","unstructured":"Paschke, A., & Boley, H. (2014). Reaction RuleML 1.0 for distributed rule-based agents in rule responder. In: Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium, hosted by the 8th International Web Rule Symposium (RuleML 2014), CEUR.org."},{"key":"149_CR19","doi-asserted-by":"publisher","unstructured":"Robaldo, L. (2021). Towards compliance checking in reified I\/O logic via SHACL. In: Maranh\u00e3o, J., Wyner, A.Z. (Eds.) ICAIL \u201921: Eighteenth International Conference for Artificial Intelligence and Law, S\u00e3o Paulo Brazil, June 21\u201325, 2021, ACM, pp 215\u2013219. https:\/\/doi.org\/10.1145\/3462757.3466065.","DOI":"10.1145\/3462757.3466065"},{"issue":"8","key":"149_CR20","doi-asserted-by":"publisher","first-page":"2471","DOI":"10.1093\/logcom\/exx009","volume":"27","author":"L Robaldo","year":"2017","unstructured":"Robaldo, L., & Sun, X. (2017). Reified input\/output logic: combining input\/output logic and reification to represent norms coming from existing legislation. Journal of Logic and Computation, 27(8), 2471\u20132503.","journal-title":"Journal of Logic and Computation"},{"key":"149_CR21","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10849-019-09309-z","volume":"29","author":"L Robaldo","year":"2020","unstructured":"Robaldo, L., Bartolini, C., Palmirani, M., Rossi, A., Martoni, M., & Lenzini, G. (2020). Formalizing GDPR provisions in reified I\/O logic: the DAPRECO knowledge base. Journal of Logic, Language and Information, 29, 401\u2013449.","journal-title":"Journal of Logic, Language and Information"},{"key":"149_CR22","unstructured":"Sch\u00e4fermeier, R., & Paschke, A. (2014). Aspect-oriented ontologies: dynamic modularization using ontological metamodeling. In: Garbacz, P., Kutz, O. (Eds.) Proceedings of the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). IOS Press, Frontiers in Artificial Intelligence and Applications, vol 267, pp. 199\u2013212."},{"key":"149_CR23","doi-asserted-by":"publisher","unstructured":"Sch\u00e4fermeier, R., & Paschke, A. (2018). Aspect-oriented ontology development. In: Nalepa, G.J., Baumeister, J. (Eds.) Synergies between knowledge engineering and software engineering, advances in intelligent systems and computing, vol 626, Springer, Berlin, pp. 3\u201330. https:\/\/doi.org\/10.1007\/978-3-319-64161-4_1.","DOI":"10.1007\/978-3-319-64161-4_1"},{"key":"149_CR24","unstructured":"Schild, K. (1991). A correspondence theory for terminological logics: preliminary report. In: Mylopoulos, J., Reiter, R. (Eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24\u201330, 1991, Morgan Kaufmann, pp. 466\u2013471."},{"key":"149_CR25","volume-title":"The art of Prolog: advanced programming techniques","author":"L Sterling","year":"1994","unstructured":"Sterling, L., & Shapiro, E. Y. (1994). The art of Prolog: advanced programming techniques. Cambridge: MIT Press."}],"container-title":["The Review of Socionetwork Strategies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12626-023-00149-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12626-023-00149-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12626-023-00149-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T03:49:56Z","timestamp":1730173796000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12626-023-00149-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,26]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["149"],"URL":"https:\/\/doi.org\/10.1007\/s12626-023-00149-9","relation":{},"ISSN":["2523-3173","1867-3236"],"issn-type":[{"type":"print","value":"2523-3173"},{"type":"electronic","value":"1867-3236"}],"subject":[],"published":{"date-parts":[[2023,9,26]]},"assertion":[{"value":"4 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 August 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 September 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}