Roman Kontchakov

Lecturer

Contact details

[Roman Kontchakov]
Room 256
Department of Computer Science and Information Systems
Birkbeck College
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)

Projects

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

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).

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

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

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

Publications [dblp]

  1. 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.
  2. 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.
  3. 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)
  4. 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)
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. pdf R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev. Spatial logics with connectedness predicates. Logical Methods in Computer Science 6(3), 2010.
  12. 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.
  13. 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), AAAI Press, 2010. (2010 Ray Reiter best paper prize)
  14. 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), AAAI Press, 2010.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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).
  25. 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.
  26. 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.
  27. 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)
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. ps B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. On dynamic topological and metric logics. Studia Logica, 84:129-160, 2006.
  40. 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.
  41. R. Kontchakov. Monodic First-Order Temporal Logics: Complexity, Tableaux, and Applications. PhD thesis, University of London, 2004.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. ps R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising tableaux. Studia Logica, 76(1):91-134, 2004.

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