Ryzhikov, Vladislav

15 publications

IJCAI 2024 Extremal Separation Problems for Temporal Instance Queries Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

JAIR 2023 Deciding FO-Rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

IJCAI 2023 Reverse Engineering of Temporal Queries Mediated by LTL Ontologies Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

JAIR 2022 First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2022 On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2019 Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic Under the Event-Based Semantics Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev

JAIR 2018 Querying Log Data with Metric Temporal Logic Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev

AAAI 2017 Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev

IJCAI 2016 Query-Based Entailment and Inseparability for ALC Ontologies Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2016 Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev

IJCAI 2015 First-Order Rewritability of Temporal Ontology-Mediated Queries Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

AAAI 2015 Tractable Interval Temporal Propositional and Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

IJCAI 2015 When Are Description Logic Knowledge Bases Indistinguishable? Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2013 Exchanging OWL 2 QL Knowledge Bases Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

AAAI 2010 Past and Future of DL-Lite Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev