Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …

We present the framework of ontology-based data access, a semantic paradigm for
providing a convenient and user-friendly access to data repositories, which has been …

Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

Background: Cyber defense is reactive and slow. On average, the time-to-remedy is
hundreds of times larger than the time-to-compromise. In response, Human Digital Twins …

Recent years have seen an increasing interest in ontology-mediated query answering, in
which the semantic knowledge provided by an ontology is exploited when querying data …

Argument-based assurance cases, often represented and organized using graphical
argument structures, are increasingly being used in practice to provide assurance to …

Recent advancements in Next-Generation Sequencing (NGS) technologies have
revolutionized genomic research, presenting unprecedented opportunities for personalized …

We present dynamic algorithms with polylogarithmic update time for estimating the size of
the maximum matching of a graph undergoing edge insertions and deletions with …

We consider restrictions of first-order logic and of fixpoint logic in which all occurrences of
negation are required to be guarded by an atomic predicate. In terms of expressive power …

Background Many ontologies have been developed in biology and these ontologies
increasingly contain large volumes of formalized knowledge commonly expressed in the …