Roman Kontchakov

Senior Lecturer

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

Information Systems Concepts (ISC)

Software and Programming I (SP1)

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

previous teaching: Semantic Web (King's College London, 2005)

Projects

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 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 2015
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 2014
  14. 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.
  15. pdfR. Kontchakov, I. Pratt-Hartmann and M. Zakharyaschev. Spatial Reasoning with RCC8 and Connectedness Constraints in Euclidean Spaces. Artificial Intelligence, 217:43-75, 2014.
  16. 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.
  17. 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.
  18. 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.
  19. 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
  20. 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
  21. 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
  22. 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
  23. 2013
  24. 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.
  25. 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.
  26. 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)
  27. 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
  28. 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.
  29. 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)
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 2012
  37. 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)
  38. 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.
  39. 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
  40. 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.
  41. 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.
  42. 2011
  43. 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.
  44. 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)
  45. 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)
  46. 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)
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 2010
  52. 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.
  53. 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.
  54. pdf R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev. Spatial logics with connectedness predicates. Logical Methods in Computer Science 6(3), 2010.
  55. 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.
  56. 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)
  57. 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.
  58. 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.
  59. pdf A. Artale, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. Temporal Conceptual Modelling with DL-Lite (full version). Technical Report BBKCS-10-02, Department of Computer Science and Information Systems, Birkbeck, University of London, March 2010.
  60. 2009
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. 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).
  69. pdf A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. The DL-Lite Family and Relations. Technical Report BBKCS-09-03, School of Computer Science and Information Systems, Birkbeck, University of London, April 2009.
  70. 2008
  71. 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.
  72. 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)
  73. 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.
  74. 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.
  75. 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.
  76. 2007
  77. 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.
  78. 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.
  79. 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.
  80. 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.
  81. 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.
  82. 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.
  83. 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.
  84. 2006
  85. 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.
  86. ps B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. On dynamic topological and metric logics. Studia Logica, 84:129-160, 2006.
  87. 2005
  88. 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.
  89. pspdf 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.
  90. 2004
  91. R. Kontchakov. Monodic First-Order Temporal Logics: Complexity, Tableaux, and Applications. PhD thesis, University of London, 2004.
  92. 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.
  93. ps R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising tableaux. Studia Logica, 76(1):91-134, 2004.
  94. 2003
  95. 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.
  96. 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. pdf23 Feb 2010, Free University of Bozen-Bolzano: The combined approach to query answering in DL-Lite
  2. pdf26 Jan 2010, ALCOP workshop: Topological logics over Euclidean spaces
  3. pdf20 Apr 2009, University of Genoa: Minimal module extraction from DL-Lite ontologies
  4. pdf8 Apr 2009, Free University of Bozen-Bolzano: The DL-Lite family and relations
  5. pdf18 Sep 2008, KR 2008: Can you Tell the difference between DL-Lite ontologies?
  6. pdf5 Jun 2008, Topological Methods in Logic: On the computational complexity of spatial logics with connectedness constraints
  7. pdf5 Aug 2007, TANCL 2007: On dynamic topological logics
  8. pdf28 Jun 2007, TIME 2007: Temporalising tractable description logics
  9. pdf1 Aug 2005, LC 2005: Undecidability of first-order intuitionistic logic with two variables
  10. pdf11 Sep 2004, AiML 2004: On dynamic topological and metric logics