Elena Botoeva

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 31

Top Topics

Top Venues

Description Logics

Publications

Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy (2023)
Francesco Leofante, Elena Botoeva, Vineet Rajani
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. KR (2023)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI (2020)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR (2020)
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2020)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
The Virtual Knowledge Graph System Ontop. ISWC (2) (2020)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
The Virtual Knowledge Graph System Ontop (Extended Abstract). Description Logics (2020)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS (2020)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability for ALC Ontologies. CoRR (2019)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
Ontology-based data access - Beyond relational sources. Intelligenza Artificiale 13 (1) (2019)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query inseparability for ALC ontologies. Artif. Intell. 272 (2019)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
Formalization and Complexity of MongoDB Queries (Extended Abstract). SEBD (2018)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
A Generalized Framework for Ontology-Based Data Access. AI*IA (2018)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
Expressivity and Complexity of MongoDB Queries. ICDT (2018)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR (2018)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
Efficient Handling of SPARQL OPTIONAL for OBDA. ISWC (1) (2018)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). CoRR (2018)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
Formalizing MongoDB Queries. AMW (2017)
Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov
A Note on Computing Certain Answers to Queries over Incomplete Databases. AMW (2017)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234 (2016)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
A Formal Presentation of MongoDB (Extended Version). CoRR (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
When is Query Inseparability for ALC Ontologies Decidable? Description Logics (2016)
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
Knowledge base exchange: The case of OWL 2 QL. Artif. Intell. 238 (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR (2016)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
OBDA Beyond Relational DBs: A Study for MongoDB. Description Logics (2016)
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. Description Logics (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI (2016)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
OBDA Over Non-Relational Databases. AMW (2016)
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
Beyond OWL 2 QL in OBDA: Rewritings and Approximations. AAAI (2016)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Reasoning Web (2016)
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version). CoRR (2015)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI (2015)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability for Description Logic Knowledge Bases. KR (2014)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability by Games. Description Logics (2014)
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
Computing Solutions in OWL 2 QL Knowledge Exchange. Description Logics (2013)
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
Exchanging OWL 2 QL Knowledge Bases. IJCAI (2013)
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
Exchanging OWL 2 QL Knowledge Bases CoRR (2013)
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
Representability in DL-Lite_R Knowledge Base Exchange. Description Logics (2012)
Elena Botoeva
Description Logic Knowledge Base Exchange. RR (2012)
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
Exchanging Description Logic Knowledge Bases. KR (2012)
Marcelo Arenas, Elena Botoeva, Diego Calvanese
Knowledge Base Exchange. Description Logics (2011)
Elena Botoeva, Alessandro Artale, Diego Calvanese
Query Rewriting in DL-Lite_^(HN)_horn. Description Logics (2010)
Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro
Ontologies. AIMSA (2010)
Evgueni Petrov, Yuri Kostov, Elena Botoeva
UniCalc.LIN: a linear constraint solver for the UniCalc system CoRR (2006)