On the Computational Complexity of Spatio-Temporal Logics. - David Gabelaia; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (FLAIRS, 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)

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

Monodic first-order temporal logics : complexity, tableaux, and applications. - Roman Kontchakov (2004)

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)

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

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

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)

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)

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)

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)

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)

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)

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)

DL-Lite with Attributes and Sub-Roles (Extended Abstract). - Alessandro Artale; Yazmín Angélica Ibáñez-García; Roman Kontchakov; Vladislav Ryzhikov (Description Logics, 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)

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)

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

DL-Lite with Attributes and Datatypes. - Alessandro Artale; Vladislav Ryzhikov; Roman Kontchakov (ECAI, 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)

An Update on Query Answering with Restricted Forms of Negation. - Víctor Gutiérrez-Basulto; Yazmín Angélica Ibáñez-García; Roman Kontchakov (RR, 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)

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)

Conjunctive Queries with Negation over DL-Lite: A Closer Look. - Víctor Gutiérrez-Basulto; Yazmín Angélica Ibáñez-García; Roman Kontchakov; Egor V. Kostylev (RR, 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)

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)

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)

OBDA with the Ontop Framework. - Diego Calvanese; Benjamin Cogrel; Elem Guzel Kalayci; Sarah Komla-Ebri; Roman Kontchakov; Davide Lanti; Martin Rezk; Mariano Rodriguez-Muro; Guohui Xiao 001 (SEBD, 2015)

Queries with negation and inequalities over lightweight ontologies. - Víctor Gutiérrez-Basulto; Yazmín Angélica Ibáñez-García; Roman Kontchakov; Egor V. Kostylev (J. Web Semant., 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)

On Decidability and Tractability of Querying in Temporal EL. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Roman Kontchakov (Description Logics, 2016)

Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Roman Kontchakov (IJCAI, 2016)

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

On Expressibility of Non-Monotone Operators in SPARQL. - Roman Kontchakov; Egor V. Kostylev (KR, 2016)

Games for query inseparability of description logic knowledge bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 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)

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)

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)

Ontop: Answering SPARQL queries over relational databases. - Diego Calvanese; Benjamin Cogrel; Sarah Komla-Ebri; Roman Kontchakov; Davide Lanti; Martin Rezk; Mariano Rodriguez-Muro; Guohui Xiao 001 (Semantic Web, 2017)

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)

Efficient Handling of SPARQL OPTIONAL for OBDA. - Guohui Xiao 001; Roman Kontchakov; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (ISWC (1), 2018)

Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). - Guohui Xiao 001; Roman Kontchakov; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (CoRR, 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)

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

The Virtual Knowledge Graph System Ontop (Extended Abstract). - Guohui Xiao 001; Davide Lanti; Roman Kontchakov; Sarah Komla-Ebri; Elem Güzel Kalayci; Linfang Ding; Julien Corman; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (Description Logics, 2020)

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

The Virtual Knowledge Graph System Ontop. - Guohui Xiao 001; Davide Lanti; Roman Kontchakov; Sarah Komla-Ebri; Elem Güzel Kalayci; Linfang Ding; Julien Corman; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (ISWC (2), 2020)

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)

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)

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)

An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (Description Logics, 2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics. - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (KR, 2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (CoRR, 2024)