Theorem Proving in Intermediate and Modal Logics. - Michael Zakharyaschev (FCT, 1987)

The disjunction property of intermediate propositional logics. - Alexander V. Chagrov; Michael Zakharyaschev (Stud Logica, 1991)

Canonical Formulas for K4, Part I: Basic Results. - Michael Zakharyaschev (J. Symb. Log., 1992)

Modal Companions of Intermediate Propositional Logics. - Alexander V. Chagrov; Michael Zakharyaschev (Stud Logica, 1992)

A Sufficient Condition for the Finite Model Property of Modal Logics above K4. - Michael Zakharyaschev (Log. J. IGPL, 1993)

The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. - Alexander V. Chagrov; Michael Zakharyaschev (J. Symb. Log., 1993)

A New Solution to a Problem of Hosoi and Ono. - Michael Zakharyaschev (Notre Dame J. Formal Log., 1994)

On the Independent Axiomatizability of Modal and Intermediate Logics. - Alexander V. Chagrov; Michael Zakharyaschev (J. Log. Comput., 1995)

All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. - Michael Zakharyaschev; Alexander Alekseev (Math. Log. Q., 1995)

Canonical Formulas for K4, Part II: Confinal Subframe Logics. - Michael Zakharyaschev (J. Symb. Log., 1996)

Modal Logic. - Alexander V. Chagrov; Michael Zakharyaschev (Oxford University Press, 1997)

Canonical Formulas for K4, Part III: The Finite Model Property. - Michael Zakharyaschev (J. Symb. Log., 1997)

The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. - Michael Zakharyaschev (Stud Logica, 1997)

Dynamic Description Logics. - Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 1998)

The Origins of Modern Modal Logic. - Michael Zakharyaschev; Krister Segerberg; Maarten de Rijke; Heinrich Wansing (Advances in Modal Logic, 1998)

Temporalizing Description Logics. - Frank Wolter; Michael Zakharyaschev (FroCoS, 1998)

On the Decidability of Description Logics with Modal Operators. - Frank Wolter; Michael Zakharyaschev (KR, 1998)

Speaking about Transitive Frames in Propositional Languages. - Yasuhito Suzuki; Frank Wolter; Michael Zakharyaschev (J. Log. Lang. Inf., 1998)

Multi-Dimensional Description Logics. - Frank Wolter; Michael Zakharyaschev (IJCAI, 1999)

Modal Description Logics: Modalizing Roles. - Frank Wolter; Michael Zakharyaschev (Fundam. Informaticae, 1999)

Spatial Reasoning in RCC-8 with Boolean Region Terms. - Frank Wolter; Michael Zakharyaschev (ECAI, 2000)

Semi-qualitative Reasoning about Distances: A Preliminary Report. - Holger Sturm; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (JELIA, 2000)

Monodic Epistemic Predicate Logic. - Holger Sturm; Frank Wolter; Michael Zakharyaschev (JELIA, 2000)

Spatio-temporal representation and reasoning based on RCC-8. - Frank Wolter; Michael Zakharyaschev (KR, 2000)

Decidable fragment of first-order temporal logics. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2000)

Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. - Michael Zakharyaschev (J. Log. Lang. Inf., 2000)

Tableaux for Temporal Description Logic with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (IJCAR, 2001)

The DLRUS Temporal Description Logic. - Alessandro Artale; Enrico Franconi; Milenko Mosurovic; Frank Wolter; Michael Zakharyaschev (Description Logics, 2001)

A Note on Concepts and Distances. - Oliver Kutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2001)

Monodic fragments of first-order temporal logics: 2000-2001 A.D. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (LPAR, 2001)

Reasoning over Conceptual Schemas and Queries in Temporal Databases. - Alessandro Artale; Enrico Franconi; Milenko Mosurovic; Frank Wolter; Michael Zakharyaschev (SEBD, 2001)

Decidable Fragments of First-Order Modal Logics. - Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2001)

On the Products of Linear Modal Logics. - Mark Reynolds 001; Michael Zakharyaschev (J. Log. Comput., 2001)

Editorial Preface. - Philippe Balbiani; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2002)

A Note on Relativised Products of Modal Logics. - Ágnes Kurucz; Michael Zakharyaschev (Advances in Modal Logic, 2002)

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. - Alessandro Artale; Enrico Franconi; Frank Wolter; Michael Zakharyaschev (JELIA, 2002)

Connecting Abstract Description Systems. - Oliver Kutz; Frank Wolter; Michael Zakharyaschev (KR, 2002)

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (LICS, 2002)

On Non-Local Propositional and Local One-Variable Quantified CTL*. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (TIME, 2002)

Axiomatizing the monodic fragment of first-order temporal logic. - Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2002)

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. - Brandon Bennett; Anthony G. Cohn 001; Frank Wolter; Michael Zakharyaschev (Appl. Intell., 2002)

Axiomatizing Distance Logics. - Oliver Kutz; Holger Sturm; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (J. Appl. Non Class. Logics, 2002)

Preface. - Ágnes Kurucz; Michael Zakharyaschev; Frank Wolter (Stud Logica, 2002)

A Tableau Decision Algorithm for Modalized ALC with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2002)

E-connections of Description Logics. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2003)

Resasoning about Concepts and Similarity. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2003)

On the Computational Complexity of Spatio-Temporal Logics. - David Gabelaia; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (FLAIRS, 2003)

Reasoning about distances. - Frank Wolter; Michael Zakharyaschev (IJCAI, 2003)

A Tableau Algorithm for Reasoning about Concepts and Similarity. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TABLEAUX, 2003)

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. - Ian M. Hodkinson; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (TIME, 2003)

Logics of metric spaces. - Oliver Kutz; Frank Wolter; Holger Sturm; Nobu-Yuki Suzuki; Michael Zakharyaschev (ACM Trans. Comput. Log., 2003)

E-connections of abstract description systems. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2004)

On Non-local Propositional and Weak Monodic Quantified CTL. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2004)

Temporalising Tableaux. - Roman Kontchakov; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2004)

Modal Logics for Metric Spaces: Open Problems. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (We Will Show Them! (2), 2005)

Temporal Logics over Transitive States. - Boris Konev; Frank Wolter; Michael Zakharyaschev (CADE, 2005)

'Closer' representation and reasoning. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Description Logics, 2005)

Comparative Similarity, Tree Automata, and Diophantine Equations. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (LPAR, 2005)

Undecidability of first-order intuitionistic and modal logics with two variables. - Roman Kontchakov; Agi Kurucz; Michael Zakharyaschev (Bull. Symb. Log., 2005)

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. - David Gabelaia; Roman Kontchakov; Ágnes Kurucz; Frank Wolter; Michael Zakharyaschev (J. Artif. Intell. Res., 2005)

Products of 'transitive' modal logics. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2005)

A logic for metric and topology. - Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2005)

Conservative extensions in modal logic. - Silvio Ghilardi; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

Dynamic topological logics over spaces with continuous functions. - Boris Konev; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

From topology to metric: modal logic and quantification in metric spaces. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

Automated Reasoning About Metric and Topology. - Ullrich Hustadt; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (JELIA, 2006)

Non-primitive recursive decidability of products of modal logics with expanding domains. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2006)

On Dynamic Topological and Metric Logics. - Boris Konev; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2006)

Willem Blok and Modal Logic. - Wolfgang Rautenberg; Michael Zakharyaschev; Frank Wolter (Stud Logica, 2006)

Modal decision problems. - Frank Wolter; Michael Zakharyaschev (Handbook of Modal Logic, 2007)

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

Complexity of Reasoning in Entity Relationship Models. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2007)

Modularity in DL-Lite. - Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2007)

Reasoning over Extended ER Models. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (ER, 2007)

Temporalising Logics: Fifteen Years After. - Michael Zakharyaschev (FroCoS, 2007)

Query Answering in Expressive Variants of DL-Lite. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Michael Zakharyaschev (SEBD, 2007)

Temporalising Tractable Description Logics. - Alessandro Artale; Roman Kontchakov; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TIME, 2007)

A Logic for Concepts and Similarity. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2007)

Spatial Logic + Temporal Logic = ?. - Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Handbook of Spatial Logics, 2007)

Topology, connectedness, and modal logic. - Roman Kontchakov; Ian Pratt-Hartmann; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2008)

DL-Lite and Role Inclusions. - Roman Kontchakov; Michael Zakharyaschev (ASWC, 2008)

Checking DL-Lite Modularity with QBF Solvers. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2008)

Can You Tell the Difference Between DL-Lite Ontologies?. - Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (KR, 2008)

On the Computational Complexity of Spatial Logics with Connectedness Constraints. - Roman Kontchakov; Ian Pratt-Hartmann; Frank Wolter; Michael Zakharyaschev (LPAR, 2008)

Temporal Description Logics: A Survey. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TIME, 2008)

Undecidability of the unification and admissibility problems for modal and description logics. - Frank Wolter; Michael Zakharyaschev (ACM Trans. Comput. Log., 2008)

Adding Weight to DL-Lite. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Michael Zakharyaschev (Description Logics, 2009)

DL-Lite without UNA. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Michael Zakharyaschev (Description Logics, 2009)

Extending DL-Lite Sometime in the Future. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2009)

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (Description Logics, 2009)

Which Kind of Module Should I Extract? - Ulrike Sattler; Thomas Schneider 002; Michael Zakharyaschev (Description Logics, 2009)

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (FroCoS, 2009)

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

The DL-Lite Family and Relations. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Michael Zakharyaschev (J. Artif. Intell. Res., 2009)

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

Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2010)

Temporal Conceptual Modelling with DL-Lite. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2010)

Complexity of Reasoning over Temporal Data Models. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (ER, 2010)

The Combined Approach to Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (KR, 2010)

Interpreting Topological Logics over Euclidean Spaces. - Roman Kontchakov; Ian Pratt-Hartmann; Michael Zakharyaschev (KR, 2010)

Logic-based ontology comparison and module extraction, with an application to DL-Lite. - Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2010)

A modal logic framework for reasoning about comparative distances and topology. - Mikhail Sheremet; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2010)

Spatial logics with connectedness predicates - Roman Kontchakov; Ian Pratt-Hartmann; Frank Wolter; Michael Zakharyaschev (Log. Methods Comput. Sci., 2010)

Conjunctive Query Inseparability of OWL 2 QL TBoxes. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (AAAI, 2011)

On (In)Tractability of OBDA with OWL 2 QL. - Stanislav Kikot; Roman Kontchakov; Michael Zakharyaschev (Description Logics, 2011)

Module Extraction via Query Inseparability in OWL 2 QL. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (Description Logics, 2011)

On P/NP Dichotomies for EL Subsumption under Relational Constraints. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2011)

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (FroCoS, 2011)

The Combined Approach to Ontology-Based Data Access. - Roman Kontchakov; Carsten Lutz; David Toman 001; 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)

Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. - Stanislav Kikot; Roman Kontchakov; Michael Zakharyaschev (RR, 2011)

Logic in the Time of WWW: An OWL View. - Michael Zakharyaschev (WoLLIC, 2011)

Query Inseparability and Module Extraction in OWL 2 QL. - Michael Zakharyaschev (WoMO, 2011)

Long Rewritings, Short Rewritings. - Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Michael Zakharyaschev (Description Logics, 2012)

Exponential Lower Bounds and Separation for Query Rewriting. - Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Michael Zakharyaschev (ICALP (2), 2012)

Conjunctive Query Answering with OWL 2 QL. - Stanislav Kikot; Roman Kontchakov; Michael Zakharyaschev (KR, 2012)

Temporalising OWL 2 QL. - Alessandro Artale; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2013)

Query Rewriting over Shallow Ontologies. - Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Michael Zakharyaschev (Description Logics, 2013)

Query Answering via Modal Definability with FaCT++: First Blood. - Stanislav Kikot; Dmitry Tsarkov; Michael Zakharyaschev; Evgeny Zolin (Description Logics, 2013)

Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. - Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2013)

Query Rewriting and Optimisation with Database Dependencies in Ontop. - Mariano Rodriguez-Muro; Roman Kontchakov; Michael Zakharyaschev (Description Logics, 2013)

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

The Complexity of Clausal Fragments of LTL. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (LPAR, 2013)

OBDA with Ontop. - Mariano Rodriguez-Muro; Roman Kontchakov; Michael Zakharyaschev (ORE, 2013)

Ontop at Work. - Mariano Rodriguez-Muro; Roman Kontchakov; Michael Zakharyaschev (OWLED, 2013)

Ontology-Based Data Access with Databases: A Short Course. - Roman Kontchakov; Mariano Rodriguez-Muro; Michael Zakharyaschev (Reasoning Web, 2013)

Ontology-Based Data Access: Ontop of Databases. - Mariano Rodriguez-Muro; Roman Kontchakov; Michael Zakharyaschev (ISWC (1), 2013)

Temporal Description Logic for Ontology-Based Data Access (Extended Version) - Alessandro Artale; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (CoRR, 2013)

A Decidable Extension of SROIQ with Complex Role Chains and Unions. - Milenko Mosurovic; Nenad Krdzavac; Henson Graves; Michael Zakharyaschev (J. Artif. Intell. Res., 2013)

Topological Logics with Connectedness over Euclidean Spaces. - Roman Kontchakov; Yavor Nenov; Ian Pratt-Hartmann; Michael Zakharyaschev (ACM Trans. Comput. Log., 2013)

On the succinctness of query rewriting over shallow ontologies. - Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Michael Zakharyaschev (CSL-LICS, 2014)

Temporal OBDA with LTL and DL-Lite. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

Query Inseparability by Games. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

Query Inseparability for Description Logic Knowledge Bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2014)

An Introduction to Description Logics and Query Rewriting. - Roman Kontchakov; Michael Zakharyaschev (Reasoning Web, 2014)

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. - Roman Kontchakov; Martin Rezk; Mariano Rodriguez-Muro; Guohui Xiao 001; Michael Zakharyaschev (ISWC (1), 2014)

The price of query rewriting in ontology-based data access. - Georg Gottlob; Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Thomas Schwentick; Michael Zakharyaschev (Artif. Intell., 2014)

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. - Roman Kontchakov; Ian Pratt-Hartmann; Michael Zakharyaschev (Artif. Intell., 2014)

On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases. - Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Michael Zakharyaschev (CoRR, 2014)

A Cookbook for Temporal Conceptual Data Modelling with Description Logics. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (ACM Trans. Comput. Log., 2014)

Tractable Interval Temporal Propositional and Description Logics. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (AAAI, 2015)

Interval Temporal Description Logics. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2015)

Conservative Rewritability of Description Logic TBoxes: First Results. - Boris Konev; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2015)

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

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

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Michael Zakharyaschev (Description Logics, 2016)

When is Query Inseparability for ALC Ontologies Decidable? - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2016)

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

Conservative Rewritability of Description Logic TBoxes. - Boris Konev; Carsten Lutz; 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, 2016)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. - Elena Botoeva; Boris Konev; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (RW, 2016)

Games for query inseparability of description logic knowledge bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2016)

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2016)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (CoRR, 2016)

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

A Framework for Temporal Ontology-Based Data Access: A Proposal. - Sebastian Brandt 001; Elem Güzel Kalayci; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (ADBIS (Short Papers and Workshops), 2017)

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2017)

Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2017)

On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. - Olga Gerasimova; Stanislav Kikot; Vladimir V. Podolskii; Michael Zakharyaschev (Description Logics, 2017)

More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom. - Olga Gerasimova; Stanislav Kikot; Vladimir V. Podolskii; Michael Zakharyaschev (KESW, 2017)

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Vladislav Ryzhikov; Michael Zakharyaschev (PODS, 2017)

Ontology-Based Data Access to Slegge. - Dag Hovland; Roman Kontchakov; Martin G. Skjæveland; Arild Waaler; Michael Zakharyaschev (ISWC (2), 2017)

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (TIME, 2017)

Metric Temporal Logic for Ontology-Based Data Access over Log Data. - Diego Calvanese; Elem Güzel Kalayci; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (CoRR, 2017)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic. - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (ACM Trans. Comput. Log., 2017)

On Strictly Positive Modal Logics with S4.3 Frames. - Stanislav Kikot; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2018)

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. - Stanislav Kikot; Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (Description Logics, 2018)

Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. - Michael Zakharyaschev; Stanislav Kikot; Olga Gerasimova (Description Logics, 2018)

Ontology-Based Data Access: A Survey. - Guohui Xiao 001; Diego Calvanese; Roman Kontchakov; Domenico Lembo; Antonella Poggi; Riccardo Rosati 001; Michael Zakharyaschev (IJCAI, 2018)

STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. - Stanislav Kikot; Roman Kontchakov; Salvatore Rapisarda; Michael Zakharyaschev (OTM Conferences (2), 2018)

Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Michael Zakharyaschev (J. ACM, 2018)

Querying Log Data with Metric Temporal Logic. - Sebastian Brandt 001; Elem Güzel Kalayci; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (J. Artif. Intell. Res., 2018)

Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. - Olga Gerasimova; Stanislav Kikot; Michael Zakharyaschev (Description Logic, Theory Combination, and All That, 2019)

Model Comparison Games for Horn Description Logics: A Summary. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (Description Logics, 2019)

A Note on DL-Lite with Boolean Role Inclusions. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 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, 2019)

Model Comparison Games for Horn Description Logics. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (LICS, 2019)

Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. - Sebastian Brandt 001; Diego Calvanese; Elem Güzel Kalayci; Roman Kontchakov; Benjamin Mörzinger; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (TIME, 2019)

Query inseparability for ALC ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2019)

Ontology-based access to temporal data with Ontop: A framework proposal. - Elem Güzel Kalayci; Sebastian Brandt 001; Diego Calvanese; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (Int. J. Appl. Math. Comput. Sci., 2019)

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). - Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (CoRR, 2019)

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. - Stanislav Kikot; Agi Kurucz; Yoshihito Tanaka; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2019)

Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. - Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (Description Logics, 2020)

A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. - Olga Gerasimova; Stanislav Kikot; Agi Kurucz; Vladimir V. Podolskii; Michael Zakharyaschev (KR, 2020)

Boolean Role Inclusions in DL-Lite With and Without Time. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2020)

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. - Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (RW, 2020)

Deciding FO-definability of Regular Languages. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (RAMiCS, 2021)

Deciding Boundedness of Monadic Sirups. - Stanislav Kikot; Agi Kurucz; Vladimir V. Podolskii; Michael Zakharyaschev (PODS, 2021)

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. - Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (TIME, 2021)

First-order rewritability of ontology-mediated queries in linear temporal logic. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2021)

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (Description Logics, 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, 2022)

Unique Characterisability and Learnability of Temporal Instance Queries. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (KR, 2022)

A tetrachotomy of ontology-mediated queries with a covering axiom. - Olga Gerasimova; Stanislav Kikot; Agi Kurucz; Vladimir V. Podolskii; Michael Zakharyaschev (Artif. Intell., 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 (J. Artif. Intell. Res., 2022)

A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2023)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2023)

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

Definitions and (Uniform) Interpolants in First-Order Modal Logic. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (KR, 2023)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2023)

A non-uniform view of Craig interpolation in modal logics with linear frames. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (CoRR, 2023)

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (J. Artif. Intell. Res., 2023)

The Interpolant Existence Problem for Weak K4 and Difference Logic. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (AiML, 2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2024)

Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). - Louwe Kuijer; Tony Tan; Frank Wolter; Michael Zakharyaschev (Description Logics, 2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. - Frank Wolter; Michael Zakharyaschev (Description Logics, 2024)

Extremal Separation Problems for Temporal Instance Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (ICDT, 2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (CoRR, 2025)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. - Louwe Kuijer; Tony Tan; Frank Wolter; Michael Zakharyaschev (CoRR, 2025)