E-LIB Suche - Ergebnisse für: Ryzhikov, Vladislav

1

First-order rewritability of ontology-mediated queries in l..:

Artale, Alessandro ; Kontchakov, Roman ; Kovtunova, Alisa...
Artificial Intelligence. 299 (2021) - p. 103536 , 2021

Link: https://doi.org/10.1016/..

2

Deciding FO-definability of Regular Languages:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Kurucz, Agi ; Ryzhikov, Vladislav ; Savateev, Yury. - p. 241-257 , 2021

Link: https://doi.org/10.1007/..

3

Temporal Ontology-Mediated Queries and First-Order Rewritab..:

, In: Reasoning Web. Declarative Artificial Intelligence; Lecture Notes in Computer Science,

Ryzhikov, Vladislav ; Wałęga, Przemysław A. ; Zakharyaschev, Michael - p. 109-148 , 2020

Link: https://doi.org/10.1007/..

4

Ontology–based access to temporal data with Ontop: A framew..:

Güzel Kalayci, Elem ; Brandt, Sebastian ; Calvanese, Diego...
International Journal of Applied Mathematics and Computer Science. 29 (2019) 1 - p. 17-30 , 2019

Link: https://doi.org/10.2478/..

5

Query inseparability for ALC ontologies:

Botoeva, Elena ; Lutz, Carsten ; Ryzhikov, Vladislav..
Artificial Intelligence. 272 (2019) - p. 1-51 , 2019

Link: https://doi.org/10.1016/..

6

Ontop-temporal : A Tool for Ontology-based Query Answeri..:

, In: Proceedings of the 27th ACM International Conference on Information and Knowledge Management,

Güzel Kalayci, Elem ; Xiao, Guohui ; Ryzhikov, Vladislav.. - p. 1927-1930 , 2018

Link: https://dl.acm.org/doi/1..

7

Inseparability and conservative extensions of description l..

, In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao

a survey

Botoeva, Elena ; Konev, Boris ; Ryzhikov, Vladislav.... (2017) - p. 27-89

Link: https://doi.org/10.1007/..

8

Horn Fragments of the Halpern-Shoham Interval Temporal Logi:

Bresolin, Davide ; Kurucz, Agi ; Muñoz-Velasco, Emilio...
ACM Transactions on Computational Logic. 18 (2017) 3 - p. 1-39 , 2017

Link: https://doi.org/10.1145/..

9

Horn Fragments of the Halpern-Shoham Interval Temporal Logi:

Bresolin, Davide ; Kurucz, Agi ; Muñoz-Velasco, Emilio...
ACM Transactions on Computational Logic (TOCL). 18 (2017) 3 - p. 1-39 , 2017

Link: https://dl.acm.org/doi/1..

10

The Complexity of Ontology-Based Data Access with OWL 2 QL ..:

, In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,

Bienvenu, Meghyn ; Kikot, Stanislav ; Kontchakov, Roman... - p. 201-216 , 2017

Link: https://dl.acm.org/doi/1..

11

Is query inseparability for ALC ontologies decidable?:

, In: International Workshop on Description Logics / edited by Maurizio Lenzerini, Rafael Peñaloza

Botoeva, Elena ; Ryzhikov, Vladislav ; Wolter, Frank... (2016)

Link: http://ceur-ws.org/Vol-1..

12

Games for query inseparability of description logic knowled..:

Botoeva, Elena ; Kontchakov, Roman ; Ryzhikov, Vladislav..
Artificial Intelligence. 234 (2016) - p. 78-119 , 2016

Link: https://doi.org/10.1016/..

13

Knowledge base exchange: The case of OWL 2 QL:

Arenas, Marcelo ; Botoeva, Elena ; Calvanese, Diego.
Artificial Intelligence. 238 (2016) - p. 11-62 , 2016

Link: https://doi.org/10.1016/..

14

A Cookbook for Temporal Conceptual Data Modelling with Desc..:

Artale, Alessandro ; Kontchakov, Roman ; Ryzhikov, Vladislav.
ACM Transactions on Computational Logic (TOCL). 15 (2014) 3 - p. 1-50 , 2014

Link: https://dl.acm.org/doi/1..

15

A Cookbook for Temporal Conceptual Data Modelling with Desc..:

Artale, Alessandro ; Kontchakov, Roman ; Ryzhikov, Vladislav.
ACM Transactions on Computational Logic. 15 (2014) 3 - p. 1-50 , 2014

Link: https://doi.org/10.1145/..