一般的な十分条件: Horn-ALCHI原子クエリをGQLに書き直す
arXiv cs.AI ・ 2026-08-05
原題: A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL
AI による要約
この研究では、Horn-ALCHI原子クエリをGQLに書き直すための一般的な十分条件を提案します。DLオートマトンと呼ばれる新しい形式を導入し、Horn-ALCHI原子クエリの意味を捉えるために使用します。DLオートマトンをGQLに書き直すための条件を特定し、Horn-ALCHI原子クエリのクラスをGQLに書き直すことができることを示します。
この要約は当サイトの AI が生成したものです。正確な内容は 元記事（arXiv cs.AI）をご確認ください。