Research

Interests

  • Description Logics, Query Answering, Query Rewriting, Ontology-Based Data Access
  • Data Exchange, Knowledge Base Exchange, Modularity
  • Databases, Non-relational Databases
  • Non-monotonic reasoning, Circumscription

Publications

Articles

2016
  1. Arenas, M.; Botoeva, E.; Calvanese, D. and Ryzhikov, V. Knowledge Base Exchange: The Case of OWL 2 QL. In Artificial Intelligence, 238: 11-62, 2016. pdf..  doi..  BibTeX..
  2. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Games for Query Inseparability of Description Logic Knowledge Bases. In Artificial Intelligence, 234: 78-119, 2016. pdf..  doi..  BibTeX..

In Proceedings

2016
  1. Botoeva, E.; Lutz, C.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Query-Based Entailment and Inseparability for ALC Ontologies. In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI 2016), pages 1001-1007, AAAI Press, 2016. pdf..  BibTeX..
  2. Botoeva, E.; Lutz, C.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. When is Query Inseparability for ALC Ontologies Decidable?. In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), 2016. pdf..  BibTeX..
  3. Botoeva, E.; Calvanese, D.; Cogrel, B.; Rezk, M. and Xiao, G. OBDA Beyond Relational DBs: A Study for MongoDB. In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), 2016. pdf..  BibTeX..
  4. Botoeva, E.; Calvanese, D.; Santarelli, V.; Savo, D. F.; Solimando, A. and Xiao, G. Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), 2016. pdf..  BibTeX..
  5. Botoeva, E.; Calvanese, D.; Santarelli, V.; Savo, D. F.; Solimando, A. and Xiao, G. Beyond OWL 2 QL in OBDA: Rewritings and Approximations. In Proc. of the 30th AAAI Conf. on Artificial Intelligence (AAAI 2016), pages 921-928, AAAI Press, 2016. pdf..  BibTeX..
2015
  1. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. When Are Description Logic Knowledge Bases Indistinguishable?. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), pages 4240-4246, AAAI Press, 2015. pdf..  poster..  BibTeX..
2014
  1. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Query Inseparability for Description Logic Knowledge Bases. In Proc. of the 14th Int. Conf. on Knowledge Representation and Reasoning (KR 2014), pages 238-247, AAAI Press, 2014. pdf..  slides..  BibTeX..
  2. Botoeva, E.; Kontchakov, R.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Query Inseparability By Games. In Proc. of the 27th Int. Workshop on Description Logics (DL 2014), 2014. pdf..  BibTeX..
2013
  1. Arenas, M.; Botoeva, E.; Calvanese, D. and Ryzhikov, V. Exchanging OWL 2 QL Knowledge Bases. In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), pages 703-710, 2013. pdf..  poster..  BibTeX..
  2. Arenas, M.; Botoeva, E.; Calvanese, D. and Ryzhikov, V. Computing Solutions in OWL 2 QL Knowledge Base Exchange. In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), 2013. pdf..  slides..  BibTeX..
2012
  1. Botoeva, E. Description Logic Knowledge Base Exchange. In Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pages 266-271, 2012. slides..  poster..  BibTeX..
  2. Botoeva, E. and Calvanese, D. Circumscribing DL-Lite. In Belief change, Non-monotonic reasoning and Conflict resolution (BNC@ECAI 2012), 2012. pdf..  slides..  BibTeX..
  3. Arenas, M.; Botoeva, E.; Calvanese, D.; Ryzhikov, V. and Sherkhonov, E. Exchanging Description Logic Knowledge Bases. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pages 563-567, AAAI Press, 2012. pdf..  poster..  BibTeX..
  4. Arenas, M.; Botoeva, E.; Calvanese, D.; Ryzhikov, V. and Sherkhonov, E. Representability in DL-LiteR Knowledge Base Exchange. In Proc. of the 25th Int. Workshop on Description Logics (DL 2012), 2012. pdf..  slides..  BibTeX..
2011
  1. Arenas, M.; Botoeva, E. and Calvanese, D. Knowledge Base Exchange. In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), 2011. pdf..  slides..  BibTeX..
2010
  1. Botoeva, E.; Calvanese, D. and Rodriguez-Muro, M. Expressive Approximations in DL-Lite Ontologies. In Proc. of the 14th Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010), pages 21-31, Springer, Lecture Notes in Computer Science 6304, 2010. BibTeX..
  2. Botoeva, E.; Artale, A. and Calvanese, D. Query Rewriting in DL-LiteHNhorn. In Proc. of the 23rd Int. Workshop on Description Logics (DL 2010), pages 267-278, CEUR Electronic Workshop Proceedings, http://ceur-ws.org/ 573, 2010. pdf..  slides..  BibTeX..

PhD Theses

2014
  1. Botoeva, E. Description Logic Knowledge Base Exchange. Ph.D. Thesis, Free University of Bozen-Bolzano, 2014. pdf..  slides..  BibTeX..

Talks

  • Lightweight Description Logics: DL-LiteA and EL++.
    tutorial in Santiago, UChile and PUC, Jan 13, 2011 pdf..
  • Ontology-Based Data Access.
    tutorial at the 1st Summer Workshop of the Center for Semantic Web Research in Santiago, Jan 9, 2015 pdf..