Roman Kontchakov

Reader

Contact details

[Roman Kontchakov]
Room 256
Department of Computer Science and Information Systems
Birkbeck, University of London
Malet Street
London WC1E 7HX

tel: +44 20 7631 6861
fax: +44 20 7631 6727

email: roman@dcs.bbk.ac.uk

Teaching

Software and Programming I

Software and Programming II

short PG courses on Logic and Complexity and LaTeX for Scientific Writing

previous teaching: Information Systems Concepts (2011-18), Semantic Web (King's College London, 2005)

Projects

quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data (EPSRC EP/S032282, 2019–22).

iTract: Islands of Tractability in Ontology-Based Data Access (EPSRC EP/M012670, 2015–18).

ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access (EPSRC EP/H05099X, 2010–13).

Minimal module extraction in DL-Lite.

Checking Σ-entailment and modularity in DL-Lite
(Can you tell the difference between DL-Lite ontologies?).

Computational logic of Euclidean spaces (web site, EPSRC EP/E034942, 2007–10).

DynamO: A Framework for Service Description (web site, EPSRC GR/S63175, 2005–07).

Analysis and Mechanisation of Decidable First-Order Temporal Logics (web site, EPSRC GR/R45369, 2001–04).

Frames for two-dimensional modal logics (applet for studying their properties).

Publications [dblp]

  1. pdf A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev. First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. Journal of Artificial Intelligence Research (JAIR), 2022.
  2. pdf A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev. First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). In Proc. of the 31st Int. Joint Conf. on Artificial Intelligence, IJCAI 2012 (Vienna, 23-29 July), 2022.
  3. 2021
  4. pdf A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev. First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Artificial Intelligence, 299:103536, 2021.
  5. 2020
  6. pdf G. Xiao, D. Lanti, R. Kontchakov, S.  Komla-Ebri, E. G. Kalaycı, L. Ding, J. Corman, B. Cogrel, D. Calvanese and E. Botoeva. The Virtual Knowledge Graph System Ontop. In Proc. of the 19th Int. Semantic Web Conference, ISWC 2020, Part II (Athens, 2–6 November), vol. 12507 of LNCS, pp. 259–277, Springer, 2020.
  7. pdf G. Xiao, D. Lanti, R. Kontchakov, S.  Komla-Ebri, E. G. Kalaycı, L. Ding, J. Corman, B. Cogrel, D. Calvanese and E. Botoeva. The Virtual Knowledge Graph System Ontop (Extended Abstract). In Proc. of the 33rd Int. Workshop on Description Logics, DL 2020 (Rhodes, 12–14 September), 2020.
  8. pdf R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. Boolean Role Inclusions in DL-Lite With and Without Time. In Proc. of the 17th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2020 (Rhodes, 12–18 September), 2020.
  9. 2019
  10. pdf R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. A Note on DL-Lite with Boolean Role Inclusions. In Proc. of the 32nd Int. Workshop on Description Logics, DL 2019 (Oslo, 18–21 June), 2019.
  11. pdf S. Brandt, D. Calvanese, E. G. Kalaycı, R. Kontchakov, B. Mörzinger, V. Ryzhikov, G. Xiao and M. Zakharyaschev. Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. In Proc. of the 26th Int. Symposium on Temporal Representation and Reasoning, TIME 2019, (Malaga, 16–19 October), 2019.
  12. 2018
  13. pdf M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii and M. Zakharyaschev. Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. Journal of the ACM, 65(5):28:1–28:51, 2018.
  14. pdf S. Kikot, R. Kontchakov, S. Rapisarda and M. Zakharyaschev. STYPES: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. In Proc. of the 17th Int. Conf. on Ontologies, DataBases, and Applications of Semantics, ODBASE 2018 (Valletta, Malta, 23-24 October), vol. 11230 of LNCS, Springer, 2018.
  15. pdf G. Xiao, R. Kontchakov, B. Cogrel, D. Calvanese and E. Botoeva. Efficient Handling of SPARQL OPTIONAL for OBDA. In Proc. of the 17th Int. Semantic Web Conf., ISWC 2018 (Monterey, CA, 8-12 October), Part I, vol. 11136 of LNCS, pp. 354-373. Springer, 2018.
    pdf
    full version: arXiv:1806.05918
  16. pdfG. Xiao, D. Calvanese, R. Kontchakov, D. Lembo, A. Poggi, R. Rosati and M. Zakharyaschev. Ontology-Based Data Access: A Survey. In Proc. of the 27th Int. Joint Conf. on Artificial Intelligence, IJCAI-ECAI 2018 (Stockholm, 13-19 July), 2018.
  17. 2017
  18. pdf D. Hovland, R. Kontchakov, M. Skjæveland, A. Waaler and M. Zakharyaschev. Ontology-Based Data Access to Slegge. In Proc. of the 16th Int. Semantic Web Conf., ISWC 2017 (Vienna, 21-25 October), Springer, 2017.

    complete resource description: purl.org/slegge
  19. pdf A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev. Ontology-Mediated Query Answering over Temporal Data: A Survey. In Proc. of the 24th Int. Symposium on Temporal Representation and Reasoning, TIME 2017 (Mons, 16-18 October), LIPIcs, 2017.
  20. pdf M. Bienvenu, S. Kikot, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. On the Parameterised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. In Proc. of the 30th Int. Workshop on Description Logics, DL-2017 (Montpellier, 18-21 July), CEUR-WS, vol. 1879, 2017.
  21. pdf M. Bienvenu, S. Kikot, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. In Proc. of the 30th Int. Workshop on Description Logics, DL-2017 (Montpellier, 18-21 July), CEUR-WS, vol. 1879, 2017.
  22. pdf M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, V. Ryzhikov and M. Zakharyaschev. The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. In Proc. of the 36th ACM Symposium on Principles of Database Systems, PODS 2017 (Chicago, 14-19 May), 2017.
    pdf
    full version: arXiv:1702.03358
  23. pdf S. Brandt, E. Güzel Kalaycı, R. Kontchakov, V. Ryzhikov, G. Xiao and M. Zakharyaschev. Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. In Proc. of the 31st AAAI Conf. on Artificial Intelligence (San Francisco, 4-9 February), pp. 1070-1076. AAAI, 2017.
  24. pdf D. Calvanese, B. Cogrel, S. Komla-Ebri, R. Kontchakov, D. Lanti, M. Rezk, M. Rodriguez-Muro and G. Xiao. Ontop: Answering SPARQL queries over relational databases. Semantic Web 8(3): 471-487, 2017.
  25. 2016
  26. pdf R. Kontchakov, L. Pandolfo, L. Pulina, V. Ryzhikov and M. Zakharyaschev. Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence, IJCAI 2016 (New York, 9-15 July), pp. 1160-1166. AAAI 2016.
  27. pdf V. Gutiérrez-Basulto, J. C. Jung and R. Kontchakov. Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence, IJCAI 2016 (New York, 9-15 July), pp. 1102-1108. AAAI, 2016.
  28. pdf R. Kontchakov and E. V. Kostylev. On Expressibility of Non-Monotone Operators in SPARQL. In Proc. of the 15th Int. Conf. on Knowledge Representation and Reasoning, KR 2016 (Cape Town, 25-29 April), pp. 369-379. AAAI, 2016.
  29. pdf M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii and M. Zakharyaschev. Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. In Proc. of the 29th Int. Workshop on Description Logics, DL-2016 (Cape Town, 22-25 April), CEUR-WS, vol. 1577, 2016.
  30. pdf V. Gutiérrez-Basulto, J. C. Jung and R. Kontchakov. On Decidability and Tractability of Querying in Temporal EL. In Proc. of the 29th Int. Workshop on Description Logics, DL-2016 (Cape Town, 22-25 April), CEUR-WS, vol. 1577, 2016.
  31. pdf E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. Games for Query Inseparability of Description Logic Knowledge Bases. Artificial Intelligence, 234:78-119, 2016.
  32. 2015
  33. pdfV. Gutiérrez-Basulto, Y. A. Ibáñez-García, R. Kontchakov, E. V. Kostylev. Queries with Negation and Inequalities over Lightweight Ontologies. Journal of Web Semantics 35:184-202, 2015.
  34. pdf A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev. First-Order Rewritability of Temporal Ontology-Mediated Queries. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence, IJCAI-15 (Buenos Aires, 25-31 July), pp. 2706-2712. AAAI, 2015.
  35. pdf E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. When Are Description Logic Knowledge Bases Indistinguishable? In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence, IJCAI-15 (Buenos Aires, 25-31 July), pp. 4240-4246. AAAI, 2015.
  36. pdfA. Artale, R. Kontchakov, V.  Ryzhikov and M. Zakharyaschev. Interval Temporal Description Logics. In Proc. of the 28th Int. Workshop on Description Logics, DL-2015 (Athens, 7-10 June), CEUR-WS vol. 1350, 2015.
  37. pdfA. Artale, R. Kontchakov, V.  Ryzhikov and M. Zakharyaschev. Tractable Interval Temporal Propositional and Description Logics. In Proc. of the 29th AAAI Conf. on Artificial Intelligence, AAAI-15 (Austin, TX, USA, 25-30 January), 1417-1423. AAAI, 2015.
  38. 2014
  39. pdf R. Kontchakov, M. Rezk, M. Rodríguez-Muro, G. Xiao and M. Zakharyaschev. Answering SPARQL Queries under the OWL 2 QL Entailment Regime with Databases. In Proc. of the 13th Int. Semantic Web Conf., ISWC 2014, Part I (Riva del Garda, 19-23 October), vol. 8796 of LNCS, pp. 552-567. Springer, 2014.
  40. pdfR. Kontchakov, I. Pratt-Hartmann and M. Zakharyaschev. Spatial Reasoning with RCC8 and Connectedness Constraints in Euclidean Spaces. Artificial Intelligence, 217:43-75, 2014.
  41. pdfA. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Transactions on Computational Logic, 15(3):25, 2014.
  42. pdfG. Gottlob, S. Kikot, R. Kontchakov, V. V. Podolskii, T. Schwentick and M. Zakharyaschev. The Price of Query Rewriting in Ontology-Based Data Access. Artificial Intelligence, 213:42-59, 2014.
  43. pdf R. Kontchakov and M. Zakharyaschev. An Introduction to Description Logics and Query Rewriting. In M. Koubarakis, G. Stamou and G. Stoilos, editors, Reasoning Web Summer School (Athens, 8-13 September), vol. 8714 of LNCS, pp. 195-244. Springer, 2014.
  44. pdf E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. Query Inseparability for Description Logic Knowledge Bases. In C. Baral, G. De Giacomo and T. Eiter, editors, Proceedings of KR (Vienna, 20-24 July). AAAI, 2014
  45. pdf A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev. Temporal OBDA with LTL and DL-Lite. In M. Bienvenu, M. Ortiz, R. Rosati and M. Simkus, editors, Informal Proceedings of DL (Vienna, 17-20 July), pp. 21-32. CEUR-WS, vol. 1193, 2014
  46. pdf E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. Query Inseparability by Games. In M. Bienvenu, M. Ortiz, R. Rosati and M. Simkus, editors, Informal Proceedings of DL (Vienna, 17-20 July), pp. 83-95. CEUR-WS, vol. 1193, 2014
  47. pdf S. Kikot, R. Kontchakov, V. Podolskii and M. Zakharyaschev. On the Succinctness of Query Rewriting over Shallow Ontologies. In T. Henzinger and D. Miller, editors, Proceedings of CSL-LICS (Vienna, 14-18 July), pp. 57:1-57:10. ACM, 2014.
    pdf
    full version: arXiv:1401.4420
  48. 2013
  49. pdf A. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. The Complexity of Clausal Fragments of LTL. In K. McMillan, A. Middeldorp and A. Voronkov, editors, Proceedings of LPAR (Stellenbosch, South Africa, 15-19 December), LNCS vol. 8312, pp. 35-52. Springer, 2013.
  50. pdfR. Kontchakov, Y. Nenov, I. Pratt-Hartmann and M. Zakharyaschev. Topological Logics with Connectedness over Euclidean Spaces. ACM Transactions on Computational Logic, 14(2):13, 2013.
  51. pdf M. Rodríguez-Muro, R. Kontchakov and M. Zakharyaschev. Ontology-Based Data Access: Ontop of Databases. In H. Alani, et al., editors, Proceedings of ISWC (Sydney, 21-25 October), vol. 8218 of LNCS, pp. 558-573. Springer, 2013. (experiment details)
  52. pdf A. Artale, R. Kontchakov, F. Wolter and M. Zakharyaschev. Temporal Description Logic for Ontology-Based Data Access. In F. Rossi, editor, Proceedings of IJCAI (Beijing, 3-9 August), pp. 711-717. AAAI Press, 2013.
    pdf
    full version: arXiv:1304.5185
  53. pdf R. Kontchakov, M. Rodríguez-Muro and M. Zakharyaschev. Ontology-Based Data Access with Databases: A Short Course. In S. Rudolph, G. Gottlob, I. Horrocks, F. van Harmelen, editors, Summer School on Reasoning Web (Mannheim, 30 July - 2 August), vol. 8067 of LNCS, pp. 194-229. Springer, 2013.
  54. pdfV. Gutiérrez-Basulto, Y. Ibáñez García, R. Kontchakov and E. Kostylev. Conjunctive Queries with Negation over DL-Lite: A Closer Look. In W. Faber and D. Lembo, editors, Proceedings of RR (Mannheim, 27-29 July), vol. 7994 of LNCS, pp. 109-122. Springer, 2013. (best student paper award)
  55. pdf S. Kikot, R. Kontchakov, V. Podolskii and M. Zakharyaschev. Query Rewriting over Shallow Ontologies. In T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch, Informal Proceedings of DL (Ulm, 23-26 July), pp. 316-327. CEUR Workshop Proceedings, vol. 1014, 2013
    pdf
    full version
  56. pdf R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. In T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch, Informal Proceedings of DL (Ulm, 23-26 July), pp. 353-363. CEUR Workshop Proceedings, vol. 1014, 2013
  57. pdf M. Rodríguez-Muro, R. Kontchakov and M. Zakharyaschev. Query Rewriting and Optimisation with Database Dependencies in Ontop. In T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch, Informal Proceedings of DL (Ulm, 23-26 July), pp. 917-929. CEUR Workshop Proceedings, vol. 1014, 2013
  58. pdf A. Artale, R. Kontchakov, F. Wolter and M. Zakharyaschev. Temporalising OWL 2 QL. In T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch, Informal Proceedings of DL (Ulm, 23-26 July), pp. 17-28. CEUR Workshop Proceedings, vol. 1014, 2013
  59. pdf M. Rodríguez-Muro, R. Kontchakov and M. Zakharyaschev. OBDA with Ontop. In S. Bail, B. Glimm, R. Gonçalves, E. Jiménez-Ruiz, Y. Kazakov, N. Matentzoglu, B. Parsia, Informal Proceedings of ORE (Ulm, 22 July), pp. 101-106. CEUR Workshop Proceedings, vol. 1015, 2013
  60. pdf M. Rodríguez-Muro, R. Kontchakov and M. Zakharyaschev. Ontop at Work. In M. Rodríguez-Muro, S. Jupp, K Srinivas, Proceedings of OWLED (Montpellier, 26-27 May). CEUR Workshop Proceedings, vol. 1080, 2013
  61. 2012
  62. pdf A. Artale, V. Ryzhikov and R. Kontchakov. DL-Lite with Attributes and Datatypes. In L. De Raedt, C. Bessiére, D. Dubois, P Doherty, P. Frasconi, F Heintz, P. Lucasroc, editors, Proceedings of ECAI (Montpellier, 27-31 August), pp. 61-66. IOS Press, 2012.
    pdf
    full version: (technical report bbkcs-12-01)
  63. V. Gutiérrez-Basulto, Y. Ibáñez García and R. Kontchakov. An Update on Query Answering with Restricted Forms of Negation. In M. Krötzsch and U. Straccia, editors, Proceedings of RR (Vienna, 10-12 September), vol. 7497 of LNCS, pp. 75-89. Springer, 2012.
  64. pdf S. Kikot, R. Kontchakov, V. Podolskii and M. Zakharyaschev. Exponential Lower Bounds and Separation for Query Rewriting. In A. Czumaj, K. Mehlhorn, A. Pitts and R. Wattenhofer, editors, Proceedings of ICALP (Warwick, 9-13 July), Part II, LNCS vol. 7392, pp. 263-274. Springer, 2012.
    pdf
    full version: arXiv:1202.4193
  65. S. Kikot, R. Kontchakov, and M. Zakharyaschev. Conjunctive Query Answering with OWL 2 QL. In G. Brewka, T. Eiter and S. McIlraith, editors, Proceedings of KR (Rome, 10-14 June), pp. 275-285. AAAI Press, 2012.
  66. pdf S. Kikot, R. Kontchakov, V. Podolskii and M. Zakharyaschev. Long Rewritings, Short Rewritings. In Y. Kazakov, D. Lembo and F. Wolter, editors, Proceedings of DL (Rome, 7-10 June), pp. 235-245. CEUR Workshop Proceedings, vol. 846, 2012.
  67. 2011
  68. pdf A. Artale, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. In C. Tinelli, and V. Sofronie-Stokkermans, editors, Proceedings of FroCoS (Saarbrücken, Germany, 5-7 October), LNAI vol. 6989, pp. 1-11. Springer, 2011.
  69. pdf S. Kikot, R. Kontchakov and M. Zakharyaschev. Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. In S. Rudolph and C. Gutierrez, editors, Proceedings of RR (Galway, Ireland, 29-30 August), LNCS vol. 6902, pp. 124-138. Springer, 2011. (best paper award)
  70. pdf B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter and M. Zakharyaschev. Conjunctive Query Inseparability of OWL 2 QL TBoxes. In W. Burgard and D. Roth, editors, Proceedings of AAAI (San Francisco, 7-11 August), pp. 221-226. AAAI Press, 2011. (experiment details)
  71. pdf R. Kontchakov, Y. Nenov, I. Pratt-Hartmann and M. Zakharyaschev. On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. In T. Walsh, editor, Proceedings of IJCAI (Barcelona, 16-22 July), pp. 957-962. AAAI Press, 2011. (distinguished paper award)
  72. pdf R. Kontchakov, C. Lutz, D. Toman, F. Wolter and M. Zakharyaschev. The Combined Approach to Ontology-Based Data Access. In T. Walsh, editor, Proceedings of IJCAI (Barcelona, 16-22 July), pp. 2656-2661. AAAI Press, 2011.
  73. pdf A. Artale, A. Ibáñez García, R. Kontchakov and V. Ryzhikov. DL-Lite with Attributes and Sub-Roles (Extended Abstract). In R. Rosati, S. Rudolph and M. Zakharyaschev, editors, Proceedings of DL (Barcelona, 13-16 July), pp. 15-25. CEUR Workshop Proceedings, vol. 745, 2011.
  74. pdf S. Kikot, R. Kontchakov and M. Zakharyaschev. On (In)Tractability of OBDA with OWL 2 QL. In R. Rosati, S. Rudolph and M. Zakharyaschev, editors, Proceedings of DL (Barcelona, 13-16 July), pp. 224-234. CEUR Workshop Proceedings, vol. 745, 2011.
  75. pdf B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter and M. Zakharyaschev. Module Extraction via Query Inseparability in OWL 2 QL. In R. Rosati, S. Rudolph and M. Zakharyaschev, editors, Proceedings of DL (Barcelona, 13-16 July), pp. 257-267. CEUR Workshop Proceedings, vol. 745, 2011.
  76. 2010
  77. pdf A. Artale, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. Complexity of Reasoning over Temporal Data Models. In J. Parsons, M. Saeki, P. Shoval, C. Woo and Y. Wand, editors, Proceedings of ER (Vancouver, British Columbia, 1-4 November), LNCS vol. 6412, pp. 174-187. Springer, 2010.
  78. pdf R. Kontchakov, F. Wolter and M. Zakharyaschev. Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artificial Intelligence 174(15):1093-1141, October 2010.
  79. pdf R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev. Spatial logics with connectedness predicates. Logical Methods in Computer Science 6(3), 2010.
  80. pdf A. Artale, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. Past and Future of DL-Lite. In M. Fox and D. Poole, editors, Proceedings of AAAI (Atlanta, USA, July 11-15), pp. 243-248. AAAI Press, 2010.
  81. pdf R. Kontchakov, C. Lutz, D. Toman, F. Wolter and M. Zakharyaschev. The Combined Approach to Query Answering in DL-Lite. In F. Lin, U. Sattler and M. Truszczynski, editors, Proceedings of KR (Toronto, Canada, May 9-13), pp. 247-257. AAAI Press, 2010. (2010 Ray Reiter best paper prize)
  82. pdf R. Kontchakov, I. Pratt-Hartmann and M. Zakharyaschev. Interpreting Topological Logics over Euclidean Spaces. In F. Lin, U. Sattler and M. Truszczynski, editors, Proceedings of KR (Toronto, Canada, May 9-13), pp. 534-544. AAAI Press, 2010.
  83. pdf A. Artale, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. Temporal Conceptual Modelling with DL-Lite. In V. Haarslev, D. Toman and G. Weddell, editors, Proceedings of DL 2010 (Waterloo, Canada, May 4-7), pp. 9-19. CEUR Workshop Proceedings, vol. 573, 2010.
    pdf
    full version: (technical report bbkcs-10-02)
  84. 2009
  85. pdf A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. The DL-Lite Family and Relations. Journal of Artificial Intelligence Research (JAIR), 36:1-69, 2009.
  86. pdf A. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. In S. Ghilardi and R. Sebastiani, editors, Proceedings of FroCoS-09 (Trento, Italy, 16-18 September), LNAI vol. 5749, pp. 133-148. Springer, 2009.
  87. pdf R. Kontchakov, C. Lutz, D. Toman, F. Wolter and M. Zakharyaschev. Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. In B. Cuenca Grau, I. Horrocks, B. Motik and U. Sattler, editors, Proceedings of DL 2009 (Oxford, July 27-30). CEUR Workshop Proceedings, vol. 477, 2009.
  88. pdf A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. Adding Weight to DL-Lite. In B. Cuenca Grau, I. Horrocks, B. Motik and U. Sattler, editors, Proceedings of DL 2009 (Oxford, July 27-30). CEUR Workshop Proceedings, vol. 477, 2009.
  89. pdf A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. DL-Lite without UNA. In B. Cuenca Grau, I. Horrocks, B. Motik and U. Sattler, editors, Proceedings of DL 2009 (Oxford, July 27-30). CEUR Workshop Proceedings, vol. 477, 2009.
  90. pdf A. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Extending DL-Lite Sometime in the Future. In B. Cuenca Grau, I. Horrocks, B. Motik and U. Sattler, editors, Proceedings of DL 2009 (Oxford, July 27-30). CEUR Workshop Proceedings, vol. 477, 2009.
  91. pdf R. Kontchakov, L. Pulina, U. Sattler, T. Schneider, P. Selmer, F. Wolter and M. Zakharyaschev. Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers. In C. Boutilier, editor, Proceedings of IJCAI-09 (Pasadena, July 11-17), pp. 836-841, 2009.
  92. pdf R. Kontchakov, I. Pratt-Hartmann and M. Zakharyaschev. Topological logics over Euclidean spaces. In Proceedings of Topology, Algebra and Categories in Logic, TACL 2009 (Amsterdam, July 7-11, 2009).
  93. 2008
  94. pdf R. Kontchakov and M. Zakharyaschev. DL-Lite and role inclusions. In J. Domingue, Ch. Anutariya, editors, The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008 (Bangkok, Thailand, December 8-11, 2008), pp. 16-30, LNCS vol. 5367, Springer 2008.
  95. pdf R. Kontchakov, F. Wolter and M. Zakharyaschev. Can you tell the difference between DL-Lite ontologies? In G. Brewka and J. Lang, Proceedings of KR-2008 (Sydney, Australia, September 16-19, 2008), pp. 285-295. AAAI Press, 2008. (2008 Ray Reiter best paper prize)
  96. pdf R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. Checking DL-Lite modularity with QBF solvers. In F. Baader, C. Lutz and B. Motik, Proceedings of DL'08 (Dresden, Germany, May 13-16, 2008). CEUR Workshop Proceedings, vol. 353, 2008.
  97. pdf R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev. On the computational complexity of spatial logics with connectedness constraints. In I. Cervesato, H. Veith and A. Voronkov, editors, Proceedings of LPAR 2008 (Doha, Qatar, November 22-27, 2008), LNAI vol. 5330, pp. 574-589. Springer 2008.
  98. ps pdf R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev. Topology, connectedness, and modal logic. In C. Areces and R. Goldblatt, editors, Advances in Modal Logic, vol. 7, pp. 151-176. College Publications, London, 2008.
  99. 2007
  100. pdf A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Reasoning over Extended ER models. In C. Parent, K.-D. Schewe and V. C. Storey, editors, ER 2007 Conference Proceedings (Auckland, New Zealand, November 5-9, 2007), LNCS vol. 4801, pp. 277-292. Springer, 2007.
  101. pdf A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. Query Answering in Expressive Variants of DL-Lite. Proceedings of the 15th Italian Symposium on Advanced Database Systems (SEBD 2007, Torre Canne, Fasano, Italy, June 17-20, 2007), pp. 250-257, 2007.
  102. ps pdf R. Kontchakov, F. Wolter and M. Zakharyaschev. Modularity in DL-Lite. Proceedings of DL'07 (Brixen/Bressanone, Italy, June 8-10, 2007), pp. 76-87. CEUR Workshop Proceedings, vol. 250, 2007.
  103. ps pdf A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Complexity of reasoning over Entity-Relationship models. Proceedings of DL'07 (Brixen/Bressanone, Italy, June 8-10, 2007), pp. 163-170. CEUR Workshop Proceedings, vol. 250, 2007.
  104. ps pdf A. Artale, R. Kontchakov, C. Lutz, F. Wolter and M. Zakharyaschev. Temporalising tractable description logics. In V. Goranko and X.S. Wang, editors, Proceedings of TIME 2007 (Alicante, Spain, June 28-30, 2007), pp. 11-22. IEEE Computer Society, 2007.
  105. ps A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. DL-Lite in the Light of First-Order Logic. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (Vancouver, British Columbia, July 22-26, 2007), pp. 361-366. AAAI Press, 2007.
  106. ps R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev. Spatial logic + temporal logic = ? In M. Aiello, I. Pratt-Hartmann and J. van Benthem, editors, Handbook of Spatial Logics, pp. 497-564. Springer, 2007.
  107. 2006
  108. ps B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. Dynamic topological logics over spaces with continuous functions. In G. Governatori, I. Hodkinson and Y. Venema, editors, Advances in Modal Logic, vol.6, pp. 299-318. College Publications, London, 2006.
  109. ps B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. On dynamic topological and metric logics. Studia Logica, 84:129-160, 2006.
  110. 2005
  111. ps R. Kontchakov, A. Kurucz and M. Zakharyaschev. Undecidability of first-order intuitionistic and modal logics with two variables. Bulletin of Symbolic Logic, 11(3):428-438, 2005.
  112. pdf D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev. Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research (JAIR), 23:167-243, 2005.
  113. 2004
  114. R. Kontchakov. Monodic First-Order Temporal Logics: Complexity, Tableaux, and Applications. PhD thesis, University of London, 2004.
  115. ps B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. On dynamic topological and metric logics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, H. Wansing, editors, Proceedings of AiML 2004, pp. 182-196, September 2004, Manchester, U.K.
  116. ps R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising tableaux. Studia Logica, 76(1):91-134, 2004.
  117. 2003
  118. ps I. Hodkinson, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev. On the computational complexity of decidable fragments of first-order linear temporal logics. In M. Reynolds and A. Sattar, editors, Proceedings of TIME-ICTL 2003, pp. 91-98. IEEE Computer Society, 2003.
  119. ps D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev. On the computational complexity of spatio-temporal logics. In I. Russell and S. Haller, editors, Proceedings of the 16th AAAI International FLAIRS Conference, pp. 460-464. AAAI Press, 2003.

Selected presentations

  1. pdf25 Oct 2017, ISWC 2017: Ontology-Based Data Access to Slegge
  2. pdf17 Jul 2017, University of Montpellier: Rewriting OWL 2 QL Ontology-Mediated Queries: Succinctness
  3. pdf26 Nov 2016, Inria, Paris: Ontology-Based Data Access via Query Rewriting: Practice
  4. pdf8 Jul 2016, IBM TJ Watson: On Expressibility of Non-Monotone Operators in SPARQL
  5. pdf22 Apr 2016, DL 2016: On Decidability and Tractability of Querying in Temporal EL
  6. pdf30 Jul 2015, IJCAI 2015: When are Description Logic Knowledge Bases Indistinguishable?
  7. pdf25 Nov 2011, University of Leicester: Logic-based Ontology Comparison and Module Extraction in OWL 2 QL
  8. pdf23 Feb 2010, Free University of Bozen-Bolzano: The combined approach to query answering in DL-Lite
  9. pdf26 Jan 2010, ALCOP workshop: Topological logics over Euclidean spaces
  10. pdf20 Apr 2009, University of Genoa: Minimal module extraction from DL-Lite ontologies
  11. pdf8 Apr 2009, Free University of Bozen-Bolzano: The DL-Lite family and relations
  12. pdf18 Sep 2008, KR 2008: Can you Tell the difference between DL-Lite ontologies?
  13. pdf5 Jun 2008, Topological Methods in Logic: On the computational complexity of spatial logics with connectedness constraints
  14. pdf5 Aug 2007, TANCL 2007: On dynamic topological logics
  15. pdf28 Jun 2007, TIME 2007: Temporalising tractable description logics
  16. pdf1 Aug 2005, LC 2005: Undecidability of first-order intuitionistic logic with two variables
  17. pdf11 Sep 2004, AiML 2004: On dynamic topological and metric logics