論文の概要: On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds

• arxiv url: http://arxiv.org/abs/2001.04757v1
• Date: Tue, 14 Jan 2020 13:10:01 GMT
• ステータス: 処理完了
• システム内更新日: 2023-01-11 13:20:00.221122
• Title: On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds
• Title（参考訳）: オープン・クローズド・ワールドにおける不完全データベースの等価性とコアについて
• Authors: Henrik Forssell and Evgeny Kharlamov and Evgenij Thorstensen
• Abstract要約: 我々は2011年, Libkin と Sirangelo の OCWA 意味論と OCWA 意味論に関する質問に答える。 我々はOCWA*と呼ばれる新しいOCWAセマンティクスを、両方のセマンティクスを仮定するホモモルフィックカバーの観点で定義する。 極小性の一般的ないくつかの概念に対して、一般に閉パワーセット意味論の唯一の極小同値なインスタンスは存在しないことを示す。
• 参考スコア（独自算出の注目度）: 6.517632204964862
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Data exchange heavily relies on the notion of incomplete database instances. Several semantics for such instances have been proposed and include open (OWA), closed (CWA), and open-closed (OCWA) world. For all these semantics important questions are: whether one incomplete instance semantically implies another; when two are semantically equivalent; and whether a smaller or smallest semantically equivalent instance exists. For OWA and CWA these questions are fully answered. For several variants of OCWA, however, they remain open. In this work we adress these questions for Closed Powerset semantics and the OCWA semantics of Libkin and Sirangelo, 2011. We define a new OCWA semantics, called OCWA*, in terms of homomorphic covers that subsumes both semantics, and characterize semantic implication and equivalence in terms of such covers. This characterization yields a guess-and-check algorithm to decide equivalence, and shows that the problem is NP-complete. For the minimization problem we show that for several common notions of minimality there is in general no unique minimal equivalent instance for Closed Powerset semantics, and consequently not for the more expressive OCWA* either. However, for Closed Powerset semantics we show that one can find, for any incomplete database, a unique finite set of its subinstances which are subinstances (up to renaming of nulls) of all instances semantically equivalent to the original incomplete one. We study properties of this set, and extend the analysis to OCWA*.
• Abstract（参考訳）: データ交換は不完全なデータベースインスタンスの概念に大きく依存している。 このような事例のセマンティクスが提案され、オープン(OWA)、クローズド(CWA)、オープンクローズド(OCWA)の世界が含まれる。 これらすべての意味論について重要な疑問は、ある不完全なインスタンスが別のインスタンスを意味的に意味的に含んでいるかどうか、二つのインスタンスが意味的に同値である場合、あるいは小さいまたは小さい意味的に同値なインスタンスが存在するかどうかである。 OWAとCWAにとって、これらの質問は完全に答えられる。 しかし、OCWAのいくつかの変種については、未解決のままである。 本研究では,2011 年の Libkin と Sirangelo の OCWA 意味論と OCWA 意味論について述べる。 OCWA*と呼ばれる新しいOCWA意味論を、両方の意味論を仮定する同型被覆の観点で定義し、そのような被覆の観点で意味的含意と等価性を特徴づける。 この特徴付けにより、同値性を決定するための推測と検証のアルゴリズムが得られ、問題はNP完全であることを示す。 最小化問題に対して、極小性のいくつかの一般的な概念に対して、一般に閉パワーセット意味論の唯一の極小同値なインスタンスはなく、したがってより表現力のあるOCWA*に対しても存在しないことを示す。 しかし、閉集合セマンティクスについては、任意の不完全データベースに対して、元の不完全データベースと意味的に等価なすべてのインスタンスの副インスタンス(ヌルのリネームまで)である一意な有限集合を見つけることができる。 この集合の性質を研究し,解析を ocwa* に拡張する。

関連論文リスト

• Syntax and Semantics Meet in the "Middle": Probing the Syntax-Semantics Interface of LMs Through Agentivity [68.8204255655161]
  このような相互作用を探索するためのケーススタディとして,作用性のセマンティックな概念を提示する。 これは、LMが言語アノテーション、理論テスト、発見のためのより有用なツールとして役立つ可能性を示唆している。
  論文  参考訳（メタデータ） (2023-05-29T16:24:01Z)
• Advancing Incremental Few-shot Semantic Segmentation via Semantic-guided Relation Alignment and Adaptation [98.51938442785179]
  増分的な数ショットセマンティックセマンティックセマンティクスは、セマンティクスセマンティクスモデルを新しいクラスに漸進的に拡張することを目的としている。 このタスクは、データ不均衡のため、ベースクラスと新しいクラスの間で深刻な意味認識の問題に直面します。 本稿では,従来の意味情報のガイダンスを完全に考慮した意味誘導型関係調整適応法を提案する。
  論文  参考訳（メタデータ） (2023-05-18T10:40:52Z)
• Identifying Ambiguous Similarity Conditions via Semantic Matching [49.06931755266372]
  Weakly Supervised Conditional similarity Learning (WS-CSL)を紹介する。 WS-CSLは、"can fly"のような明示的な条件ラベルなしでセマンティック条件にマッチする複数の埋め込みを学習する 本研究では, インスタンスインスタンスと三重項条件の関係を「分解・融合」方式で特徴付ける, 距離誘起セマンティック・コンディション検証ネットワーク (DiscoverNet) を提案する。
  論文  参考訳（メタデータ） (2022-04-08T13:15:55Z)
• Unsupervised Semantic Segmentation by Distilling Feature Correspondences [94.73675308961944]
  教師なしセマンティックセグメンテーション(unsupervised semantic segmentation)は、アノテーションなしで画像コーパス内の意味論的意味のあるカテゴリを発見し、ローカライズすることを目的としている。 STEGOは、教師なし特徴を高品質な個別のセマンティックラベルに蒸留する新しいフレームワークである。 STEGOは、CocoStuffとCityscapesの両課題において、先行技術よりも大幅に改善されている。
  論文  参考訳（メタデータ） (2022-03-16T06:08:47Z)
• 'Tis but Thy Name: Semantic Question Answering Evaluation with 11M Names for 1M Entities [0.0]
  Wiki Entity similarity(WES)データセットは、Wikipediaのリンクテキストから生成される111M例、ドメインターゲット、セマンティックエンティティ類似性データセットである。 例はエンティティとフレーズで、セマンティッククラスタにグループ化され、複数の基底構造ラベルをシミュレートする。 人間のアノテータは、WESラベルに一貫して同意し、基本的なクロスエンコーダメトリックは、人間の正当性を予測するための4つの古典的な指標よりも優れている。
  論文  参考訳（メタデータ） (2022-02-28T07:12:39Z)
• Linguistically-Enriched and Context-Aware Zero-shot Slot Filling [6.06746295810681]
  スロット充填は、現代のタスク指向ダイアログシステムの最も重要な課題の1つです。 新たなドメイン(すなわち、トレーニングの見当たらない)がデプロイ後に出現する可能性がある。 モデルがシームレスに適応し、見えないドメインと見えないドメインの両方からスロットを埋めることは必須である。
  論文  参考訳（メタデータ） (2021-01-16T20:18:16Z)
• On graded semantics of abstract argumentation: Extension-based case [0.0]
  本稿では,抽象的議論フレームワーク(AAF)における拡張型意味論の課題について考察する。 代替基本補題が与えられ、[1]で得られた対応する結果を一般化する。 コンフリクトフリー、許容可能、完全、安定のセマンティクスを含む、AFの基本的なセマンティクスは、リミット・ミート・モジュロ・アン・ウルトラフィルタの下で閉じられていることが示されている。
  論文  参考訳（メタデータ） (2020-12-19T04:32:19Z)
• CASE: Context-Aware Semantic Expansion [68.30244980290742]
  本稿では,CASE(Context-Aware Semantic Expansion)と呼ばれる新しいタスクを定義し,検討する。 セマンティックな文脈でシード項が与えられた場合、その文脈に適した他の用語をシードとして提案することを目指している。 このタスクのアノテーションは,既存のコーパスから完全に自動で,大規模に抽出可能であることを示す。
  論文  参考訳（メタデータ） (2019-12-31T06:38:57Z)
• Human Correspondence Consensus for 3D Object Semantic Understanding [56.34297279246823]
  本稿では,CorresPondenceNetという新しいデータセットを提案する。 このデータセットに基づいて、新しい測地的整合性損失を伴う密接なセマンティック埋め込みを学習することができる。 CorresPondenceNetは異種オブジェクトの細粒度理解を促進できるだけでなく、クロスオブジェクト登録や部分オブジェクトマッチングも実現できた。
  論文  参考訳（メタデータ） (2019-12-29T04:24:22Z)

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

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