論文の概要: A Minimal Deductive System for RDFS with Negative Statements
- arxiv url: http://arxiv.org/abs/2202.13750v1
- Date: Fri, 11 Feb 2022 13:56:21 GMT
- ステータス: 処理完了
- システム内更新日: 2022-03-06 13:11:31.612191
- Title: A Minimal Deductive System for RDFS with Negative Statements
- Title（参考訳）: 負のステートメントを持つRDFSのための最小デダクティブシステム
- Authors: Umberto Straccia and Giovanni Casini
- Abstract要約: OWA(Open World Assumption)の下で、RDFSを様々な形の否定文で表現し、推論するために拡張する方法を示す。
i) $rho df_botneg$は、特定の意味を持つ新しいシンボルで$rho df$を拡張することで、構文的に三重言語のままです。
すべての$rho df_botneg$ナレッジベースは満足できる。
- 参考スコア（独自算出の注目度）: 4.340338299803562
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The triple language RDFS is designed to represent and reason with
\emph{positive} statements only (e.g."antipyretics are drugs").
In this paper we show how to extend RDFS to express and reason with various
forms of negative statements under the Open World Assumption (OWA). To do so,
we start from $\rho df$, a minimal, but significant RDFS fragment that covers
all essential features of RDFS, and then extend it to $\rho df_\bot^\neg$,
allowing express also statements such as "radio therapies are non drug
treatments", "Ebola has no treatment", or "opioids and antipyretics are
disjoint classes". The main and, to the best of our knowledge, unique features
of our proposal are: (i) $\rho df_\bot^\neg$ remains syntactically a triple
language by extending $\rho df$ with new symbols with specific semantics and
there is no need to revert to the reification method to represent negative
triples; (ii) the logic is defined in such a way that any RDFS reasoner/store
may handle the new predicates as ordinary terms if it does not want to take
account of the extra capabilities; (iii) despite negated statements, every
$\rho df_\bot^\neg$ knowledge base is satisfiable; (iv) the $\rho df_\bot^\neg$
entailment decision procedure is obtained from $\rho df$ via additional
inference rules favouring a potential implementation; and (v) deciding
entailment in $\rho df_\bot^\neg$ ranges from P to NP.
- Abstract（参考訳）: 三重言語RDFSは、emph{ positive}文のみを表現し、推論するために設計されている(例:antipyretics is drug)。
本稿では,Open World Assumption (OWA)の下でRDFSを拡張して,様々な否定文を表現・推論する方法を示す。
そのために、RDFSのすべての重要な特徴をカバーする最小限のRDFSフラグメントである$\rho df$から始まり、それを$\rho df_\bot^\neg$に拡張し、"ラジオ療法は非薬物治療である"、"エボラには治療がない"、"オピオイドと解熱薬は非結合クラスである"といった表現も可能にする。
私たちの知る限りでは、私たちの提案のユニークな特徴は次のとおりです。
(i)$\rho df_\bot^\neg$ は、特定の意味を持つ新しい記号で$\rho df$を拡張することにより、構文上は三重言語であり、負の三重項を表すために再定義法に戻す必要はない。
(ii) 論理は、追加の機能を考慮していない場合、任意のrdfs推論/ストアが新たな述語を通常の用語として扱うことができるように定義されている。
(iii)否定された言明にもかかわらず、すべての$\rho df_\bot^\neg$ 知識ベースは満足できる。
(iv)$\rho df_\bot^\neg$ Entailment decision procedureは、潜在的な実装を好む追加の推論規則を介して$\rho df$から得られる。
(v)$\rho df_\bot^\neg$の細部の決定は p から np までである。
関連論文リスト
- $\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) - Optimal Sketching Bounds for Sparse Linear Regression [116.30196615349226]
我々は、$ell_p$ノルムや広範なヒンジ様損失関数のクラスから、様々な損失関数の下で、$k$スパース線形回帰の難読スケッチを研究する。
スパース$ell$varepsレグレッションの場合、$Theta(klog(d/k)/varepsilon2)$ rowsでスケッチの上に曖昧な分布が存在し、これは定数要素に固執することを示している。
また、$O(mu2 klog(mun d/varepsilon)/varのスケッチも示します。
論文 参考訳（メタデータ） (2023-04-05T07:24:19Z) - Universality in the tripartite information after global quenches [0.0]
我々はR'enyi-$alpha$ tripartite information $I_3(alpha)(A,B,C)$を地元のハミルトン系を持つクリーンな1Dシステムで研究する。
我々は、ハミルトン語で翻訳された時間的進化の下で、非ゼロ(R'enyi)三分詞情報を持つ状態に局所的に緩和する状態の異なるクラスを同定する。
論文 参考訳（メタデータ） (2022-09-28T17:18:00Z) - Supervised Training of Conditional Monge Maps [107.78770597815242]
最適輸送(OT)理論は、多くの可能な選択の中から確率測度を他のものにマッピングする最も効率的な方法を定義し、選択する一般的な原理を記述している。
本研究では,コンテキスト変数に条件付きOTマップの族を推定するマルチタスク手法であるCondOTを紹介する。
本研究では,CondOTの遺伝的・治療的摂動の任意の組み合わせが単一細胞に与える影響を推測する能力を示す。
論文 参考訳（メタデータ） (2022-06-28T19:34:44Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
我々は、任意のSchatten-$p$ノルムの下で、低ランク近似のためのクリロフ部分空間に基づく反復法について研究する。
我々の主な成果は、$tildeO(k/sqrtepsilon)$ matrix-vector productのみを使用するアルゴリズムである。
論文 参考訳（メタデータ） (2022-02-10T16:10:41Z) - Optimal Spectral Recovery of a Planted Vector in a Subspace [80.02218763267992]
我々は、$ell_4$ノルムが同じ$ell$ノルムを持つガウスベクトルと異なるプラントベクトル$v$の効率的な推定と検出について研究する。
規則$n rho gg sqrtN$ では、大クラスのスペクトル法(そしてより一般的には、入力の低次法)は、植込みベクトルの検出に失敗する。
論文 参考訳（メタデータ） (2021-05-31T16:10:49Z) - Nearly Horizon-Free Offline Reinforcement Learning [97.36751930393245]
S$状態、$A$アクション、計画的地平$H$で、エピソードな時間同質なMarkov決定プロセスに関するオフライン強化学習を再考する。
経験的MDPを用いた評価と計画のための,約$H$自由なサンプル複雑性境界の最初の集合を得る。
論文 参考訳（メタデータ） (2021-03-25T18:52:17Z) - Inapproximability of Minimizing a Pair of DNFs or Binary Decision Trees
Defining a Partial Boolean Function [13.713089043895959]
一対のブール関数 $f, g colon 0,1J to 0,1$ で定義される部分ブール関数を考えると、$f cdot g = 0$ であり、$f$ と $g$ は可分正規形式または二分決定木で定義される。
論文 参考訳（メタデータ） (2021-02-09T08:46:50Z) - On Computing Stable Extensions of Abstract Argumentation Frameworks [1.1251593386108185]
textitabstract argumentation framework (sc af) は有向グラフ $(A,R)$ であり、$A$ はtextitabstract arguments の集合であり、$Rsubseteq A times A$ は textit attack relation である。
与えられた sc における全ての安定な拡張をリストアップするための、既知のバックトラックアルゴリズムの徹底的な形式的検証を示す。
論文 参考訳（メタデータ） (2020-11-03T05:38:52Z) - Defeasible RDFS via Rational Closure [4.340338299803562]
本稿では,Rational Closureを3言語RDFSに統合する方法を示す。
典型的なRC構造を用いて,デファジブル$rho df_bot$を提案する。
論文 参考訳（メタデータ） (2020-07-15T09:45:50Z) - Expressivity of expand-and-sparsify representations [15.016047591601094]
単純なスパースコーディング機構は、いくつかの生物の感覚系に現れる。
z$は情報を$x$でアンパックし、アクセスしやすくする。
この表現が入力空間の多様体構造に適応するかどうかを考える。
論文 参考訳（メタデータ） (2020-06-05T23:36:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。