Roman Kontchakov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
12
Active years
2003–2024
Best venue rank
A*
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | Non-Rigid Designators in Modal and Temporal Free Description Logics. | Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter |
| 2022 | IJCAI | 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 |
| 2020 | KR | Boolean Role Inclusions in DL-Lite With and Without Time. | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2019 | TIME | Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. | Sebastian Brandt, Diego Calvanese, Elem Gzel Kalayci, Roman Kontchakov, Benjamin Mrzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
| 2018 | IJCAI | Ontology-Based Data Access: A Survey. | Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev |
| 2017 | AAAI | Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. | Sebastian Brandt, Elem Gzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
| 2017 | PODS | 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 |
| 2017 | TIME | Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2016 | IJCAI | Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Roman Kontchakov |
| 2016 | IJCAI | Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. | Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2016 | KR | On Expressibility of Non-Monotone Operators in SPARQL. | Roman Kontchakov, Egor V. Kostylev |
| 2015 | AAAI | Tractable Interval Temporal Propositional and Description Logics. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2015 | IJCAI | First-Order Rewritability of Temporal Ontology-Mediated Queries. | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2015 | IJCAI | When Are Description Logic Knowledge Bases Indistinguishable? | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2014 | CSL | On the succinctness of query rewriting over shallow ontologies. | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2014 | KR | Query Inseparability for Description Logic Knowledge Bases. | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2013 | IJCAI | Temporal Description Logic for Ontology-Based Data Access. | Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2013 | LPAR | The Complexity of Clausal Fragments of LTL. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2012 | ECAI | DL-Lite with Attributes and Datatypes. | Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov |
| 2012 | ICALP | Exponential Lower Bounds and Separation for Query Rewriting. | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2012 | KR | Conjunctive Query Answering with OWL 2 QL. | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
| 2011 | AAAI | Conjunctive Query Inseparability of OWL 2 QL TBoxes. | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev |
| 2011 | IJCAI | The Combined Approach to Ontology-Based Data Access. | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| 2011 | IJCAI | On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| 2010 | AAAI | Past and Future of DL-Lite. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2010 | ER | Complexity of Reasoning over Temporal Data Models. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2010 | KR | The Combined Approach to Query Answering in DL-Lite. | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| 2010 | KR | Interpreting Topological Logics over Euclidean Spaces. | Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| 2009 | IJCAI | Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| 2008 | AiML | Topology, connectedness, and modal logic. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 2008 | KR | Can You Tell the Difference Between DL-Lite Ontologies?. | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2008 | LPAR | On the Computational Complexity of Spatial Logics with Connectedness Constraints. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 2007 | AAAI | DL-Lite in the Light of First-Order Logic. | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
| 2007 | ER | Reasoning over Extended ER Models. | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2007 | TIME | Temporalising Tractable Description Logics. | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2006 | AiML | Dynamic topological logics over spaces with continuous functions. | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2003 | FlAIRS | On the Computational Complexity of Spatio-Temporal Logics. | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2003 | TIME | On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |