論文の概要: Ontology-to-tools compilation for executable semantic constraint enforcement in LLM agents

• arxiv url: http://arxiv.org/abs/2602.03439v1
• Date: Tue, 03 Feb 2026 12:03:26 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-04 18:37:15.433884
• Title: Ontology-to-tools compilation for executable semantic constraint enforcement in LLM agents
• Title（参考訳）: LLMエージェントにおける実行可能意味制約強制のためのオントロジー・ツー・ツールコンパイル
• Authors: Xiaochi Zhou, Patrick Bulter, Changxuan Yang, Simon D. Rihm, Thitikarn Angkanaporn, Jethro Akroyd, Sebastian Mosbach, Markus Kraft,
• Abstract要約: 本稿では,大規模言語モデル(LLM)と形式的ドメイン知識意味論を結合する原理実証機構を提案する。 オントロジー仕様は、LLMベースのエージェントが知識グラフインスタンスの作成と修正に使用する実行可能なツールツールにコンパイルされる。 本稿では, LLM インタフェースの有効性, マニュアルスキーマの削減, エンジニアリングの促進, フォーマルな知識を生成システムに組み込むための一般的なパラダイムの確立について述べる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We introduce ontology-to-tools compilation as a proof-of-principle mechanism for coupling large language models (LLMs) with formal domain knowledge. Within The World Avatar (TWA), ontological specifications are compiled into executable tool interfaces that LLM-based agents must use to create and modify knowledge graph instances, enforcing semantic constraints during generation rather than through post-hoc validation. Extending TWA's semantic agent composition framework, the Model Context Protocol (MCP) and associated agents are integral components of the knowledge graph ecosystem, enabling structured interaction between generative models, symbolic constraints, and external resources. An agent-based workflow translates ontologies into ontology-aware tools and iteratively applies them to extract, validate, and repair structured knowledge from unstructured scientific text. Using metal-organic polyhedra synthesis literature as an illustrative case, we show how executable ontological semantics can guide LLM behaviour and reduce manual schema and prompt engineering, establishing a general paradigm for embedding formal knowledge into generative systems.
• Abstract（参考訳）: 本稿では,大規模言語モデル(LLM)と形式的ドメイン知識を結合するための基本メカニズムとして,オントロジーとツールのコンパイルを導入する。 世界アバター(TWA)では、オントロジ的な仕様は、LLMベースのエージェントが知識グラフインスタンスの作成と修正に使用する実行可能なツールインターフェースにコンパイルされる。 TWAのセマンティックエージェント構成フレームワークを拡張するため、モデルコンテキストプロトコル(MCP)と関連するエージェントは知識グラフエコシステムの不可欠なコンポーネントであり、生成モデル、シンボリック制約、外部リソース間の構造化された相互作用を可能にする。 エージェントベースのワークフローは、オントロジーをオントロジー対応のツールに変換し、それを反復的に適用し、構造化されていない科学的テキストから構造化された知識を抽出、検証、修復する。 金属-有機多面体合成の文献を図示的事例として用いて, 実行可能なオントロジ的意味論がLCMの動作をガイドし, マニュアルスキーマを減らし, エンジニアリングを促進することを示し, 形式的知識を生成システムに組み込むための一般的なパラダイムを確立した。

関連論文リスト

• Monadic Context Engineering [59.95390010097654]
  本稿では,エージェント設計の正式な基盤を提供するために,モナディックコンテキストエンジニアリング(MCE)を紹介する。 我々は、モナドがロバストなコンポジションをどのように実現し、Applicativesが並列実行に原則化された構造を提供し、また、モナドトランスフォーマーがこれらの機能の体系的なコンポジションをどのように可能にしているかを実証する。 この階層化されたアプローチにより、開発者は、単純で独立した検証可能なコンポーネントから、複雑でレジリエントで効率的なAIエージェントを構築することができる。
  論文  参考訳（メタデータ） (2025-12-27T01:52:06Z)
• Integrating Ontologies with Large Language Models for Enhanced Control Systems in Chemical Engineering [1.0674471416489186]
  本研究は、構造的ドメイン知識と生成的推論を結合した化学工学のためのオントロジー統合大言語モデル(LLM)フレームワークを提案する。 提案したパイプラインは、データ取得、セマンティックプリプロセッシング、情報抽出、オントロジーマッピングステップのシーケンスを通じて、モデルトレーニングとCOPEオントロジーとの推論を調整する。 このシンボリック構造とニューラルジェネレーションの統合は、プロセス制御、安全分析、その他の重要なエンジニアリングコンテキストにLLMを適用するための透明で監査可能なアプローチを提供する。
  論文  参考訳（メタデータ） (2025-10-30T18:04:20Z)
• Executable Ontologies: Synthesizing Event Semantics with Dataflow Architecture [51.56484100374058]
  我々は、セマンティックイベントセマンティクスとデータフローアーキテクチャを統合することで、従来のビジネスプロセス管理システムの限界に対処できることを実証する。 大胆なシーエンジニアリングのアーキテクチャは、セマンティックモデルをコンパイルなしで実行可能なアルゴリズムとして解釈する。 実行時にイベントモデルを変更することで、透明性を確保し、統一されたセマンティックフレームワーク内でデータとビジネスロジックをシームレスにマージする。
  論文  参考訳（メタデータ） (2025-09-11T18:12:46Z)
• Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams [54.528185120850274]
  本稿では,API2Depという新しいステップバイステップコード生成フレームワークを提案する。 まず、サービス指向アーキテクチャに適した拡張Unified Modeling Language (UML) APIダイアグラムを紹介します。 次に、データフローの重要な役割を認識し、専用のデータ依存推論タスクを導入する。
  論文  参考訳（メタデータ） (2025-08-05T12:28:23Z)
• Do We Really Need GNNs with Explicit Structural Modeling? MLPs Suffice for Language Model Representations [50.45261187796993]
  グラフニューラルネットワーク(GNN)は構造情報を十分に活用できないが、MLP(Multi-Layer Perceptrons)は構造認識タスクにおいて驚くべき能力を示す。 本稿では,情報理論の観点から総合的な探索フレームワークを提案する。
  論文  参考訳（メタデータ） (2025-06-26T18:10:28Z)
• Interpreting token compositionality in LLMs: A robustness analysis [10.777646083061395]
  Constituent-Aware Pooling (CAP)は、大規模言語モデルが言語構造をどのように処理するかを分析するために設計された方法論である。 CAPは様々なモデルレベルで構成型プールを通してモデル活性化に介入する。 本研究は,合成セマンティクス処理とモデル解釈可能性に関する,現在のトランスフォーマーアーキテクチャの基本的制約を明らかにする。
  論文  参考訳（メタデータ） (2024-10-16T18:10:50Z)
• A process algebraic framework for multi-agent dynamic epistemic systems [55.2480439325792]
  本稿では,マルチエージェント,知識ベース,動的システムのモデリングと解析のための統合フレームワークを提案する。 モデリング側では,このようなフレームワークを実用的な目的に使いやすくするプロセス代数的,エージェント指向の仕様言語を提案する。
  論文  参考訳（メタデータ） (2024-07-24T08:35:50Z)

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

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