Zakharyaschev, Michael

27 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

IJCAI 2018 Ontology-Based Data Access: A Survey Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, 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 Conservative Rewritability of Description Logic TBoxes Boris Konev, Carsten Lutz, Frank Wolter, 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

JAIR 2013 A Decidable Extension of SROIQ with Complex Role Chains and Unions Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev

IJCAI 2013 Temporal Description Logic for Ontology-Based Data Access Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

AAAI 2011 Conjunctive Query Inseparability of OWL 2 QL TBoxes Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

IJCAI 2011 On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev

IJCAI 2011 The Combined Approach to Ontology-Based Data Access Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

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

IJCAI 2009 Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

JAIR 2009 The DL-Lite Family and Relations Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

AAAI 2007 DL-Lite in the Light of First-Order Logic Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

JAIR 2005 Combining Spatial and Temporal Logics: Expressiveness vs. Complexity David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev

IJCAI 2003 Reasoning About Distances Frank Wolter, Michael Zakharyaschev

IJCAI 1999 Multi-Dimensional Description Logics Frank Wolter, Michael Zakharyaschev