Tools to systematically reprogram cellular behavior are crucial to address pressing challenges
in manufacturing, environment, or healthcare. Recombinases can very efficiently encode …

ABSTRACT Computational simulation is critical in the modern engineering design process.
Currently, the use of simulation is limited by the time-consuming process of converting CAD …

Ontology-Based Data Access has been studied so far for relational structures and deployed
on top of relational databases. This paradigm enables a uniform access to heterogeneous …

Background Embryology is a complex morphologic discipline involving a set of entangled
mechanisms, sometime difficult to understand and to visualize. Recent computer based …

CAD assemblies are essentially reduced to a set of components, often solids, and a user-defined
tree structure. Given the generation process of CAD assembly models where the user …

Existential rules, long known as tuple-generating dependencies in database theory, have
been intensively studied in the last decade as a powerful formalism to represent ontological …

Data trees, typically encoded in JSON, are ubiquitous in data-driven applications. This ubiquity
makes urgent the development of novel techniques for querying heterogeneous JSON …

Background Multiple models of anatomy have been developed independently and for
different purposes. In particular, 3D graphical models are specially useful for visualizing the …

In this demo we will showcase a research prototype for processing queries and updates on
large XML documents. The prototype is based on the idea of statically and dynamically …

We study the notion of boundedness in the context of positive existential rules, that is, whether
there exists an upper bound to the depth of the chase procedure, that is independent from …