論文の概要: Notation3: Graph Terms for RDF

• arxiv url: http://arxiv.org/abs/2610.31266v1
• Date: Thu, 22 Oct 2026 13:38:53 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-24 02:08:44.388839
• Title: Notation3: Graph Terms for RDF
• Title（参考訳）: Notation3:RDFのグラフ用語
• Abstract要約: Notation3 LogicはRDFの拡張として導入され、ユーザはトリプル上のルールを表現でき、グラフに関するステートメントを作成できる。 本稿では,論理学の抽象構文を導入し,その意味を2つのステップで定義する。 N3-entailmentは、論理の異なる特殊述語に意味を割り当てる基本的なentailmentの拡張である。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Notation3 Logic was introduced as an extension of RDF allowing the user to express rules on top of triples and to make statements about graphs. The original proposal of the logic only came with an informal specification of its semantics which has been refined later on. While this refinement clarified the meaning of rules and implicitly quantified variables, it left the meaning of graphs used as terms - so-called graph terms - open. In this paper we aim to close this gap. We discuss in detail, how graph terms are used in Notation3, which formal requirements they need to meet, and provide examples to illustrate the difficulties when defining their semantics. We then introduce an abstract syntax for the logic and define its semantics in two steps: similarly to RDF's simple interpretations, we define interpretations and basic entailment for Notation3 which covers plain RDF triples but also triples containing graph terms. N3-entailment is then an extension of basic entailment which assigns meaning to the different special predicates of the logic like for example the implication symbol. N3-entailment is defined in a way that it can be extended whenever a new predicate is added to the logic. As Notation3 Logic is currently under development, we expect many predicates to be added. Our research provides and important step towards the full standardisation of the logic.
• Abstract（参考訳）: Notation3 LogicはRDFの拡張として導入され、ユーザはトリプル上のルールを表現でき、グラフに関するステートメントを作成できる。 論理学の最初の提案は、後になって改良された意味論の非公式な仕様でのみなされた。 この改良によって規則の意味と暗黙的に定量化された変数が明確になったが、グラフ用語(いわゆるグラフ用語)として使われるグラフの意味は開かれたままであった。 本稿では,このギャップを埋めることを目的とする。 我々は、グラフ用語がNotation3でどのように使われているか、どの形式的な要件を満たす必要があるかを詳細に議論し、セマンティクスを定義する際の困難を例示する。 次に、論理学の抽象構文を導入し、その意味論を2つのステップで定義する:RDFの単純な解釈と同様に、通常のRDF三重項だけでなくグラフ項を含む三重項も含むNotation3の解釈と基本包含を定義する。 N3-entailmentは、例えば含意記号のような論理の異なる特殊述語に意味を割り当てる基本的なentailmentの拡張である。 N3-entailmentは、新しい述語がロジックに追加されるたびに拡張できる方法で定義される。 Notation3 Logicは現在開発中なので、多くの述語が追加されることを期待しています。 私たちの研究は、論理の完全な標準化に向けた重要なステップを提供します。

関連論文リスト

• GraphWrit3R: End-to-End 3D Scene Graph Writing [55.64871017816196]
  3Dシーングラフは、オブジェクト、それらの意味的属性、それらの間の関係を符号化することで、複雑な環境の構造化された表現を提供する。 3次元シーングラフ生成の現在のアプローチは、いくつかの基本的な制限に悩まされている。 GraphWrit3Rは,3Dポイントクラウドを利用するシンプルなエンドツーエンドの手法で,シーンを構造化スクリプトとして直接出力する。
  論文  参考訳（メタデータ） (2026-09-25T17:52:39Z)
• Extracting Rule-based Descriptions of Attention Features in Transformers [68.33953232728204]
  注意層出力に基づいて学習したSAE特徴の規則に基づく記述について検討した。 ほとんどの機能は、約100のスキップグラムルールでうまく記述されているかもしれません。 本稿では,ルールに基づく特徴記述の今後の研究の基盤となる課題について述べる。
  論文  参考訳（メタデータ） (2025-10-20T22:52:40Z)
• Modeling Unified Semantic Discourse Structure for High-quality Headline Generation [45.23071138765902]
  文書意味論を表現するために,統一意味談話構造(S3)を提案する。 文、節、単語の階層的な構成は、本質的に全体文書の意味を特徴づける。 私たちの仕事は、見出しや要約生成以上の、幅広いドキュメントモデリングタスクに対してインストラクティブなものです。
  論文  参考訳（メタデータ） (2024-03-23T09:18:53Z)
• Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts [0.0]
  私たちは記述ロジックの拡張に$mathcalEL$をフォーカスします。 拡張の有用な断片について、異なる意味論による結論が一致することを示す。 わずかに小さいが、それでも有用である断片のために、私たちは拡張の決定可能性を示すことができました。
  論文  参考訳（メタデータ） (2023-08-16T09:37:38Z)
• Existential Notation3 Logic [1.5285292154680246]
  頭部に空白ノードを特徴付けるN3規則と実存規則との相関について検討した。 我々は、EYEやcwmのようなN3推論器の性能をVLogやNemoと比較する。 以上の結果から,実存則推論器は豊富な事実を持つシナリオにおいて優れており,EYE推論器は大量の依存ルールを管理する上での例外的な速度を示す。
  論文  参考訳（メタデータ） (2023-08-10T07:41:01Z)
• Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
  論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。 このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。 本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
  論文  参考訳（メタデータ） (2021-05-08T10:09:36Z)
• Compositional Generalization via Semantic Tagging [81.24269148865555]
  本稿では,シーケンス・ツー・シーケンスモデルの表現性と一般性を保存するための新しいデコードフレームワークを提案する。 提案手法は, モデルアーキテクチャ, ドメイン, セマンティックフォーマリズム間の構成一般化を一貫して改善することを示す。
  論文  参考訳（メタデータ） (2020-10-22T15:55:15Z)
• Graph-Structured Referring Expression Reasoning in The Wild [105.95488002374158]
  接地参照表現は、自然言語表現によって参照されるオブジェクトのイメージ中を特定することを目的としている。 本研究では,シーングラフとシーングラフの推論を行うために,シーングラフガイドモジュールネットワーク(SGMN)を提案する。 また,構造化参照式推論のための大規模実世界のデータセットRef-Reasoningを提案する。
  論文  参考訳（メタデータ） (2020-04-19T11:00:30Z)

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

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