論文の概要: Robustness of Constraint Automata for Description Logics with Concrete Domains
- arxiv url: http://arxiv.org/abs/2601.19644v1
- Date: Tue, 27 Jan 2026 14:19:56 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-01-28 15:26:51.346873
- Title: Robustness of Constraint Automata for Description Logics with Concrete Domains
- Title（参考訳）: コンクリートドメイン記述論理における制約オートマタのロバスト性
- Authors: Stéphane Demri, Tianwen Gu,
- Abstract要約: 最適上界EXPTIMEに導かれるオートマタベースのアプローチを公開する。
具体的な領域がいくつかの単純な性質を満たす場合、そのようなオートマトンに対する空白問題はEXPTIMEに属することを示す。
制約オートマトンの表現力により、結果は逆の役割、名前、制約アサーションなどの追加の材料に拡張される。
- 参考スコア（独自算出の注目度）: 2.062593640149623
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Decidability or complexity issues about the consistency problem for description logics with concrete domains have already been analysed with tableaux-based or type elimination methods. Concrete domains in ontologies are essential to consider concrete objects and predefined relations. In this work, we expose an automata-based approach leading to the optimal upper bound EXPTIME, that is designed by enriching the transitions with symbolic constraints. We show that the nonemptiness problem for such automata belongs to EXPTIME if the concrete domains satisfy a few simple properties. Then, we provide a reduction from the consistency problem for ontologies, yielding EXPTIME-membership.Thanks to the expressivity of constraint automata, the results are extended to additional ingredients such as inverse roles, functional role names and constraint assertions, while maintaining EXPTIME-membership, which illustrates the robustness of the approach
- Abstract（参考訳）: 具体的ドメインを持つ記述論理の整合性に関する決定可能性や複雑性の問題は、既にテーブルーベースあるいは型消去法で分析されている。
オントロジーにおける具体的なドメインは、具体的なオブジェクトと事前定義された関係を考えるのに不可欠である。
本研究では, シンボリック制約で遷移を豊かにすることで設計した, 最適上界EXPTIMEに導かれるオートマタに基づくアプローチを明らかにする。
具体的な領域がいくつかの単純な性質を満たす場合、そのようなオートマトンに対する空白問題はEXPTIMEに属することを示す。
そして, オントロジの一貫性問題からEXPTIMEメンバシップの獲得を減らし, 制約オートマトンを表現力として, 逆役, 機能的役割名, 制約アサーションなどの付加的な要素に拡張し, EXPTIMEメンバシップを維持しながら, アプローチの堅牢性を示す。
関連論文リスト
- CoT-Seg: Rethinking Segmentation with Chain-of-Thought Reasoning and Self-Correction [50.67483317563736]
本稿では,段階的に考察し,必要な情報を検索し,結果を生成し,自己評価を行い,結果を洗練するシステムを提案する。
CoT-Segは、思考の連鎖推論と自己補正を組み合わせることで、推論セグメンテーションを再考する、トレーニング不要のフレームワークである。
論文 参考訳（メタデータ） (2026-01-24T11:41:54Z) - R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling [0.0]
R-ConstraintBenchは、資源制約計画スケジューリング問題(RCPSP)のモデルを評価するフレームワークである。
データセンターのマイグレーション設定でベンチマークをインスタンス化し、実行可能性とエラー分析を用いて複数のLCMを評価する。
実証的には、強いモデルは優先順位のみのDAGでほぼシーリングされるが、ダウンタイム、時間的ウィンドウ、および解離的制約が相互作用すると、実現可能性のパフォーマンスは低下する。
論文 参考訳（メタデータ） (2025-08-21T03:35:58Z) - LLM-Symbolic Integration for Robust Temporal Tabular Reasoning [69.27153114778748]
本研究では,システムおよび制御された評価のための合成データセットであるTempTabQA-Cを紹介する。
この構造化アプローチにより、LLM(Large Language Models)はsqlクエリの生成と実行を可能にし、一般化とバイアス軽減の強化を行う。
論文 参考訳（メタデータ） (2025-06-06T05:14:04Z) - Multi-Attribute Constraint Satisfaction via Language Model Rewriting [67.5778646504987]
マルチ属性制約満足度(英: Multi-Attribute Constraint Satisfaction, MACS)は、言語モデルを微調整して、複数の外部実値属性に対するユーザ指定制約を満たす手法である。
我々の研究は、NLPやバイオインフォマティクスにまたがる多様な応用に影響を及ぼす、一般化および実値多属性制御のための新しい道を開く。
論文 参考訳（メタデータ） (2024-12-26T12:36:39Z) - From Instructions to Constraints: Language Model Alignment with
Automatic Constraint Verification [70.08146540745877]
NLPタスクの共通制約を調査し、それらの引数の型に基づいて、それらを3つのクラスに分類する。
本稿では,ACT(ConsTraintsのアラインメント)という統合フレームワークを提案し,制約に適応したユーザアライメントのための監視信号を自動的に生成する。
論文 参考訳（メタデータ） (2024-03-10T22:14:54Z) - Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability [8.618430843854048]
接続的クエリに対する回答の数をカウントすることは、標準的な仮定では効率的な解を持たないデータベースの基本的な問題である。
固有インスタンスの構造特性を調べ、#-ハイパーツリー分解という新しい概念を導入することにより、抽出可能なクラスをピンポイントする。
論文 参考訳（メタデータ） (2023-11-24T16:09:12Z) - State Merging with Quantifiers in Symbolic Execution [1.07873286104678]
状態統合時に導入された解離の数とif-then-else式を減らすことを目的としている。
主なアイデアは、シンボル状態が経路制約で検出された同様の一様構造に従って、動的に合併群に分割することである。
論文 参考訳（メタデータ） (2023-08-23T11:29:20Z) - An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。
ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
論文 参考訳（メタデータ） (2021-02-17T19:55:42Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。