This paper presents a new ontology that implements the well-known Deontic Traditional Scheme in RDFs and SPARQL, fit to handle irresolvable conflicts, i.e., situations in which two or more statements prescribe conflicting obligations, prohibitions, or permissions, with none of them being "stronger" than the other one(s). In our view, this paper marks a significant advancement in standard theoretical research in formal Deontic Logic. Most contemporary approaches in this field are confined to the propositional level, mainly focus on the notion of obligation, and lack implementations. The proposed framework is encoded in RDF, which is not only a first-order language but also the most widely used knowledge representation language, as it forms the foundation of the Semantic Web. Moreover, the proposed computational ontology formalizes all deontic modalities defined in the Deontic Traditional Scheme, without specifically focusing on obligations, and offers constructs to model and reason with various types of irresolvable conflicts, violations, and the interaction between deontic modalities and contextual constraints in a given state of affairs. To the best of our knowledge, no existing approach in the literature addresses all these aspects within a unified integrated framework. All examples presented and discussed in this paper, together with Java code and clear instructions to re-execute them locally, are available at https://github.com/liviorobaldo/conflict-tolerantDeonticTraditionalScheme

翻译：本文提出了一种在RDFs和SPARQL中实现经典道义传统方案的新型本体，适用于处理不可解冲突，即两个或多个陈述规定了相互冲突的义务、禁止或许可，且没有任何一方比另一方更具"强制力"的情形。我们认为，本文标志着形式道义逻辑标准理论研究的重要进展。该领域现有研究大多局限于命题层面，主要聚焦义务概念，且缺乏具体实现。所提出的框架采用RDF编码——RDF不仅是一阶语言，更是应用最广泛的知识表示语言，构成了语义网的基础。此外，该计算本体形式化了道义传统方案中定义的所有道义模态，而非专门关注义务，并提供了建模和推理多种不可解冲突、违规行为以及特定事态下道义模态与语境约束相互作用的构造方法。据我们所知，现有文献中尚无方法能在统一集成框架内处理所有这些方面。本文展示和讨论的所有示例，连同可本地重新执行的Java代码与清晰说明，均可在https://github.com/liviorobaldo/conflict-tolerantDeonticTraditionalScheme获取。