No Cover Image

Journal article 272 views 11 downloads

Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme

Livio Robaldo Orcid Logo, Gianluca Pozzato

Journal of Logic and Computation, Volume: 35, Issue: 8, Start page: exaf054

Swansea University Author: Livio Robaldo Orcid Logo

  • 70457.VOR.pdf

    PDF | Version of Record

    © The Author(s) 2025. This is an Open Access article distributed under the terms of the Creative Commons Attribution License.

    Download (1.43MB)

Check full text

DOI (Published version): 10.1093/logcom/exaf054

Abstract

This paper introduces a computational ontology for deontic reasoning, fully implemented in RDF* and SPARQL*, designed to support reasoning in the presence of irresolvable conflicts. These are situations in which two or more norms prescribe incompatible obligations, prohibitions or permissions, witho...

Full description

Published in: Journal of Logic and Computation
ISSN: 0955-792X 1465-363X
Published: Oxford University Press (OUP) 2025
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa70457
Abstract: This paper introduces a computational ontology for deontic reasoning, fully implemented in RDF* and SPARQL*, designed to support reasoning in the presence of irresolvable conflicts. These are situations in which two or more norms prescribe incompatible obligations, prohibitions or permissions, without any clear priority among them. Existing approaches in formal deontic logic are typically limited to the propositional level, focused primarily on obligation as the central modality, and are rarely implemented in a way that is compatible with Semantic Web standards. The framework presented here addresses these limitations by providing a first-order, Resource Description Framework (RDF)-based formalization of all standard deontic modalities: obligations, permissions, optionality and their negations. It supports the explicit representation and reasoning about violations and conflicts while also accounting for contextual constraints. The ontology integrates contributions from three research areas that have so far largely developed in isolation: RDF-based LegalTech solutions, reification-based models of Natural Language Semantics and conflict-tolerant approaches in formal deontic logic. By incorporating contradictions and conflicts into the object language, the ontology supports advanced reasoning tasks within a framework that adheres to W3C standards. This makes it suitable for integration into industrial LegalTech applications where normative reasoning is required.
College: Faculty of Humanities and Social Sciences
Funders: The research presented in this paper has received funding from The Alan Turing Institute UK-Italy Trustworthy AI Visiting Researcher Programme.
Issue: 8
Start Page: exaf054

Similar Items