Book Chapters

[1]   Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. In Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, and Yuting Lin, Fangzhen Sand Zhao, editors, Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures, pages 27–89. Springer International Publishing, Cham, 2017, http://dx.doi.org/10.1007/978-3-319-49493-7_2.

___________________________________________________________________________________________________________________________

Journals

[2]   Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov. Knowledge Base Exchange: The Case of OWL 2 QL. Artificial Intelligence Journal (AIJ, Artif. Intell.), Elsevier, 238C:11–62, 2016, DOI 10.1016/j.artint.2016.05.002.

[3]   Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Games for Query Inseparability of Description Logic Knowledge Bases. Artificial Intelligence Journal (AIJ, Artif. Intell.), Elsevier, 234:78–119, 2016, DOI 10.1016/j.artint.2016.01.010.

[4]   Davide Bresolin, Agi Kurucz, Emilio Munoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, and Michael Zakharyaschev. Horn Fragments of the Halpern-Shoham Interval Temporal Logic. Submitted, 2016, https://arxiv.org/abs/1604.03515.

[5]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Transactions on Computational Logic (ACM Trans. Comput. Log., TOCL), 15(3):25, 2014, http://doi.acm.org/10.1145/2629565.

_________________________________________________________________________________

Peer-Reviewed Conferences

[6]   Meghyn Bienveue, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Vladislav Ryzhikov, and Michael Zakharyaschev. The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. In Symposium on Principles of Database Systems PODS – To appear, 2017, http://www.dcs.bbk.ac.uk/ michael/PODS.pdf.

[7]   Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pages 1070–1076, 2017, http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14881.

[8]   Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, and Guohui Xiao. Towards Practical OBDA with Temporal Ontologies - (Position Paper). In Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pages 18–24, 2016, http://dx.doi.org/10.1007/978-3-319-45276-0_2, DOI 10.1007/978-3-319-45276-0_2.

[9]   Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, and Michael Zakharyaschev. Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 1160–1166, 2016, http://www.ijcai.org/Abstract/16/168.

[10]   Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Query-Based Entailment and Inseparability for ALC Ontologies. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 1001–1007, 2016, http://www.ijcai.org/Abstract/16/146.

[11]   Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. First-Order Rewritability of Temporal Ontology-Mediated Queries. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2706–2712, 2015, http://ijcai.org/Abstract/15/383.

[12]   Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. When Are Description Logic Knowledge Bases Indistinguishable? In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 4240–4246, 2015, http://ijcai.org/papers15/Abstracts/IJCAI15-603.html.

[13]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Tractable Interval Temporal Propositional and Description Logics. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., pages 1417–1423, 2015, http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9638.

[14]   Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Query Inseparability for Description Logic Knowledge Bases. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014, http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7962.

[15]   Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, and Vladislav Ryzhikov. DL-Lite and Interval Temporal Logics: a Marriage Proposal. In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pages 957–958, 2014, http://dx.doi.org/10.3233/978-1-61499-419-0-957, DOI 10.3233/978-1-61499-419-0-957.

[16]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. The Complexity of Clausal Fragments of LTL. In Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, pages 35–52, 2013, http://dx.doi.org/10.1007/978-3-642-45221-5_3, DOI 10.1007/978-3-642-45221-5_3.

[17]   Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov. Exchanging OWL 2 QL Knowledge Bases. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, 2013, http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6939.

[18]   Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, and Evgeny Sherkhonov. Exchanging Description Logic Knowledge Bases. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012, http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4527.

[19]   Alessandro Artale, Vladislav Ryzhikov, and Roman Kontchakov. DL-Lite with Attributes and Datatypes. In ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, pages 61–66, 2012, http://dx.doi.org/10.3233/978-1-61499-098-7-61, DOI 10.3233/978-1-61499-098-7-61.

[20]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. In Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings, pages 1–11, 2011, http://dx.doi.org/10.1007/978-3-642-24364-6_1, DOI 10.1007/978-3-642-24364-6_1.

[21]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Complexity of Reasoning over Temporal Data Models. In Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings, pages 174–187, 2010, http://dx.doi.org/10.1007/978-3-642-16373-9_13, DOI 10.1007/978-3-642-16373-9_13.

[22]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Past and Future of DL-Lite. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, 2010, http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1608.

[23]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. In Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pages 133–148, 2009, http://dx.doi.org/10.1007/978-3-642-04222-5_8, DOI 10.1007/978-3-642-04222-5_8.

[24]   Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Reasoning over Extended ER Models. In Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings, pages 277–292, 2007, http://dx.doi.org/10.1007/978-3-540-75563-0_20, DOI 10.1007/978-3-540-75563-0_20.

_________________________________________________________________________________

Peer-Reviewed Workshops

[25]   Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. Metric Temporal Logic for Ontology-Based Data Access over Log Data. In To appear in Proceedings of the Workshop on Ontologies and Logic Programming for Query Answering, ONTOLP 2016., 2016.

[26]   Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. When is Query Inseparability for ALC Ontologies Decidable? In Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, http://ceur-ws.org/Vol-1577/paper_18.pdf.

[27]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Interval Temporal Description Logics. In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., 2015, http://ceur-ws.org/Vol-1350/paper-06.pdf.

[28]   Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Temporal OBDA with LTL and DL-Lite. In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pages 21–32, 2014, http://ceur-ws.org/Vol-1193/paper_60.pdf.

[29]   Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Query Inseparability by Games. In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pages 83–95, 2014, http://ceur-ws.org/Vol-1193/paper_86.pdf.

[30]   Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pages 353–363, 2013, http://ceur-ws.org/Vol-1014/paper_44.pdf.

[31]   Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov. Computing Solutions in OWL 2 QL Knowledge Exchange. In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pages 4–16, 2013, http://ceur-ws.org/Vol-1014/paper_87.pdf.

[32]   Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, and Evgeny Sherkhonov. Representability in DL-Lite_R Knowledge Base Exchange. In Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, http://ceur-ws.org/Vol-846/paper_60.pdf.

[33]   Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, and Vladislav Ryzhikov. DL-Lite with Attributes and Sub-Roles (Extended Abstract). In Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, http://ceur-ws.org/Vol-745/paper_42.pdf.

[34]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Temporal Conceptual Modelling with DL-Lite. In Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010, 2010, http://ceur-ws.org/Vol-573/paper_28.pdf.

[35]   Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Extending DL-Lite Sometime in the Future. In Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, 2009, http://ceur-ws.org/Vol-477/paper_53.pdf.

[36]   Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Checking DL-Lite Modularity with QBF Solvers. In Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008, 2008, http://ceur-ws.org/Vol-353/KontchakovRyzhikovWolterZakharyaschev.pdf.

[37]   Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Complexity of Reasoning in Entity Relationship Models. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, http://ceur-ws.org/Vol-250/paper_82.pdf.