一般的な十分条件: 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オートマトンでOMQのセマンティクスを表現し、状態の階層化でサイクリック依存を排除してUC2RPQsに変換可能なクラスを特定した。

この要約は当サイトの AI が生成したものです。正確な内容は元記事（arXiv cs.AI）をご確認ください。