Patterns for legal compliance checking in a decidable framework of linked open data

Artificial Intelligence and Law 31 (3):445-464 (2022)
  Copy   BIBTEX

Abstract

This paper presents an approach for legal compliance checking in the Semantic Web which can be effectively applied for applications in the Linked Open Data environment. It is based on modeling deontic norms in terms of ontology classes and ontology property restrictions. It is also shown how this approach can handle norm defeasibility. Such methodology is implemented by decidable fragments of OWL 2, while legal reasoning is carried out by available decidable reasoners. The approach is generalised by presenting patterns for modeling deontic norms and norms compliance checking.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Semantic Web: Metadata, Linked Data, Open Data.Vanessa Russo - 2015 - Science and Philosophy 3 (2):37-46.
A logic of situated resource-bounded agents.Natasha Alechina & Brian Logan - 2009 - Journal of Logic, Language and Information 18 (1):79-95.
Retractions Data Mining #1.Quan-Hoang Vuong & Viet-Phuong La - 2019 - Open Science Framework 2019 (2):1-3.
Weighted o-minimal hybrid systems.Patricia Bouyer, Thomas Brihaye & Fabrice Chevalier - 2010 - Annals of Pure and Applied Logic 161 (3):268-288.
Typability and type checking in System F are equivalent and undecidable.J. B. Wells - 1999 - Annals of Pure and Applied Logic 98 (1-3):111-156.
Corporate Governance: An Ethical Perspective.Surendra Arjoon - 2005 - Journal of Business Ethics 61 (4):343-352.
Linked Democracy: Foundations, Tools, and Applications.Marta Poblet, Pompeu Casanovas & Víctor Rodríguez-Doncel - 2019 - Cham: Springer Verlag. Edited by Pompeu Casanovas & Víctor Rodríguez-Doncel.
Semantic Web Regulatory Models: Why Ethics Matter.Pompeu Casanovas - 2015 - Philosophy and Technology 28 (1):33-55.
A framework for model checking institutions.Francesco Vigano - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 129--145.

Analytics

Added to PP
2022-07-06

Downloads
5 (#1,344,154)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Speech Acts.J. Searle - 1969 - Foundations of Language 11 (3):433-446.
Speech Acts: An Essay in the Philosophy of Language.John Searle - 1969 - Philosophy and Rhetoric 4 (1):59-61.
The concept of a legal system.Joseph Raz - 1970 - Oxford,: Clarendon Press.
The Language of Law.Andrei Marmor - 2014 - Oxford University Press UK.

View all 14 references / Add more references