1 citations · 2 across the 4 of their papers we have counts for
4 papers
Building Interoperable Electronic Health Records as Purpose-Driven Knowledge Graphs
Simone Bocca, Alessio Zamboni, Gabor Bella +5
When building a new application we are increasingly confronted with the need of reusing and integrating pre-existing knowledge. Nevertheless, it is a fact that this prior knowledge…
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)
Mathew Joseph, Gabriel Kuper, Till Mossakowski +1
The proliferation of contextualized knowledge in the Semantic Web (SW) has led to the popularity of knowledge formats such as \emph{quads} in the SW community. A quad is an extensi…
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)
Mathew Joseph, Gabriel Kuper, Luciano Serafini
The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a sta…
A Robust and Computational Characterisation of Peer-to-Peer Database Systems
Enrico Franconi, Gabriel Kuper, Andrei Lopatenko +1
In this paper we give a robust logical and computational characterisation of peer-to-peer database systems. We first define a pre- cise model-theoretic semantics of a peer-to-peer…