activity
20062026
most citedInseparability and Conservative Extensions of Description Logic Ontologies: A Survey

10 citations · 17 across the 9 of their papers we have counts for

collaborators

11 papers

cs.AI2026

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).…

cs.AI2026

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…

cs.DB2025

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-…

cs.CY2025

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…

cs.AI2019

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…

cs.DB2018★ 2 cited

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…