157 citations · 239 across the 8 of their papers we have counts for
12 papers
Rule-Based Languages for Neurosymbolic AI
Stefania Dumbrava, Efthymia Tsamoura
Logic programming is increasingly used as the symbolic component of neurosymbolic AI systems. We survey the main rule-based languages in this setting, namely Datalog, answer set, a…
Transformations for Evolving Property Graph Schemas
Gauvain Devillez, Stefania Dumbrava, Angela Bonifati
Property graph databases are widely used to represent complex and evolving data, yet systematic support for property graph schema evolution remains limited. In practice, schema tra…
A Datalog Framework for Conflict-Free Replicated Data Types
Elena Yanakieva, Annette Bieniusa, Stefania Dumbrava
Distributed applications increasingly support local-first collaboration over shared data, allowing multiple users to perform updates concurrently without global coordination. Such…
Edge-Oriented Orchestration of Energy Services Using Graph-Driven Swarm Intelligence
Liana Toderean, Dragos Lazea, Vasile Ofrim +3
As smart grids increasingly depend on IoT devices and distributed energy management, they require decentralized, low latency orchestration of energy services. We address this with…
Expressive Power of Property Graph Constraint Languages
Stefania Dumbrava, Nadime Francis, Victor Marsault +1
We present the first principled and systematic study of the expressive power of property graph constraint languages, focused on the recent PG-Keys language, set to inform the upcom…
PG-Schema: Schemas for Property Graphs
Renzo Angles, Angela Bonifati, Stefania Dumbrava +18
Property graphs have reached a high level of maturity, witnessed by multiple robust graph database systems as well as the ongoing ISO standardization effort aiming at creating a ne…
A graph-database approach to assess the impact of demand-responsive services on public transit accessibility
Cathia Le Hasif, Andrea Araldo, Stefania Dumbrava +1
This paper proposes an approach to analyze the impact of multimodal Public Transit (PT), combining conventional fixed-route transit and Demand-Responsive Transit (DRT), on equality…
Threshold Queries in Theory and in the Wild
Angela Bonifati, Stefania Dumbrava, George Fletcher +7
Threshold queries are an important class of queries that only require computing or counting answers up to a specified threshold value. To the best of our knowledge, threshold queri…
The Future is Big Graphs! A Community View on Graph Processing Systems
Sherif Sakr, Angela Bonifati, Hannes Voigt +38
Graphs are by nature unifying abstractions that can leverage interconnectedness to represent, explore, predict, and explain real- and digital-world phenomena. Although real users a…
Graph Summarization
Angela Bonifati, Stefania Dumbrava, Haridimos Kondylakis
The continuous and rapid growth of highly interconnected datasets, which are both voluminous and complex, calls for the development of adequate processing and analytical techniques…
Approximate Evaluation of Label-Constrained Reachability Queries
Stefania Dumbrava, Angela Bonifati, Amaia Nazabal Ruiz Diaz +1
The current surge of interest in graph-based data models mirrors the usage of increasingly complex reachability queries, as witnessed by recent analytical studies on real-world gra…
Certified Graph View Maintenance with Regular Datalog
Angela Bonifati, Stefania Dumbrava, Emilio Jesus Gallego Arias
We employ the Coq proof assistant to develop a mechanically-certified framework for evaluating graph queries and incrementally maintaining materialized graph instances, also called…