Roman Kontchakov

Available identifiers

zbMath Open kontchakov.romanWikidataQ60666572 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roman Kontchakov