Roman Kontchakov

Postdoctoral Research Fellow

Contact details

[Roman Kontchakov]
Room 103.3 (EMST)
School of Computer Science and Information Systems
Birkbeck College
Malet Street
London WC1E 7HX

tel: +44 20 7763 2101
fax: +44 20 7631 6727

email: roman@dcs.bbk.ac.uk

Projects

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.

DynamO: A Framework for Service Description (web site).

Analysis and Mechanisation of Decidable First-Order Temporal Logics (web site).

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

Publications

  1. pdf R. Kontchakov, C. Lutz, D. Toman, F. Wolter and M. Zakharyaschev. The Combined Approach to Query Answering in DL-Lite. Accepted for KR 2010.
  2. pdf R. Kontchakov, I. Pratt-Hartmann and M. Zakharyaschev. Interpreting Topological Logics over Euclidean Spaces. Accepted for KR 2010.
  3. pdf R. Kontchakov, F. Wolter and M. Zakharyaschev. A logic-based framework for ontology comparison and module extraction in DL-Lite. Accepted for publication in Artificial Intelligence.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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).
  12. 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.
  13. 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.
  14. 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)
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. ps B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. On dynamic topological and metric logics. Studia Logica, 84:129-160, 2006.
  27. 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.
  28. R. Kontchakov. Monodic First-Order Temporal Logics: Complexity, Tableaux, and Applications. PhD thesis, University of London, 2004.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. ps R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising tableaux. Studia Logica, 76(1):91-134, 2004.

Selected presentations

  1. pdf20 Apr 2009, University of Genoa: Minimal module extraction from DL-Lite ontologies
  2. pdf8 Apr 2009, Free University of Bozen-Bolzano: The DL-Lite Family and Relations
  3. pdf18 Sep 2008, KR 2008: Can you Tell the Difference between DL-Lite Ontologies?
  4. pdf5 Jun 2008, Topological Methods in Logic: On the computational complexity of spatial logics with connectedness constraints
  5. pdf5 Aug 2007, TANCL 2007: On dynamic topological logics
  6. pdf28 Jun 2007, TIME 2007: Temporalising tractable description logics
  7. pdf1 Aug 2005, LC 2005: Undecidability of first-order intuitionistic logic with two variables
  8. pdf11 Sep 2004, AiML 2004: On dynamic topological and metric logics