論文の概要: 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オントロジーの条件を提供する。

関連論文リスト

• A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
  「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。 本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
  論文  参考訳（メタデータ） (2024-05-10T14:13:21Z)
• Inferentialist Resource Semantics [48.65926948745294]
  本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。 推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。 この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
  論文  参考訳（メタデータ） (2024-02-14T14:54:36Z)
• 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)
• 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)
• Provenance for the Description Logic ELHr [9.35688592148841]
  我々は、最近導入されたデータアクセスの設定を、古典的なデータアクセスの証明と拡張に基づいて検討する。 公理の存在は証明を扱うのに様々な困難を伴い、その一部は半環の乗法的イデオロポシーを仮定することによって緩和される。
  論文  参考訳（メタデータ） (2020-01-21T13:56:48Z)

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

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