Kurucz, Agi; Ryzhikov, Vladislav; Savateev, Yury; Zakharyaschev, Michael Deciding FO-rewritability of regular languages and ontology-mediated queries in linear temporal logic. (English) Zbl 07732093 J. Artif. Intell. Res. (JAIR) 76, 645-703 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Kurucz} et al., J. Artif. Intell. Res. (JAIR) 76, 645--703 (2023; Zbl 07732093) Full Text: DOI arXiv
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. (English) Zbl 07639820 J. Artif. Intell. Res. (JAIR) 75, 1223-1291 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Artale} et al., J. Artif. Intell. Res. (JAIR) 75, 1223--1291 (2022; Zbl 07639820) Full Text: DOI arXiv
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability of ontology-mediated queries in linear temporal logic. (English) Zbl 1520.68182 Artif. Intell. 299, Article ID 103536, 30 p. (2021). MSC: 68T27 03B44 68T30 PDFBibTeX XMLCite \textit{A. Artale} et al., Artif. Intell. 299, Article ID 103536, 30 p. (2021; Zbl 1520.68182) Full Text: DOI arXiv
Arenas, Marcelo; Botoeva, Elena; Calvanese, Diego; Ryzhikov, Vladislav Knowledge base exchange: the case of OWL 2 QL. (English) Zbl 1385.68044 Artif. Intell. 238, 11-62 (2016). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{M. Arenas} et al., Artif. Intell. 238, 11--62 (2016; Zbl 1385.68044) Full Text: DOI