Dr Roman Kontchakov
Current Position: Senior Lecturer
Department of Computer Science and Information Systems
Birkbeck, University of London
Malet Street
London WC1E 7HX
tel:
+44 20 7631 6861
e-mail: [email protected]
web:
www.dcs.bbk.ac.uk/∼ roman
Work Experience
10/2015–now
Senior Lecturer (Birkbeck, University of London)
01/2011–09/2015
Lecturer (Birkbeck, University of London)
02/2006–12/2010
Research Assistant (Birkbeck, University of London)
EPSRC projects EP/H05099X, EP/F002262, EP/E034942, GR/S63175
11/2001–01/2006
Research Associate (King’s College London)
EPSRC projects GR/S63175, GR/R45369
08/1999–09/2000
Part-time Research Assistant (Moscow State University)
EU project DrTESY
Research Interests:
semantic web, ontologies and description logics, databases and
information systems, spatial and temporal knowledge representation and reasoning,
modal logics, computational complexity, specification and verification
Education
2001–2004
King’s College London, Department of Computer Science
PhD in Computational Logic
1994–1999
Moscow State University, Faculty of Computational Mathematics and Cybernetics
Degree in Applied Mathematics / Computer Science (with Distinction)
Awards
•
•
•
•
2011:
2011:
2010:
2008:
distinguished paper award at IJCAI 2011
best paper award at RR 2011
Ray Reiter best paper prize at KR 2010
Ray Reiter best paper prize at KR 2008
Research Grants
• 2015–2018: Co-I on EPSRC project EP/M012670 (iTract: Islands of Tractability in OBDA)
• 2010–2013: Researcher Co-I and then Co-Investigator on EPSRC project EP/H05099X
(ExODA: Integrating Description Logics and Database Technologies
for Expressive Ontology-Based Data Access)
Professional Activities
• PC Chair: RR 2014
• PC member: KR (2016, 2014, 2012), IJCAI (2016, 2015, 2011), AAAI (2016, 2015, 2012, 2010),
WWW(2016), AiML (2014), CIKM (2014), ECAI (2012, 2010), TIME (2011, 2010),
RR (2016, 2015, 2013), RuleML (2015), JELIA (2016, 2014), ESWC (2014), FroCoS (2015),
KI (2016, 2011–14), DL (2009–16), OWLED (2012–14)
• referee: AIJ, TCS, JAIR, ACM TODS, ACM TOCL, LMCS, JAR, JoDS, JWS, SWJ,
RSL, Studia Logica, APAL, AMAI, CI, JLC
• project reviewer: FWF (Austria, 2014, 2013)
• DL Workshop Steering Committee (2009–12)
• invited lectures at the EPCL (European PhD Program in Computational Logic) Workshop 2014,
10th Reasoning Web Summer School (RW 2014), KESW School (2013, 2012)
• research seminars: University of Bremen (2015), University of Manchester (2013),
University of Montpellier 2 (2013), Free University of Bozen-Bolzano (2009–12, 2006),
University of Leicester (2011), University of Genoa (2010, 2009), Imperial College (2009)
Teaching Experience
2011–now
Lecturer & Senior Lecturer (Birkbeck, University of London)
Information Systems Concepts (module leader, up to 250 undergraduates)
Software and Programming I (module leader, up to 150 undergraduates)
2009–2016
Course Instructor (University of London)
lectures and lab sessions for a short course on LATEX (9 hours, ∼ 25 PhD students)
2006–2010
Teaching Assistant (Birkbeck, University of London)
tutorials and lab sessions for the Semantic Web module (∼ 20 postgraduates)
2005
Fixed-term Lecturer (King’s College London)
Semantic Web (∼ 50 undergraduates and postgraduates)
module leader, module developed from scratch
2001–2004
Teaching Assistant (King’s College London)
tutorials/coursework marking on Applied Logics, Database Systems
and Introduction to the Theory of Computation (undergraduates)
Industrial Experience
11/1999–10/2001
Senior Developer / System Architect (Optima, Moscow)
workflow management system: design and implementation
of server-side components (C++/SQL/XML), team coordination
06/1998–03/1999
Web Developer (part-time) (.dot, Moscow)
web projects (Perl, Java).
Programming and software skills
Certified in IBM Visual Age C++, Rational Rose and MS SQL Server 7
Other
• webmaster of the Advances in Modal Logic initiative website (AiML.net, since 2005)
• co-founder of the ACM SIGMOD Student Chapter at Moscow State University (1996)
Publication List
(h-index 22)
Refereed journal publications
1. 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
2. V. Gutiérrez-Basulto, Y. A. Ibáñez-Garcı́a, R. Kontchakov and E. V. Kostylev. Queries
with negation and inequalities over lightweight ontologies. Journal of Web Semantics,
35:184–202, 2015.
3. R. Kontchakov, I. Pratt-Hartmann and M. Zakharyaschev. Spatial reasoning with
RCC8 and connectedness constraints in Euclidean spaces. Artificial Intelligence,
217:43–75, 2014
4. A. 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
5. G. Gottlob, S. Kikot, R. Kontchakov, V. Podolskii, T. Schwentick and M. Zakharyaschev.
The price of query rewriting in ontology-based data access. Artificial Intelligence,
213:42–59, 2014
6. R. Kontchakov, Y. Nenov, I. Pratt-Hartmann and M. Zakharyaschev. Topological spatial constraints over Euclidean spaces. ACM Transactions on Computational Logic,
14(2):13, 2013
7. 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
8. R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev. Spatial logics
with connectedness predicates. Logical Methods in Computer Science, 6(3:7), 2010
9. 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
10. B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. On dynamic topological
and metric logics. Studia Logica, 84(1):129–160, 2006
11. 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.
12. 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
13. R. Kontchakov, C. Lutz, F. Wolter and M. Zakharyaschev. Temporalising tableaux.
Studia Logica, 76(1):91–134, 2004
Refereed conference publications
14. R. Kontchakov, L. Pandolfo, L. Pulina, V. Ryzhikov and M. Zakharyaschev. Temporal
and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. In Proceedings
of the 25th Int. Joint Conf. on Artificial Intelligence, IJCAI 2016 (New York, 9–15 July).
AAAI 2016.
15. V. Gutiérrez-Basulto, J. C. Jung and R. Kontchakov. Temporalized EL Ontologies for
Accessing Temporal Data: Complexity of Atomic Queries. In Proceedings of the 25th
Int. Joint Conf. on Artificial Intelligence, IJCAI 2016 (New York, 9–15 July). AAAI
2016.
16. R. Kontchakov and E. V. Kostylev. On Expressibility of Non-Monotone Operators
in SPARQL. In Proceedings of the 15th Int. Conf. on Knowledge Representation and
Reasoning, KR 2016 (Cape Town, 25–29 April), pp. 369–379. AAAI 2016.
17. M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii and M. Zakharyaschev. Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. In
Proceedings of the 29th Int. Workshop on Description Logics, DL-2016 (Cape Town,
22–25 April), CEUR-WS, vol. 1577, 2016.
18. V. Gutiérrez-Basulto, J. C. Jung and R. Kontchakov. On Decidability and Tractability
of Querying in Temporal EL. In Proceedings of the 29th Int. Workshop on Description
Logics, DL-2016 (Cape Town, 22–25 April), CEUR-WS, vol. 1577, 2016.
19. A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev.
First-Order Rewritability of Temporal Ontology-Mediated Queries. In Proceedings of
IJCAI 2015 (Buenos Aires, 25–31 July), pp. 2706-2712. AAAI, 2015.
20. E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter and M. Zakharyaschev. When Are
Description Logic Knowledge Bases Indistinguishable? In Proceedings of IJCAI 2015
(Buenos Aires, 25–31 July), pp. 4240–4246. AAAI, 2015.
21. A. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Interval Temporal Description Logics. In Proceedings of the 28th Int. Workshop on Description Logics,
DL-2015 (Athens, 7–10 June), CEUR-WS vol. 1350, 2015.
22. A. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Tractable Interval Temporal Propositional and Description Logics. In Proceedings of AAAI (Austin, TX,
25–30 January). AAAI, 2015.
23. 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 P. Mika, et al., editors, Proceedings of ISWC (Riva del Garda, 19–23 October),
pp. 552–567, LNCS vol. 8796. Springer, 2014
24. 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
(Marco Cadoli best student paper award)
25. 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
Workshop Proceedings, vol. 1193, 2014
26. 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 Workshop Proceedings, vol. 1193, 2014
27. 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,
Proccedings of CSL-LICS (Vienna, 14–18 July). ACM, 2014
28. 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), pp. 35–52, LNCS
vol. 8312. Springer, 2013
29. 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), pp. 558–573, vol. 8218 of LNCS. Springer, 2013
30. 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
31. V. 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), pp. 109–122, vol. 7994 of LNCS.
Springer, 2013
(best student paper award)
32. 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-0327. CEUR Workshop Proceedings, vol. 1014,
2013
33. 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
34. 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
35. 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, Proceedings of RR (Vienna, 10–12 September), pp. 75–89, LNCS vol. 7497. Springer, 2012
36. 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 and P. J. F. Lucas,
Proceedings of ECAI (Montpellier, 27–31 August), pp. 61–66. IOS Press, 2012
37. 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
38. 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
39. 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
40. 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
41. 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)
42. 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
43. 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)
44. 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
45. 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
46. 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
47. 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. 257267. CEUR Workshop Proceedings, vol. 745, 2011
48. A. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Complexity of Reasoning over Temporal Data Models. In Proceedings of the 29th Conference on Conceptual
Modeling (ER 2010, Vancouver, British Columbia, November 1–4). LNCS, Springer,
2010
49. 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
50. 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.
(Ray Rieter best paper prize)
51. 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
52. 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
53. 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, USA, July 11–17),
pp. 836–841, 2009
54. R. Kontchakov, C. Lutz, D. Toman, F. Wolter and M. Zakharyaschev. Combined FO
Rewritability for Conjunctive Query Answering in DL-Lite. In Proceedings of DL 2009
(Oxford, July 27–30). CEUR Workshop Proceedings, vol. 477, 2009
55. A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. Adding Weight to DLLite. In Proceedings of DL 2009 (Oxford, July 27–30). CEUR Workshop Proceedings,
vol. 477, 2009
56. A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. DL-Lite without
UNA. In Proceedings of DL 2009 (Oxford, July 27–30). CEUR Workshop Proceedings,
vol. 477, 2009
57. 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), pp. 133–148, LNAI,
vol. 5749. Springer, 2009
58. A. Artale, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Extending DL-Lite
Sometime in the Future. In Proceedings of DL 2009 (Oxford, July 27–30). CEUR Workshop Proceedings, vol. 477, 2009
59. 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
60. R. Kontchakov, F. Wolter and M. Zakharyaschev. Can you tell the difference between
DL-Lite ontologies? In G. Brewka and J. Lang, Proceedings of the 11th International
Conference on Principles of Knowledge Representation and Reasoning, KR 2008 (Sydney, September 16–19), pp. 285–295. AAAI Press, 2008. (Ray Rieter best paper prize)
61. 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.
62. 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 the 15th International Conference
on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008 (Doha,
Qatar, November 22–27), pp. 574–589, LNAI, vol. 5330, Springer 2008.
63. 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), pp. 361–366. AAAI Press, 2007
64. A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Reasoning over Extended ER models. In C. Parent, K.-D. Schewe, V. C. Storey and B. Thalheim, editors, Proceedings of the 26th Conference on Conceptual Modeling (ER 2007,
Auckland, New Zealand, November 5–9), pp. 277–292, LNCS, vol. 4801, Springer,
2007
65. A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev. Query Answering
in Expressive Variants of DL-Lite. Proceedings of the Fifteenth Italian Symposium
on Advanced Database Systems (SEBD 2007, Torre Canne, Fasano, Italy, June 17–20,
2007), pp. 250–257, 2007
66. R. Kontchakov, F. Wolter and M. Zakharyaschev. Modularity in DL-Lite. In Proceedings of DL (Brixen/ Bressanone, Italy, June 8–10), pp. 76–87. CEUR Workshop Proceedings, vol. 250, 2007
67. A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov and M. Zakharyaschev. Complexity of reasoning over Entity-Relationship models. In Proceedings of DL (Brixen/
Bressanone, Italy, June 8–10), pp. 163–170. CEUR Workshop Proceedings, vol. 250,
2007
68. 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
69. B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev. On dynamic topological
and metric logics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing,
editors, Proceedings of AiML 2004, pp. 182–196, 2004
70. 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
71. 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
Refereed book chapters
72. 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
73. 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), pp. 194–229, vol. 8067 of LNCS. Springer, 2013
74. 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
75. 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
76. 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
PhD thesis
77. R. Kontchakov. Monodic First-Order Temporal Logics: Complexity, Tableaux, and
Applications. PhD thesis, University of London, 2004