Roman Kontchakov

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 33

Top Venues

King's College London, UK (PHD)

Education History

King's College London, UK

PHD

Publications

Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR (2024)
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics (2024)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI (2022)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75 (2022)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299 (2021)
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Boolean Role Inclusions in DL-Lite With and Without Time. KR (2020)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR (2020)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
The Virtual Knowledge Graph System Ontop. ISWC (2) (2020)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
The Virtual Knowledge Graph System Ontop (Extended Abstract). Description Logics (2020)
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
A Note on DL-Lite with Boolean Role Inclusions. Description Logics (2019)
Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME (2019)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. J. ACM 65 (5) (2018)
Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
Ontology-Based Data Access: A Survey. IJCAI (2018)
Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. OTM Conferences (2) (2018)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
Efficient Handling of SPARQL OPTIONAL for OBDA. ISWC (1) (2018)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). CoRR (2018)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Description Logics (2017)
Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev
Ontology-Based Data Access to Slegge. ISWC (2) (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. PODS (2017)
Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. AAAI (2017)
Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao
Ontop: Answering SPARQL queries over relational databases. Semantic Web 8 (3) (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. CoRR (2017)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Description Logics (2017)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234 (2016)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. CoRR (2016)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. IJCAI (2016)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. CoRR (2016)
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI (2016)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
On Decidability and Tractability of Querying in Temporal EL. Description Logics (2016)
Roman Kontchakov, Egor V. Kostylev
On Expressibility of Non-Monotone Operators in SPARQL. KR (2016)
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Description Logics (2016)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Interval Temporal Description Logics. Description Logics (2015)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Tractable Interval Temporal Propositional and Description Logics. AAAI (2015)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
Queries with negation and inequalities over lightweight ontologies. J. Web Semant. 35 (2015)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI (2015)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI (2015)
Diego Calvanese, Benjamin Cogrel, Elem Guzel Kalayci, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao
OBDA with the Ontop Framework. SEBD (2015)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
On the succinctness of query rewriting over shallow ontologies. CSL-LICS (2014)
Roman Kontchakov, Michael Zakharyaschev
An Introduction to Description Logics and Query Rewriting. Reasoning Web (2014)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability for Description Logic Knowledge Bases. KR (2014)
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artif. Intell. 217 (2014)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15 (3) (2014)
Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, Michael Zakharyaschev
Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. ISWC (1) (2014)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases. CoRR (2014)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability by Games. Description Logics (2014)
Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev
The price of query rewriting in ontology-based data access. Artif. Intell. 213 (2014)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
The DL-Lite Family and Relations. CoRR (2014)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporal OBDA with LTL and DL-Lite. Description Logics (2014)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Temporal Description Logic for Ontology-Based Data Access (Extended Version) CoRR (2013)
Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Description Logics (2013)
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
Query Rewriting and Optimisation with Database Dependencies in Ontop. Description Logics (2013)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Clausal Fragments of LTL. LPAR (2013)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Temporalising OWL 2 QL. Description Logics (2013)
Roman Kontchakov, Mariano Rodriguez-Muro, Michael Zakharyaschev
Ontology-Based Data Access with Databases: A Short Course. Reasoning Web (2013)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
Topological Logics with Connectedness over Euclidean Spaces. ACM Trans. Comput. Log. 14 (2) (2013)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Clausal Fragments of LTL. CoRR (2013)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
Conjunctive Queries with Negation over DL-Lite: A Closer Look. RR (2013)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Query Rewriting over Shallow Ontologies. Description Logics (2013)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Temporal Description Logic for Ontology-Based Data Access. IJCAI (2013)
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
OBDA with Ontop. ORE (2013)
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
Ontology-Based Data Access: Ontop of Databases. ISWC (1) (2013)
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
Ontop at Work. OWLED (2013)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov
An Update on Query Answering with Restricted Forms of Negation. RR (2012)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Exponential Lower Bounds and Separation for Query Rewriting. ICALP (2) (2012)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Exponential Lower Bounds and Separation for Query Rewriting CoRR (2012)
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
Conjunctive Query Answering with OWL 2 QL. KR (2012)
Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov
DL-Lite with Attributes and Datatypes. ECAI (2012)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
A Cookbook for Temporal Conceptual Data Modelling with Description Logics CoRR (2012)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
Long Rewritings, Short Rewritings. Description Logics (2012)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
Topological Logics with Connectedness over Euclidean Spaces CoRR (2011)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS (2011)
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
On (In)Tractability of OBDA with OWL 2 QL. Description Logics (2011)
Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov
DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics (2011)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. IJCAI (2011)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics (2011)
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR (2011)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces CoRR (2011)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
The Combined Approach to Ontology-Based Data Access. IJCAI (2011)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI (2011)
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR (2011)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Complexity of Reasoning over Temporal Data Models. ER (2010)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Past and Future of DL-Lite. AAAI (2010)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
The Combined Approach to Query Answering in DL-Lite. KR (2010)
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
Interpreting Topological Logics over Euclidean Spaces. KR (2010)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Temporal Conceptual Modelling with DL-Lite. Description Logics (2010)
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
Spatial logics with connectedness predicates Log. Methods Comput. Sci. 6 (3) (2010)
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174 (15) (2010)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
DL-Lite without UNA. Description Logics (2009)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
with Temporalised Concepts, Rigid Axioms and Roles. FroCoS (2009)
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI (2009)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Extending DL-Lite Sometime in the Future. Description Logics (2009)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36 (2009)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics (2009)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
Adding Weight to DL-Lite. Description Logics (2009)
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
Topology, connectedness, and modal logic. Advances in Modal Logic (2008)
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Can You Tell the Difference Between DL-Lite Ontologies?. KR (2008)
Roman Kontchakov, Michael Zakharyaschev
DL-Lite and Role Inclusions. ASWC (2008)
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Checking DL-Lite Modularity with QBF Solvers. Description Logics (2008)

Roman Kontchakov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roman Kontchakov