Fugu-MT 論文翻訳(概要): Defeasible RDFS via Rational Closure

論文の概要: Defeasible RDFS via Rational Closure

arxiv url: http://arxiv.org/abs/2007.07573v2
Date: Thu, 1 Jun 2023 14:21:27 GMT
ステータス: 処理完了
システム内更新日: 2023-06-03 02:31:58.396726
Title: Defeasible RDFS via Rational Closure
Title（参考訳）: Rational ClosureによるRDFSのデフォルト化
Authors: Giovanni Casini, Umberto Straccia
Abstract要約: 本稿では,Rational Closureを3言語RDFSに統合する方法を示す。典型的なRC構造を用いて,デファジブル$rho df_bot$を提案する。
参考スコア（独自算出の注目度）: 4.340338299803562
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: In the field of non-monotonic logics, the notion of Rational Closure (RC) is acknowledged as a prominent approach. In recent years, RC has gained even more popularity in the context of Description Logics (DLs), the logic underpinning the semantic web standard ontology language OWL 2, whose main ingredients are classes and roles. In this work, we show how to integrate RC within the triple language RDFS, which together with OWL2 are the two major standard semantic web ontology languages. To do so, we start from $\rho df$, which is the logic behind RDFS, and then extend it to $\rho df_\bot$, allowing to state that two entities are incompatible. Eventually, we propose defeasible $\rho df_\bot$ via a typical RC construction. The main features of our approach are: (i) unlike most other approaches that add an extra non-monotone rule layer on top of monotone RDFS, defeasible $\rho df_\bot$ remains syntactically a triple language and is a simple extension of $\rho df_\bot$ by introducing some new predicate symbols with specific semantics. In particular, any RDFS reasoner/store may handle them as ordinary terms if it does not want to take account for the extra semantics of the new predicate symbols; (ii) the defeasible $\rho df_\bot$ entailment decision procedure is build on top of the $\rho df_\bot$ entailment decision procedure, which in turn is an extension of the one for $\rho df$ via some additional inference rules favouring an potential implementation; and (iii) defeasible $\rho df_\bot$ entailment can be decided in polynomial time.
Abstract（参考訳）: 非単調論理の分野では、Rational Closure(RC)の概念が顕著なアプローチとして認められている。近年、RCは、クラスや役割を主とするセマンティックWeb標準オントロジー言語OWL 2の基盤となるロジックである記述論理(DL)の文脈でさらに人気が高まっている。本稿では,三重言語rdfsにrcを組み込む方法について述べる。owl2とともに,semantic web ontologyの2つの主要な標準言語である。そのために、RDFSの背後にあるロジックである$\rho df$から始まり、それを$\rho df_\bot$に拡張します。最終的に、典型的なRC構成によるデファシブル$\rho df_\bot$を提案する。私たちのアプローチの主な特徴は (i)単調rdf上に余分な非単調規則層を追加する他のほとんどのアプローチとは異なり、defeasible $\rho df_\bot$は構文的には三重言語であり、特定の意味を持つ新しい述語記号を導入することで$\rho df_\bot$の単純な拡張である。特に、RDFSの推論/ストアは、新しい述語記号の余分な意味を考慮したくない場合は、それらを通常の用語として扱うことができる。 (ii)defeasible $\rho df_\bot$ entailment 決定手続きは、$\rho df_\bot$ entailment 決定手順の上に構築されており、これは、潜在的な実装を支持するいくつかの追加の推論ルールを介して$\rho df$ の拡張である。 (iii) defeasible $\rho df_\bot$ entailment は多項式時間で決定できる。

関連論文リスト

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster [9.516475567386767]
単項述語のみを円周的に最小化(あるいは固定化)した場合、論理オントロジーの決定可能性を証明する。 FO$2$の場合、複雑さは$textrmcoNexp$から$textrmTower$-complete、GFでは$textrm2Exp$から$textrmTower$-completeに増加します。
論文参考訳（メタデータ） (2024-07-30T13:39:38Z)
Notation3 as an Existential Rule Language [1.805754781371908]
Notation3 Logic (n Three)はRDFの拡張で、RDFグラフに新しい空白ノードを導入したルールを書くことができる。本稿では,頭頂部に空白ノードを持つ3つの規則と実存規則の関係について検討する。
論文参考訳（メタデータ） (2023-08-10T07:41:01Z)
$\ell_p$-Regression in the Arbitrary Partition Model of Communication [59.89387020011663]
コーディネータモデルにおける分散$ell_p$-regression問題のランダム化通信複雑性について考察する。 p = 2$、すなわち最小二乗回帰の場合、$tildeTheta(sd2 + sd/epsilon)$ bitsの最初の最適境界を与える。 p in (1,2)$ に対して、$tildeO(sd2/epsilon + sd/mathrmpoly(epsilon)$ upper bound を得る。
論文参考訳（メタデータ） (2023-07-11T08:51:53Z)
Near-Optimal Regret Bounds for Multi-batch Reinforcement Learning [54.806166861456035]
本研究では,有限水平マルコフ決定過程(MDP)によってモデル化されたエピソディック強化学習(RL)問題をバッチ数に制約を加えて検討する。我々は,$tildeO(sqrtSAH3Kln (1/delta))$tildeO(cdot)をほぼ最適に後悔するアルゴリズムを設計し,$(S,A,H,K)$の対数項を$K$で隠蔽する。技術的貢献は2つある: 1) 探索のためのほぼ最適設計スキーム
論文参考訳（メタデータ） (2022-10-15T09:22:22Z)
Reward-Mixing MDPs with a Few Latent Contexts are Learnable [75.17357040707347]
報酬混合マルコフ決定過程(RMMDP)におけるエピソード強化学習の検討我々のゴールは、そのようなモデルにおける時間段階の累積報酬をほぼ最大化する、ほぼ最適に近いポリシーを学ぶことである。
論文参考訳（メタデータ） (2022-10-05T22:52:00Z)
A Minimal Deductive System for RDFS with Negative Statements [4.340338299803562]
OWA(Open World Assumption)の下で、RDFSを様々な形の否定文で表現し、推論するために拡張する方法を示す。 i) $rho df_botneg$は、特定の意味を持つ新しいシンボルで$rho df$を拡張することで、構文的に三重言語のままです。すべての$rho df_botneg$ナレッジベースは満足できる。
論文参考訳（メタデータ） (2022-02-11T13:56:21Z)
Approximating Defeasible Logics to Improve Scalability [1.3706331473063877]
我々は$DL(partial_||)$を$DL(partial)$などのデファシブル論理における計算結果の計算補助として利用すると考えている。我々は、$DL(partial_||)$を$DL(partial)$に置き換えることができる条件を、引き出された結論を変更することなく特定する。
論文参考訳（メタデータ） (2021-08-11T13:54:12Z)
Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility in ASP [16.79080135184303]
我々は,不可能な公理を持つ知識ベースを$textitDL-Lite_cal R$で定義し,それらの意味的および計算的性質について検討する。制限形式である$textitDL-Lite_cal R$ axiomsにより、より単純なASPエンコーディングを定式化できます。
論文参考訳（メタデータ） (2021-06-28T15:23:11Z)
Nearly Horizon-Free Offline Reinforcement Learning [97.36751930393245]
S$状態、$A$アクション、計画的地平$H$で、エピソードな時間同質なMarkov決定プロセスに関するオフライン強化学習を再考する。経験的MDPを用いた評価と計画のための,約$H$自由なサンプル複雑性境界の最初の集合を得る。
論文参考訳（メタデータ） (2021-03-25T18:52:17Z)
Logarithmic Regret for Reinforcement Learning with Linear Function Approximation [99.59319332864129]
最近提案された2つの線形MDP仮定で対数的後悔が達成可能であることを示す。我々の知る限り、これらは線型関数近似を持つRLに対する最初の対数的後悔境界である。
論文参考訳（メタデータ） (2020-11-23T17:25:00Z)
Non-Autoregressive Neural Dialogue Generation [46.7909443287208]
stsモデルの枠組みでは、$log p(y|x) + log p(x|y)$ からの直接復号は不可能である。我々は,この非言語的最適性問題に対処するために,非自己回帰(非AR)生成モデルを提案する。実験の結果,提案した非AR戦略により,より多様で一貫性があり,適切な応答が得られた。
論文参考訳（メタデータ） (2020-02-11T08:19:28Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。