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

要約

この論文は、RDF と SPARQL でよく知られている Deontic Traditional Scheme を実装し、解決不可能な矛盾、つまり、2 つ以上のステートメントが矛盾する義務、禁止、または許可を規定し、そのどれもが「」ではない状況の処理に適した新しいオントロジーを提示します。
他のものよりも強い。
私たちの見解では、この論文は、正式なデオンティック論理における標準的な理論研究における重要な進歩を示しています。
この分野における最近のアプローチのほとんどは命題レベルに限定されており、主に義務の概念に焦点を当てており、実装が欠けています。
提案されたフレームワークは RDF でエンコードされています。RDF は一次言語であるだけでなく、セマンティック Web の基礎を形成するため、最も広く使用されている知識表現言語でもあります。
さらに、提案された計算オントロジーは、特に義務に焦点を当てることなく、義務論的方式で定義されたすべての義務論的モダリティを形式化し、さまざまな種類の解決不可能な矛盾、違反、および義務論的モダリティと文脈上の制約の間の相互作用をモデル化および推論するための構造を提供します。
与えられた状況。
私たちの知る限り、統一された統合フレームワーク内でこれらすべての側面に対処する既存のアプローチは文献にありません。
このペーパーで紹介および説明したすべての例は、Java コードおよびローカルで再実行するための明確な手順とともに、https://github.com/liviorobaldo/conflict-tolerantDeonticTraditionalScheme で入手できます。

要約(オリジナル)

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

arxiv情報

提供元, 利用サービス

arxiv.jp, Google