論文の概要: Semiring Provenance for Lightweight Description Logics
- arxiv url: http://arxiv.org/abs/2310.16472v1
- Date: Wed, 25 Oct 2023 08:53:49 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-26 15:45:16.044492
- Title: Semiring Provenance for Lightweight Description Logics
- Title(参考訳): 軽量記述論理のセミリング特性
- Authors: Camille Bourgaux, Ana Ozaki, Rafael Pe\~naloza
- Abstract要約: 提案手法は,データベースのセッティングにもともと定義されていた,記述論理のためのフレームワークであるprofence semiringについて検討する。
セミリングのいくつかの制限の下で、セマンティクスは望ましい性質を満たすことを示す。
本稿では,公理や接続型問合せ解の証明に関連する問題の複雑性について検討する。
- 参考スコア(独自算出の注目度): 9.894661582401447
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We investigate semiring provenance--a successful framework originally defined
in the relational database setting--for description logics. In this context,
the ontology axioms are annotated with elements of a commutative semiring and
these annotations are propagated to the ontology consequences in a way that
reflects how they are derived. We define a provenance semantics for a language
that encompasses several lightweight description logics and show its
relationships with semantics that have been defined for ontologies annotated
with a specific kind of annotation (such as fuzzy degrees). We show that under
some restrictions on the semiring, the semantics satisfies desirable properties
(such as extending the semiring provenance defined for databases). We then
focus on the well-known why-provenance, which allows to compute the semiring
provenance for every additively and multiplicatively idempotent commutative
semiring, and for which we study the complexity of problems related to the
provenance of an axiom or a conjunctive query answer. Finally, we consider two
more restricted cases which correspond to the so-called positive Boolean
provenance and lineage in the database setting. For these cases, we exhibit
relationships with well-known notions related to explanations in description
logics and complete our complexity analysis. As a side contribution, we provide
conditions on an ELHI_bot ontology that guarantee tractable reasoning.
- Abstract(参考訳): セミリングの証明について検討する - もともとリレーショナルデータベースの設定で定義されたフレームワーク、- 記述ロジックについて。
この文脈では、オントロジー公理は可換半環の要素でアノテートされ、これらの注釈はどのように導かれるかを反映してオントロジーの結果に伝達される。
我々は、いくつかの軽量な記述論理を包含する言語のプロヴァンスセマンティクスを定義し、特定の種類のアノテーション(ファジィ次数など)でアノテートされたオントロジーで定義されたセマンティクスとの関係を示す。
半環に対するいくつかの制限の下では、意味論は望ましい性質(例えば、データベースで定義された半環のプロヴァンスを拡張する)を満たす。
次に,各加法的および乗法的等化的可換半環に対するセミリング証明を計算し,公理や共役的な問合せ解の証明に関連する問題の複雑性について検討する,よく知られた理由証明に焦点をあてる。
最後に、データベース設定における正のブール前兆と系統に対応する2つの制限されたケースについて考察する。
これらの場合、記述論理の説明に関連するよく知られた概念との関係を示し、複雑性分析を完了させる。
副次的貢献として、抽出可能な推論を保証するELHI_botオントロジーの条件を提供する。
関連論文リスト
- An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - Logic-induced Diagnostic Reasoning for Semi-supervised Semantic
Segmentation [85.12429517510311]
LogicDiagは、セマンティックセグメンテーションのためのニューラルネットワークによる半教師付き学習フレームワークである。
私たちの重要な洞察は、記号的知識によって識別される擬似ラベル内の衝突は、強いが一般的に無視される学習信号として機能する、ということです。
本稿では,論理規則の集合として意味論的概念の構造的抽象化を定式化するデータ・ハングリーセグメンテーションシナリオにおけるLogicDiagの実践的応用について紹介する。
論文 参考訳(メタデータ) (2023-08-24T06:50:07Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳(メタデータ) (2023-06-21T07:34:27Z) - An Embedding-based Approach to Inconsistency-tolerant Reasoning with
Inconsistent Ontologies [12.760301272393898]
本稿では,公理の埋め込みに基づく一貫性のない意味論による推論手法を提案する。
組込みに基づく手法は、最大一貫した部分集合に基づく既存の矛盾耐性推論手法よりも優れていることを示す。
論文 参考訳(メタデータ) (2023-04-04T09:38:02Z) - Relational Proxies: Emergent Relationships as Fine-Grained
Discriminators [52.17542855760418]
本稿では,オブジェクトのグローバル部分とローカル部分の間の情報を利用してラベルを符号化する手法を提案する。
我々は、理論的な結果に基づいてプロキシを設計し、7つの挑戦的なきめ細かいベンチマークデータセットに基づいて評価する。
また、この理論を実験的に検証し、複数のベンチマークで一貫した結果を得る。
論文 参考訳(メタデータ) (2022-10-05T11:08:04Z) - Nested Counterfactual Identification from Arbitrary Surrogate
Experiments [95.48089725859298]
観測と実験の任意の組み合わせからネスト反事実の同定について検討した。
具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
論文 参考訳(メタデータ) (2021-07-07T12:51:04Z) - A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。
これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文 参考訳(メタデータ) (2021-05-10T19:06:07Z) - The logic of contextuality [0.0]
文脈性は量子非古典性の鍵となる記号である。
部分ブール代数の設定における文脈性の論理について検討する。
論文 参考訳(メタデータ) (2020-11-05T19:04:04Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳(メタデータ) (2020-08-06T02:13:11Z) - Tensors over Semirings for Latent-Variable Weighted Logic Programs [9.307453801175175]
この概念の一般化として、潜在変数半環解析を提案する。
我々のフレームワークでは、任意の半環重み付き論理プログラムは、半環からランクn配列へ重みを変換することで遅延化できる。
この一般化は、その表現性を厳格に増大させながら、元の半環フレームワークのすべての所望の性質を保っていることを証明している。
論文 参考訳(メタデータ) (2020-06-07T18:52:58Z) - Provenance for the Description Logic ELHr [9.35688592148841]
我々は、最近導入されたデータアクセスの設定を、古典的なデータアクセスの証明と拡張に基づいて検討する。
公理の存在は証明を扱うのに様々な困難を伴い、その一部は半環の乗法的イデオロポシーを仮定することによって緩和される。
論文 参考訳(メタデータ) (2020-01-21T13:56:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。