Articles

2018
  1. Brandt, S.; Kalayci, E. G.; Ryzhikov, V.; Xiao, G. and Zakharyaschev, M. Querying Log Data with Metric Temporal Logic. In J. Artif. Intell. Res., 62: 829-877, 2018. doi..  BibTeX..
2017
  1. Bresolin, D.; Kurucz, A.; Muñoz-Velasco, E.; Ryzhikov, V.; Sciavicco, G. and Zakharyaschev, M. Horn Fragments of the Halpern-Shoham Interval Temporal Logic. In ACM Trans. Comput. Log., 18 (3): 22:1-22:39, 2017. doi..  BibTeX..
2016
  1. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Games for query inseparability of description logic knowledge bases. In Artif. Intell., 234: 78-119, 2016. doi..  BibTeX..
  2. Arenas, M.; Botoeva, E.; Calvanese, D. and Ryzhikov, V. Knowledge base exchange: The case of OWL 2 QL. In Artif. Intell., 238: 11-62, 2016. doi..  BibTeX..
2014
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. A Cookbook for Temporal Conceptual Data Modelling with Description Logics. In ACM Trans. Comput. Log., 15 (3): 25, 2014. BibTeX..

In Proceedings

2018
  1. Kalayci, E. G.; Xiao, G.; Ryzhikov, V.; Kalayci, T. E. and Calvanese, D. Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data. In Proceedings of the 27th ACM International Conference on Information and Knowledge Management, CIKM 2018, Torino, Italy, October 22-26, 2018, pages 1927-1930, 2018. doi..  BibTeX..
2017
  1. Bienvenu, M.; Kikot, S.; Kontchakov, R.; Podolskii, V. V.; Ryzhikov, V. and Zakharyaschev, M. The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017, pages 201-216, 2017. doi..  BibTeX..
  2. Artale, A.; Kontchakov, R.; Kovtunova, A.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). In 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium, pages 1:1-1:37, 2017. doi..  BibTeX..
  3. Brandt, S.; Kalayci, E. G.; Kontchakov, R.; Ryzhikov, V.; Xiao, G. and Zakharyaschev, M. 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. BibTeX..
  4. Raheb, K. El; Mailis, T.; Ryzhikov, V.; Papapetrou, N. and Ioannidis, Y. E. BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation. In The Semantic Web - 14th International Conference, ESWC 2017, Portorovz, Slovenia, May 28 - June 1, 2017, Proceedings, Part II, pages 49-64, 2017. doi..  BibTeX..
2016
  1. Botoeva, E.; Lutz, C.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
  2. Kontchakov, R.; Pandolfo, L.; Pulina, L.; Ryzhikov, V. and Zakharyaschev, M. 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. BibTeX..
  3. Calvanese, D.; Kalayci, E. G.; Ryzhikov, V. and Xiao, G. 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. doi..  BibTeX..
  4. Botoeva, E.; Konev, B.; Lutz, C.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. In 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, 2016. doi..  BibTeX..
2015
  1. Artale, A.; Kontchakov, R.; Kovtunova, A.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
  2. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
  3. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. BibTeX..
2014
  1. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
  2. Artale, A.; Bresolin, D.; Montanari, A.; Sciavicco, G. and Ryzhikov, V. 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. doi..  BibTeX..
2013
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. doi..  BibTeX..
  2. Arenas, M.; Botoeva, E.; Calvanese, D. and Ryzhikov, V. 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. BibTeX..
2012
  1. Arenas, M.; Botoeva, E.; Calvanese, D.; Ryzhikov, V. and Sherkhonov, E. 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. BibTeX..
  2. Artale, A.; Ryzhikov, V. and Kontchakov, R. 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. doi..  BibTeX..
2011
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. doi..  BibTeX..
2010
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. doi..  BibTeX..
  2. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. BibTeX..
2009
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. emphDL-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. doi..  BibTeX..
2007
  1. Artale, A.; Calvanese, D.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. doi..  BibTeX..

Peer Reviewed Workshops

2018
  1. Kikot, S.; Ryzhikov, V.; Walega, P. A. and Zakharyaschev, M. On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. In Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018. BibTeX..
2017
  1. Brandt, S.; Kalayci, E. G.; Ryzhikov, V.; Xiao, G. and Zakharyaschev, M. A Framework for Temporal Ontology-Based Data Access: A Proposal. In New Trends in Databases and Information Systems - ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings, pages 161-173, 2017. doi..  BibTeX..
  2. Arenas, M.; Botoeva, E.; Kostylev, E. V. and Ryzhikov, V. A Note on Computing Certain Answers to Queries over Incomplete Databases. In Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017., 2017. BibTeX..
  3. Bienvenu, M.; Kikot, S.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. In Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017. BibTeX..
  4. Bienvenu, M.; Kikot, S.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. In Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017. BibTeX..
2016
  1. Botoeva, E.; Lutz, C.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
2015
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. Interval Temporal Description Logics. In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., 2015. BibTeX..
2014
  1. Artale, A.; Kontchakov, R.; Kovtunova, A.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
  2. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
2013
  1. Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. BibTeX..
  2. Arenas, M.; Botoeva, E.; Calvanese, D. and Ryzhikov, V. 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. BibTeX..
2012
  1. Arenas, M.; Botoeva, E.; Calvanese, D.; Ryzhikov, V. and Sherkhonov, E. 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. BibTeX..
2011
  1. Artale, A.; Ibáñez-Garc'ia, Y. A.; Kontchakov, R. and Ryzhikov, V. 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. BibTeX..
2010
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. BibTeX..
2009
  1. Artale, A.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. BibTeX..
2008
  1. Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. 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. BibTeX..
2007
  1. Artale, A.; Calvanese, D.; Kontchakov, R.; Ryzhikov, V. and Zakharyaschev, M. 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. BibTeX..

PhD Theses

2010
  1. Ryzhikov, V. DL-Lite for Static and Dynamic Entity-Relationship Modelling. Ph.D. Thesis, Free University of Bozen-Bolzano, 2010. BibTeX..