論文の概要: Wikidata Constraints on MARS (Extended Technical Report)
- arxiv url: http://arxiv.org/abs/2008.03900v2
- Date: Mon, 17 Aug 2020 02:57:00 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-31 22:56:53.783004
- Title: Wikidata Constraints on MARS (Extended Technical Report)
- Title(参考訳): Wikidata Constraints on MARS (Extended Technical Report)
- Authors: David L. Martin, Peter F. Patel-Schneider
- Abstract要約: Wikidataの既存のプロパティ制約のほとんどすべてが、自然的かつ経済的に完全に特徴づけられることを示す。
また、提案したいくつかのプロパティ制約のキャラクタリゼーションを行い、同じフレームワークで様々な非プロパティ制約を処理可能であることを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Wikidata constraints, albeit useful, are represented and processed in an
incomplete, ad hoc fashion. Constraint declarations do not fully express their
meaning, and thus do not provide a precise, unambiguous basis for constraint
specification, or a logical foundation for constraint-checking implementations.
In prior work we have proposed a logical framework for Wikidata as a whole,
based on multi-attributed relational structures (MARS) and related logical
languages. In this paper we explain how constraints are handled in the proposed
framework, and show that nearly all of Wikidata's existing property constraints
can be completely characterized in it, in a natural and economical fashion. We
also give characterizations for several proposed property constraints, and show
that a variety of non-property constraints can be handled in the same
framework.
- Abstract(参考訳): Wikidataの制約は便利だが、不完全なアドホックな方法で表現され、処理される。
制約宣言はその意味を完全に表現していないため、制約仕様の正確で曖昧な基礎や制約チェック実装の論理的基盤を提供していない。
以前の研究では、マルチアトリビュートリレーショナル構造(mars)と関連する論理言語に基づいて、wikidata全体の論理フレームワークを提案しました。
本稿では,提案フレームワークにおいて制約がどのように扱われるかを説明し,wikidataの既存のプロパティ制約のほとんどが自然かつ経済的な方法で完全に特徴付けられることを示す。
また、提案したいくつかのプロパティ制約のキャラクタリゼーションを行い、同じフレームワークで様々な非プロパティ制約を処理可能であることを示す。
関連論文リスト
- SRFUND: A Multi-Granularity Hierarchical Structure Reconstruction Benchmark in Form Understanding [55.48936731641802]
階層的に構造化されたマルチタスク形式理解ベンチマークであるSRFUNDを提案する。
SRFUNDはオリジナルのFUNSDとXFUNDデータセットの上に洗練されたアノテーションを提供する。
データセットには、英語、中国語、日本語、ドイツ語、フランス語、スペイン語、イタリア語、ポルトガル語を含む8つの言語が含まれている。
論文 参考訳(メタデータ) (2024-06-13T02:35:55Z) - ConstraintChecker: A Plugin for Large Language Models to Reason on
Commonsense Knowledge Bases [53.29427395419317]
コモンセンス知識ベース(CSKB)に対する推論は,新しいコモンセンス知識を取得する方法として検討されてきた。
我々は**ConstraintChecker*を提案します。
論文 参考訳(メタデータ) (2024-01-25T08:03:38Z) - Using Integer Constraint Solving in Reuse Based Requirements Engineering [0.0]
製品ライン(PL)は、再利用ベースの構成に対する効果的なアプローチを証明した。
現在、製品は制約満足度問題と見なせることが広く認識されている。
制約プログラミングをPLの制約を指定するための第一選択候補として考えるのは当然である。
本稿では,PL制約の指定に整数制約プログラミングを用いることについて,さらに検討する。
論文 参考訳(メタデータ) (2023-09-28T09:20:07Z) - Controlled Text Generation with Natural Language Instructions [74.88938055638636]
InstructCTGは、異なる制約を含む制御されたテキスト生成フレームワークである。
まず、既製のNLPツールと単純な動詞の組み合わせにより、自然文の基本的制約を抽出する。
制約の自然言語記述といくつかの実演を予測することにより、様々な種類の制約を組み込むために、事前訓練された言語モデルを微調整する。
論文 参考訳(メタデータ) (2023-04-27T15:56:34Z) - Handling Wikidata Qualifiers in Reasoning [0.0]
Wikidata文を用いた推論規則における修飾子処理方法を示す。
Wikidataモデルの形式化には,多種多様な論理言語を使用します。
MSLと仕様を使って修飾子を推論する方法を示す。
論文 参考訳(メタデータ) (2023-04-06T21:05:52Z) - An ontology-aided, natural language-based approach for multi-constraint
BIM model querying [0.0]
本稿では,異なる制約を含む自然言語クエリ(NLQ)を,複雑なBIMモデルを問合せするためのコンピュータ可読コードに自動的にマッピングする,新しいオントロジー支援セマンティクスを提案する。
実世界の住宅ビルの設計チェックに関する事例研究は,建設業における提案手法の実践的価値を実証している。
論文 参考訳(メタデータ) (2023-03-27T11:35:40Z) - COLD Decoding: Energy-based Constrained Text Generation with Langevin
Dynamics [69.8062252611486]
コールドデコーディングは、既製の左から右の言語モデルに直接適用可能なフレキシブルなフレームワークである。
制約付き生成タスクの実験は、自動評価と人的評価の両方の観点から、我々のアプローチの有効性を示している。
論文 参考訳(メタデータ) (2022-02-23T18:59:27Z) - Wikidata on MARS [0.20305676256390934]
一般化されたプロパティグラフの形式的データモデルとして,マルチ分散リレーショナル構造 (MARS) が提案されている。
MARPLはプロパティグラフ上の推論ルールを記述するための有用なルールベースのロジックである。
Wikidataは、Wikidataのデータ型を追加する拡張MARSでモデル化することができる。
論文 参考訳(メタデータ) (2020-08-14T22:58:04Z) - DART: Open-Domain Structured Data Record to Text Generation [91.23798751437835]
82k以上のインスタンス(DART)を持つオープンドメイン構造化DAta Record to Text生成データセットであるDARTを提案する。
本稿では,テーブルヘッダとテーブルタイトル間の意味的依存関係を利用して,その構造を符号化するテーブルから意味的三重項を抽出する手法を提案する。
我々のデータセット構築フレームワークは、オープンドメイン意味解析と対話行動に基づく意味表現タスクからヘテロジニアスソースを効果的に統合する。
論文 参考訳(メタデータ) (2020-07-06T16:35:30Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳(メタデータ) (2020-06-18T20:09:53Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳(メタデータ) (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。