Research

PhD Supervision

Accepting applications on topics related but not limited to machine learning for combinatorial optimisation, explanable AI, verification of AI.

Funding available for overseas students.

Please contact me if you are interested!

Interests

  • Machine Learning for Combinatorial Optimisation
  • Verification of neural-symbolic systems, Explainable and Trustworthy AI
  • Description Logics, Query Answering, Query Rewriting, Ontology-Based Data Access
  • Data Exchange, Knowledge Base Exchange, Modularity
  • Databases, Non-relational Databases, Nested Data, MongoDB
  • Non-monotonic reasoning, Circumscription

Publications

Articles

2022
  1. Akintunde, M. E.; Botoeva, E.; Kouvaros, P. and Lomuscio, A. Formal verification of neural agents in non-deterministic environments. In Auton. Agents Multi Agent Syst., 36 (1): 6, 2022. doi..  BibTeX..
2019
  1. Botoeva, E.; Lutz, C.; Ryzhikov, V.; Wolter, F. and Zakharyaschev, M. Query inseparability for ALC ontologies. In Artif. Intell., 272: 1-51, 2019. pdf..  BibTeX..
  2. Botoeva, E.; Calvanese, D.; Cogrel, B.; Corman, J. and Xiao, G. Ontology-based data access - Beyond relational sources. In Intelligenza Artificiale, 13 (1): 21-36, 2019. BibTeX..
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

2020
  1. Akintunde, M.; Botoeva, E.; Kouvaros, P. and Lomuscio, A. Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pages 22-32, IJCAI Press, 2020. pdf..  BibTeX..
  2. Akintunde, M.; Botoeva, E.; Kouvaros, P. and Lomuscio, A. Formal Verification of Neural Agents in Non-deterministic Environments. In Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), pages 25-33, IFAAMAS, 2020. pdf..  BibTeX..
  3. Botoeva, E.; Kouvaros, P.; Kronqvist, J.; Lomuscio, A. and Misener, R. Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), pages 3291-3299, AAAI Press, 2020. pdf..  BibTeX..
2018
  1. Xiao, G.; Kontchakov, R.; Cogrel, B.; Calvanese, D. and Botoeva, E. Efficient Handling of SPARQL OPTIONAL for OBDA. In Proc. of the 17th International Semantic Web Conference (ISWC 2018), pages 354-373, Springer, Lecture Notes in Computer Science 11136, 2018. pdf..  BibTeX..
  2. Botoeva, E.; Calvanese, D.; Cogrel, B. and Xiao, G. Expressivity and Complexity of MongoDB Queries. In Proc. of the 21st Int. Conf. on Database Theory (ICDT 2018), pages 9:1-9:23, 2018. pdf..  slides..  poster..  BibTeX..
2017
  1. Arenas, M.; Botoeva, E.; Kostylev, E. V. and Ryzhikov, V. A Note on Computing Certain Answers to Queries over Incomplete Databases. In Proc. of the 11th Alberto Mendelzon Int. Workshop on Foundations of Data Management and the Web (AMW 2017), 2017. pdf..  BibTeX..
  2. Botoeva, E.; Calvanese, D.; Cogrel, B. and Xiao, G. Formalizing MongoDB Queries. In Proc. of the 11th Alberto Mendelzon Int. Workshop on Foundations of Data Management and the Web (AMW 2017), 2017. pdf..  BibTeX..
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..  slides..  poster..  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..  poster..  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 By Games. In Proc. of the 27th Int. Workshop on Description Logics (DL 2014), 2014. pdf..  BibTeX..
  2. 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..
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..