Elena Botoeva

52 papers A* 10A 2C 1Misc 1Journal 15Unranked 21
YearRankTypeTitle / Venue / Authors
2025 — conf
Accessing Semistructured Data with KGs and LLMs.
DL
Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali, Davide Lanti
2025 J jnl
Facial Age Estimation: A Research Roadmap for Technological and Legal Development and Deployment.
CoRR
Richard Guest, Eva Lievens, Martin Sas, Elena Botoeva, Temitope Adeyemo, Valerie Verdoodt, Elora Fernandes, Chris Allgrove
2025 J jnl
Towards a Standard for JSON Document Databases.
CoRR
Elena Botoeva, Julien Corman
2024 — conf
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract).
LNSAI@IJCAI
Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell
2024 A* conf
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems.
IJCAI
Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell
2023 A* conf
Counterfactual Explanations and Model Multiplicity: a Relational Verification View.
KR
Francesco Leofante, Elena Botoeva, Vineet Rajani
2023 C conf
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems.
NeSy
Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2022 J jnl
Formal verification of neural agents in non-deterministic environments.
Auton. Agents Multi Agent Syst.
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2020 — conf
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
2020 A* conf
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.
AAAI
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
2020 A conf
Formal Verification of Neural Agents in Non-deterministic Environments.
AAMAS
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2020 — ed.
Semantic Technology - 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25-27, 2019, Proceedings
JIST
Xin Wang, Francesca Alessandra Lisi, Guohui Xiao, Elena Botoeva
2020 — ed.
Semantic Technology - 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25-27, 2019, Revised Selected Papers
JIST (2)
Xin Wang, Francesca A. Lisi, Guohui Xiao, Elena Botoeva
2020 — conf
The Virtual Knowledge Graph System Ontop (Extended Abstract).
Description Logics
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2020 — conf
The Virtual Knowledge Graph System Ontop.
ISWC (2)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2020 A* conf
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.
KR
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2019 J jnl
Ontology-based data access - Beyond relational sources.
Intelligenza Artificiale
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
2019 J jnl
Query Inseparability for ALC Ontologies.
CoRR
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019 J jnl
Query inseparability for ALC ontologies.
Artif. Intell.
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2018 — conf
A Generalized Framework for Ontology-Based Data Access.
AI*IA
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
2018 J jnl
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version).
CoRR
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018 — conf
Efficient Handling of SPARQL OPTIONAL for OBDA.
ISWC (1)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018 A conf
Expressivity and Complexity of MongoDB Queries.
ICDT
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2018 — conf
Formalization and Complexity of MongoDB Queries (Extended Abstract).
SEBD
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2018 J jnl
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
CoRR
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2017 — conf
A Note on Computing Certain Answers to Queries over Incomplete Databases.
AMW
Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov
2017 — conf
Formalizing MongoDB Queries.
AMW
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2016 J jnl
A Formal Presentation of MongoDB (Extended Version).
CoRR
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016 A* conf
Beyond OWL 2 QL in OBDA: Rewritings and Approximations.
AAAI
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2016 J jnl
Games for query inseparability of description logic knowledge bases.
Artif. Intell.
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 — conf
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
RW
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 J jnl
Knowledge base exchange: The case of OWL 2 QL.
Artif. Intell.
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2016 — conf
OBDA Beyond Relational DBs: A Study for MongoDB.
Description Logics
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016 — conf
OBDA Over Non-Relational Databases.
AMW
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016 J jnl
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).
CoRR
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 A* conf
Query-Based Entailment and Inseparability for ALC Ontologies.
IJCAI
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 — conf
Virtual OBDA over Expressive Ontologies: Rewritings and Approximations.
Description Logics
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2016 — conf
When is Query Inseparability for ALC Ontologies Decidable?
Description Logics
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015 J jnl
Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version).
CoRR
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2015 A* conf
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 — conf
Query Inseparability by Games.
Description Logics
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 A* conf
Query Inseparability for Description Logic Knowledge Bases.
KR
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2013 — conf
Computing Solutions in OWL 2 QL Knowledge Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 J jnl
Exchanging OWL 2 QL Knowledge Bases
CoRR
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 A* conf
Exchanging OWL 2 QL Knowledge Bases.
IJCAI
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2012 — conf
Description Logic Knowledge Base Exchange.
RR
Elena Botoeva
2012 A* conf
Exchanging Description Logic Knowledge Bases.
KR
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2012 — conf
Representability in DL-Lite_R Knowledge Base Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2011 — conf
Knowledge Base Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese
2010 Misc conf
Expressive Approximations in
AIMSA
Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro
2010 — conf
Query Rewriting in DL-Lite_^(HN)_horn.
Description Logics
Elena Botoeva, Alessandro Artale, Diego Calvanese
2006 J jnl
UniCalc.LIN: a linear constraint solver for the UniCalc system
CoRR
Evgueni Petrov, Yuri Kostov, Elena Botoeva