Elena Botoeva
Titolo
Citata da
Citata da
Anno
OBDA beyond relational DBs: A study for MongoDB
E Botoeva, D Calvanese, BEHL Cogrel, MI Rezk, G Xiao
DL 2016: International Workshop on Description Logics, Proceedings of the …, 2016
442016
Efficient verification of relu-based neural networks via dependency analysis
E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3291-3299, 2020
382020
Inseparability and conservative extensions of description logic ontologies: A survey
E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Reasoning Web International Summer School, 27-89, 2016
342016
Exchanging description logic knowledge bases
M Arenas, E Botoeva, D Calvanese, V Ryzhikov, E Sherkhonov
Thirteenth International Conference on the Principles of Knowledge …, 2012
302012
Expressivity and complexity of MongoDB queries
E Botoeva, D Calvanese, B Cogrel, G Xiao
21st International Conference on Database Theory (ICDT 2018), 2018
272018
Expressive Approximations in DL-Lite Ontologies
E Botoeva, D Calvanese, M Rodriguez-Muro
International Conference on Artificial Intelligence: Methodology, Systems …, 2010
272010
Efficient handling of SPARQL optional for OBDA
G Xiao, R Kontchakov, B Cogrel, D Calvanese, E Botoeva
International Semantic Web Conference, 354-373, 2018
232018
Games for query inseparability of description logic knowledge bases
E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev
Artificial Intelligence 234, 78-119, 2016
202016
Query inseparability for description logic knowledge bases
E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev
Fourteenth International Conference on the Principles of Knowledge …, 2014
202014
Exchanging OWL 2 QL knowledge bases
M Arenas, E Botoeva, D Calvanese, V Ryzhikov
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
182013
Knowledge base exchange
M Arenas, E Botoeva, D Calvanese
24th International Workshop on Description Logics 4, 2011
182011
The virtual knowledge graph system ontop
G Xiao, D Lanti, R Kontchakov, S Komla-Ebri, E Güzel-Kalaycı, L Ding, ...
International Semantic Web Conference, 259-277, 2020
172020
A generalized framework for ontology-based data access
E Botoeva, D Calvanese, B Cogrel, J Corman, G Xiao
International Conference of the Italian Association for Artificial …, 2018
162018
Knowledge base exchange: The case of OWL 2 QL
M Arenas, E Botoeva, D Calvanese, V Ryzhikov
Artificial Intelligence 238, 11-62, 2016
162016
Beyond OWL 2 QL in OBDA: Rewritings and approximations
E Botoeva, D Calvanese, V Santarelli, D Savo, A Solimando, G Xiao
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
162016
Query-based entailment and inseparability for ALC ontologies
E Botoeva, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
AAAI Press/International Joint Conferences on Artificial Intelligence, 2016
142016
Query inseparability for ALC ontologies
E Botoeva, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Artificial Intelligence 272, 1-51, 2019
112019
Query Rewriting in DL-Lite (HN) horn⋆
E Botoeva, R Artale, D Calvanese
112010
A formal presentation of MongoDB (Extended version)
E Botoeva, D Calvanese, B Cogrel, M Rezk, G Xiao
birth 1926, 08-27, 2016
102016
Formal Verification of Neural Agents in Non-deterministic Environments.
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
AAMAS, 25-33, 2020
92020
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20