論文の概要: Fitting Ontologies and Constraints to Relational Structures
- arxiv url: http://arxiv.org/abs/2508.13176v1
- Date: Mon, 11 Aug 2025 21:52:58 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-20 15:36:31.627909
- Title: Fitting Ontologies and Constraints to Relational Structures
- Title（参考訳）: 関係構造に適合するオントロジーと制約
- Authors: Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph,
- Abstract要約: 論理記述は $mathcalEmkern-2mu Lmu と $mathcalEmkern-2mu LI$ のクラスと $mathcalEmkern-2mu LI$ のクラスと $mathcalEmkern-2mu LI$ のクラスと $mathcalEmkern-2mu LI$ のクラス、および $mathcalEmkern-2mu LI$ のクラスを考える。
私たちはその正確な複雑さを指摘します。
- 参考スコア（独自算出の注目度）: 13.503249950131295
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We study the problem of fitting ontologies and constraints to positive and negative examples that take the form of a finite relational structure. As ontology and constraint languages, we consider the description logics $\mathcal{E\mkern-2mu L}$ and $\mathcal{E\mkern-2mu LI}$ as well as several classes of tuple-generating dependencies (TGDs): full, guarded, frontier-guarded, frontier-one, and unrestricted TGDs as well as inclusion dependencies. We pinpoint the exact computational complexity, design algorithms, and analyze the size of fitting ontologies and TGDs. We also investigate the related problem of constructing a finite basis of concept inclusions / TGDs for a given set of finite structures. While finite bases exist for $\mathcal{E\mkern-2mu L}$, $\mathcal{E\mkern-2mu LI}$, guarded TGDs, and inclusion dependencies, they in general do not exist for full, frontier-guarded and frontier-one TGDs.
- Abstract（参考訳）: 有限関係構造の形式をとる正および負の例にオントロジーと制約を適合させる問題について検討する。
オントロジーおよび制約言語として、$\mathcal{E\mkern-2mu L}$と$\mathcal{E\mkern-2mu LI}$、およびいくつかのタプル生成依存性(TGD)のクラス(フル、ガード付き、フロンティアガード付き、フロンティアワン、制限なしのTGD、および包含依存性)を考える。
我々は、正確な計算複雑性、設計アルゴリズム、および適合オントロジーとTGDのサイズを分析する。
また、与えられた有限構造の集合に対する概念包含/TGDの有限基底を構成するという関連する問題についても検討する。
有限基底は $\mathcal{E\mkern-2mu L}$, $\mathcal{E\mkern-2mu LI}$, guarded TGDs と包含依存に対して存在するが、一般には、フル、フロンティアガードおよびフロンティアワン TGD に対して存在しない。
関連論文リスト
- Syzygy of Thoughts: Improving LLM CoT with the Minimal Free Resolution [59.39066657300045]
CoT(Chain-of-Thought)は、問題を逐次ステップに分解することで、大きな言語モデル(LLM)の推論を促進する。
思考のシジー(Syzygy of Thoughts, SoT)は,CoTを補助的,相互関連的な推論経路を導入して拡張する新しいフレームワークである。
SoTはより深い論理的依存関係をキャプチャし、より堅牢で構造化された問題解決を可能にする。
論文 参考訳（メタデータ） (2025-04-13T13:35:41Z) - CSPs with Few Alien Constraints [12.330326247154968]
CSP$(mathcalA cup mathcalB)$ ここで$mathcalA$は構造、$mathcalB$は異方構造である。
我々は、以前分類の試みを免れたいくつかのよく研究された問題に対して、接続を確立し、転送可能な複雑性結果を得る。
論文 参考訳（メタデータ） (2024-08-23T08:34:13Z) - Magic Boundaries of 3D Color Codes [0.0]
我々は,3次元カラーコードの境界について検討し,体系的な分類を101の異なる境界タイプに分類する。
最初のクラスは1つの境界で構成され、システム全体にわたって1(2D)$T$ドメインの壁を掃引することによって生成される。
第2のクラスは70のバウンダリで構成され、余次元-1のサブ多様体を越えて$S$ドメインの壁を掃くことによって生成される。
論文 参考訳（メタデータ） (2024-04-07T18:00:41Z) - Detection-Recovery Gap for Planted Dense Cycles [72.4451045270967]
期待帯域幅$n tau$とエッジ密度$p$をエルドホス=R'enyiグラフ$G(n,q)$に植え込むモデルを考える。
低次アルゴリズムのクラスにおいて、関連する検出および回復問題に対する計算しきい値を特徴付ける。
論文 参考訳（メタデータ） (2023-02-13T22:51:07Z) - TA-Net: Topology-Aware Network for Gland Segmentation [71.52681611057271]
本研究では, 密集した腺と高度に変形した腺を正確に分離する新しいトポロジ・アウェア・ネットワーク(TA-Net)を提案する。
TA-Netはマルチタスク学習アーキテクチャを持ち、腺セグメンテーションの一般化を強化する。
2つのデータセットで最先端のパフォーマンスを達成する。
論文 参考訳（メタデータ） (2021-10-27T17:10:58Z) - Foundations of Population-Based SHM, Part IV: The Geometry of Spaces of
Structures and their Feature Spaces [0.0]
本稿では,構造ヘルスモニタリングにおける特徴空間の抽象的理論に必要な幾何学的構造について述べる。
論文の第2部では、特徴バンドルの正常状態断面を決定する問題に対処する。
このソリューションは、ユークリッドでない機械学習アルゴリズムであるグラフニューラルネットワーク(GNN)の応用によって提供される。
論文 参考訳（メタデータ） (2021-03-05T13:28:51Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。