09:48
官方账号arXiv cs.AI@David Carral, Calixte Gruson, Quentin Manière
推荐理由：想知道哪些Horn-ALCHI本体查询能改写成GQL？这篇给出DL自动机判据，一批以前没法重写的查询现在有解了。
UC2RPQ
共 1 条相关 AI 资讯
8月6日
09:48
论文针对Horn-ALCHI本体上的原子查询，研究能否重写进ISO标准GQL。作者提出DL自动机形式化描述这类查询在事实集合上的运行过程。他们找出一类状态分层、避免特定循环依赖的DL自动机，可转换为UC2RPQ。UC2RPQ是GQL的核心片段，因此该条件覆盖了一批此前无法重写的Horn-ALCHI OMQ。