Michael Zakharyaschev

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

Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev: Long Rewritings, Short Rewritings. Description Logics 2012

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

Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev: Conjunctive Query Answering with OWL 2 QL. KR 2012

Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev: Exponential Lower Bounds and Separation for Query Rewriting. CoRR abs/1202.4193 (2012)

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012)

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

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

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

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

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11

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

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

Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev: Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR 2011: 124-138

Michael Zakharyaschev: Logic in the Time of WWW: An OWL View. WoLLIC 2011: 6-7

Michael Zakharyaschev: Query Inseparability and Module Extraction in OWL 2 QL. WoMO 2011: 10-11

Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (Eds.): Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. CoRR abs/1104.0219 (2011)

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011)

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: Topological Logics with Connectedness over Euclidean Spaces. CoRR abs/1110.4034 (2011)

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

Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev: A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Logic 161(4): 534-559 (2010)

Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Spatial logics with connectedness predicates. Logical Methods in Computer Science 6(3) (2010)

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

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

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

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187

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

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

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

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

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

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

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

Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148

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

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

Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176

Roman Kontchakov, Michael Zakharyaschev: DL-Lite and Role Inclusions. ASWC 2008: 16-30

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

Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295

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

Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)

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

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

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

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292

Michael Zakharyaschev: Temporalising Logics: Fifteen Years After. FroCoS 2007: 72

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257

Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22

Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Logic 142(1-3): 245-268 (2006)

Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)

Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)

Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207

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

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

Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493

Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. CoRR abs/cs/0609052 (2006)

Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev: Undecidability of first-order intuitionistic and modal logics with two variables. Bulletin of Symbolic Logic 11(3): 428- (2005)

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

Frank Wolter, Michael Zakharyaschev: A logic for metric and topology. J. Symb. Log. 70(3): 795-828 (2005)

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005)

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

Boris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665

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

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004)

Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)

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

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

Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464

Frank Wolter, Michael Zakharyaschev: Reasoning about distances. IJCAI 2003: 1275-1282

Carsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149

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

Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev (Eds.): Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002. King's College Publications 2003, isbn 0-9543006-2-9

Frank Wolter, Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118(1-2): 133-145 (2002)

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

Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002)

Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter: Preface. Studia Logica 72(2): 145-146 (2002)

Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica 72(2): 199-232 (2002)

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

Ágnes Kurucz, Michael Zakharyaschev: A Note on Relativised Products of Modal Logics. Advances in Modal Logic 2002: 221-242

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

Oliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9

Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev (Eds.): Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000. World Scientific 2002, isbn 981-238-179-1

Frank Wolter, Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001)

Mark Reynolds, Michael Zakharyaschev: On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001)

Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136

Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001

Oliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001

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

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

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)

Michael Zakharyaschev: Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. Journal of Logic, Language and Information 9(1): 128-131 (2000)

Frank Wolter, Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250

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

Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344

Frank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14

Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing (Eds.): Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998. CSLI Publications 2000, isbn 1-57586-271-9

Frank Wolter, Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39(4): 411-438 (1999)

Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999: 104-109

Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7(3): 317-339 (1998)

Frank Wolter, Michael Zakharyaschev: Dynamic Description Logics. Advances in Modal Logic 1998: 431-446

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

Frank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523

Alexander V. Chagrov, Michael Zakharyaschev: Modal Logic. Oxford logic guides 35, Oxford University Press 1997, isbn 978-0-19-853779-3, pp. I-XV, 1-605

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

Michael Zakharyaschev: The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Studia Logica 59(3): 345-358 (1997)

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

Alexander V. Chagrov, Michael Zakharyaschev: On the Independent Axiomatizability of Modal and Intermediate Logics. J. Log. Comput. 5(3): 287-302 (1995)

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

Michael Zakharyaschev: A New Solution to a Problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35(3): 450-457 (1994)

Michael Zakharyaschev: A Sufficient Condition for the Finite Model Property of Modal Logics above K4. Logic Journal of the IGPL 1(1): 13-21 (1993)

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

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

Alexander V. Chagrov, Michael Zakharyaschev: Modal Companions of Intermediate Propositional Logics. Studia Logica 51(1): 49-82 (1992)

Michael Zakharyaschev: Theorem Proving in Intermediate and Modal Logics. FCT 1987: 492-496