Roman Kontchakov

Available identifiers

zbMath Open kontchakov.romanDBLP09/3547WikidataQ60666572 ScholiaQ60666572MaRDI QIDQ253974

List of research outcomes

Publication	Date of Publication	Type
Ontology-mediated query answering over temporal data: a survey (invited talk)	2023-02-03	Paper
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries	2023-01-09	Paper
First-order rewritability of ontology-mediated queries in linear temporal logic	2021-11-02	Paper
Ontology-Mediated Queries	2019-02-25	Paper
On the succinctness of query rewriting over shallow ontologies	2018-04-23	Paper
Games for query inseparability of description logic knowledge bases	2016-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q3457199	2015-12-11	Paper
Topological Logics with Connectedness over Euclidean Spaces	2015-09-17	Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics	2015-09-17	Paper
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces	2014-10-27	Paper
The price of query rewriting in ontology-based data access	2014-06-10	Paper
The Complexity of Clausal Fragments of LTL	2014-01-17	Paper
Exponential Lower Bounds and Separation for Query Rewriting	2012-11-01	Paper
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models	2011-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q3085165	2011-03-30	Paper
Logic-based ontology comparison and module extraction, with an application to DL-Lite	2011-01-31	Paper
Spatial logics with connectedness predicates	2010-09-21	Paper
DL-Lite with temporalised concepts, rigid axioms and roles	2010-01-07	Paper
The DL-Lite Family and Relations	2009-12-10	Paper
On the Computational Complexity of Spatial Logics with Connectedness Constraints	2009-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q3509059	2008-07-01	Paper
On dynamic topological and metric logics	2007-02-13	Paper
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5715695	2006-01-04	Paper
Temporalising tableaux	2004-08-06	Paper

Research outcomes over time

This page was built for person: Roman Kontchakov