10 citations · 17 across the 9 of their papers we have counts for
11 papers
TESTNAV: Pareto-Guided Search for Compositional Robustness Testing
Arooj Arif, Tobias Hartung, Elena Botoeva +1
Deep learning models remain vulnerable to real-world input perturbations, especially when multiple corruptions co-occur in the same input (e.g., brightness shifts and motion blur).…
TestifAI: Tomography-Based Testing for Deep Learning Systems
Arooj Arif, Tobias Hartung, Elena Botoeva +1
As AI systems are increasingly deployed in safety-critical application domains (e.g., autonomous driving), associated risks increase too. Deep learning models underlying modern AI…
Towards a Standard for JSON Document Databases
Elena Botoeva, Julien Corman, Norman Townsend
In this technical report, we present a formalisation of the MongoDB aggregation framework. Our aim is to identify a fragment that could serve as the starting point for an industry-…
Facial Age Estimation: A Research Roadmap for Technological and Legal Development and Deployment
Richard Guest, Eva Lievens, Martin Sas +5
Automated facial age assessment systems operate in either estimation mode - predicting age based on facial traits, or verification mode - confirming a claimed age. These systems su…
Query Inseparability for ALC Ontologies
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov +2
We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering…
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel +2
OPTIONAL is a key feature in SPARQL for dealing with missing information. While this operator is used extensively, it is also known for its complexity, which can make efficient eva…
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Elena Botoeva, Boris Konev, Carsten Lutz +3
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for exam…
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov +2
We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a given vocabulary. We give model-theoretic criteria in terms of (partial) homomorp…
Expressivity and Complexity of MongoDB (Extended Version)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel +1
A significant number of novel database architectures and data models have been proposed during the last decade. While some of these new systems have gained in popularity, they lack…
Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version)
Elena Botoeva, Diego Calvanese, Valerio Santarelli +3
Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-L…
UniCalc.LIN: a linear constraint solver for the UniCalc system
E. Petrov, Yu. Kostov, E. Botoeva
In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.