Michael Zakharyaschev

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 85

Top Venues

Publications

Frank Wolter, Michael Zakharyaschev
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. CoRR (2024)
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics (2024)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
The interpolant existence problem for weak K4 and difference logic. CoRR (2024)
Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics (2024)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Extremal Separation Problems for Temporal Instance Queries. CoRR (2024)
Frank Wolter, Michael Zakharyaschev
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. Description Logics (2024)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. J. Artif. Intell. Res. 76 (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR (2023)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI (2023)
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR (2023)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics (2023)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR (2023)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR (2023)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic. CoRR (2022)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI (2022)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75 (2022)
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
A tetrachotomy of ontology-mediated queries with a covering axiom. Artif. Intell. 309 (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. KR (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR (2022)
Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. TIME (2021)
Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
Deciding boundedness of monadic sirups. CoRR (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR (2021)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-definability of Regular Languages. CoRR (2021)
Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
Deciding Boundedness of Monadic Sirups. PODS (2021)
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Deciding FO-definability of Regular Languages. RAMiCS (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299 (2021)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. Reasoning Web (2020)
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom. CoRR (2020)
Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Description Logics (2020)
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Boolean Role Inclusions in DL-Lite With and Without Time. KR (2020)
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. KR (2020)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR (2020)
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
A Note on DL-Lite with Boolean Role Inclusions. Description Logics (2019)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability for ALC Ontologies. CoRR (2019)
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84 (2) (2019)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). CoRR (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. LICS (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics: A Summary. Description Logics (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. CoRR (2019)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query inseparability for ALC ontologies. Artif. Intell. 272 (2019)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. IJCAI (2019)
Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. Description Logic, Theory Combination, and All That (2019)
Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME (2019)
Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. 29 (1) (2019)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. J. ACM 65 (5) (2018)
Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Description Logics (2018)
Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
Ontology-Based Data Access: A Survey. IJCAI (2018)
Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. OTM Conferences (2) (2018)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR (2018)
Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Querying Log Data with Metric Temporal Logic. J. Artif. Intell. Res. 62 (2018)
Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova
Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. Description Logics (2018)
Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic (2018)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Description Logics (2017)
Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Metric Temporal Logic for Ontology-Based Data Access over Log Data. CoRR (2017)
Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev
More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom. KESW (2017)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18 (3) (2017)
Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev
Ontology-Based Data Access to Slegge. ISWC (2) (2017)
Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. PODS (2017)
Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. AAAI (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. CoRR (2017)
Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
A Framework for Temporal Ontology-Based Data Access: A Proposal. ADBIS (Short Papers and Workshops) (2017)
Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Querying Log Data with Metric Temporal Logic. CoRR (2017)
Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev
On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. Description Logics (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Description Logics (2017)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234 (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
When is Query Inseparability for ALC Ontologies Decidable? Description Logics (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR (2016)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. CoRR (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI (2016)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. CoRR (2016)
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI (2016)
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Conservative Rewritability of Description Logic TBoxes. IJCAI (2016)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Description Logics (2016)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Reasoning Web (2016)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR (2016)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Interval Temporal Description Logics. Description Logics (2015)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Tractable Interval Temporal Propositional and Description Logics. AAAI (2015)
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics (2015)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI (2015)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI (2015)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
On the succinctness of query rewriting over shallow ontologies. CSL-LICS (2014)
Roman Kontchakov, Michael Zakharyaschev
An Introduction to Description Logics and Query Rewriting. Reasoning Web (2014)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability for Description Logic Knowledge Bases. KR (2014)
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artif. Intell. 217 (2014)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15 (3) (2014)
Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, Michael Zakharyaschev
Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. ISWC (1) (2014)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases. CoRR (2014)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability by Games. Description Logics (2014)
Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev
The price of query rewriting in ontology-based data access. Artif. Intell. 213 (2014)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
The DL-Lite Family and Relations. CoRR (2014)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporal OBDA with LTL and DL-Lite. Description Logics (2014)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Temporal Description Logic for Ontology-Based Data Access (Extended Version) CoRR (2013)
Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin
Query Answering via Modal Definability with FaCT++: First Blood. Description Logics (2013)
Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Description Logics (2013)
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
Query Rewriting and Optimisation with Database Dependencies in Ontop. Description Logics (2013)

Michael Zakharyaschev.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Zakharyaschev