論文の概要: Semiring Provenance for Lightweight Description Logics

• arxiv url: http://arxiv.org/abs/2310.16472v3
• Date: Wed, 26 Mar 2025 16:51:20 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-03-27 20:08:03.587254
• Title: Semiring Provenance for Lightweight Description Logics
• Title（参考訳）: 軽量記述論理のセミリング特性
• Authors: Camille Bourgaux, Ana Ozaki, Rafael Peñaloza,
• Abstract要約: 本研究は,データベース設定で定義したフレームワークであるprofence semiringについて,記述ロジックについて検討する。 セミリングのいくつかの制限の下で、セマンティクスは望ましい性質を満たすことを示す。 本稿では,アサーションや接続型問合せ応答の証明に関連する問題の複雑性について検討する。
• 参考スコア（独自算出の注目度）: 10.63497953913371
• License:
• 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, for which we study the complexity of problems related to the provenance of an assertion 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 $\mathcal{ELHI}_\bot$ ontology that guarantee tractable reasoning.
• Abstract（参考訳）: セミリングの証明について検討する - もともとリレーショナルデータベースの設定で定義されたフレームワーク、---記述ロジックについて。 この文脈では、オントロジー公理は可換半環の要素でアノテートされ、これらのアノテーションはそれらがどのように導出されるかを反映した形でオントロジーの結果に伝播する。 本稿では,いくつかの軽量記述論理を含む言語に対する証明的意味論を定義し,特定のアノテーション(ファジィ学位など)で注釈付けされたオントロジーのために定義された意味論との関係を示す。 セミリングに関するいくつかの制限の下で、セマンティクスは望ましい性質(データベースで定義されたセミリング証明の拡張など)を満たすことを示す。 次に、アサーションや接続型クエリー応答の証明に関連する問題の複雑さについて研究する、よく知られた理由証明に焦点をあてる。 最後に、データベース設定におけるいわゆる正のブール証明と系統に対応する、より制限された2つのケースについて考察する。 これらのケースでは、記述論理の解説にまつわるよく知られた概念と関係性を示し、複雑性解析を完遂する。 副次的貢献として、抽出可能な推論を保証する$\mathcal{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)
• Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
  本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。 具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
  論文  参考訳（メタデータ） (2023-06-21T07:34:27Z)
• 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)

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

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