Kontchakov, Roman

18 publications

JAIR 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

IJCAI 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 2018 Ontology-Based Data Access: A Survey Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev

AAAI 2017 Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, 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 Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov

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

AAAI 2015 Tractable Interval Temporal Propositional and Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

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

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

AAAI 2011 Conjunctive Query Inseparability of OWL 2 QL TBoxes Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, 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 The Combined Approach to Ontology-Based Data Access Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

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

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

JAIR 2009 The DL-Lite Family and Relations Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

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

JAIR 2005 Combining Spatial and Temporal Logics: Expressiveness vs. Complexity David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev