On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
复制标题
线性时态逻辑中本体介导的查询的一阶可重写性（扩展摘要）
DOI：
10.24963/ijcai.2022/794
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Artale A
中科院分区：
文献类型：
--
作者：
Artale A
DOI：
10.1613/jair.1.13511
发表时间：
2021-11
期刊：
J. Artif. Intell. Res.
影响因子：
--
作者：
A. Artale;R. Kontchakov;Alisa Kovtunova;V. Ryzhikov;F. Wolter;M. Zakharyaschev
通讯作者：
A. Artale;R. Kontchakov;Alisa Kovtunova;V. Ryzhikov;F. Wolter;M. Zakharyaschev
影响因子：
4
作者：
D. Gabbay;I. Hodkinson;Mark Reynolds
通讯作者：
D. Gabbay;I. Hodkinson;Mark Reynolds
DOI：
10.1145/3034786.3056108
发表时间：
2017-05
期刊：
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
影响因子：
--
作者：
André Hernich;C. Lutz;Fabio Papacchini;F. Wolter
通讯作者：
André Hernich;C. Lutz;Fabio Papacchini;F. Wolter