“…Their work focuses on accurately encoding the law, but it does support enforcement. Smaller fragments of the GDPR have been represented in other formalisms providing some support for automated reasoning, such as deontic logic [1,31], LegalRuleML [33], OCL [44], OWL2 [11], and Prolog [16]. In a different line of research, several policy languages were designed explicitly with GDPR provisions in mind [3,20,41,47,48 GDPR compliance by design.…”