Search Results for author: Gabriel Kuper

Found 3 papers, 0 papers with code

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)

no code implementations12 Dec 2015 Mathew Joseph, Gabriel Kuper, Till Mossakowski, Luciano Serafini

Sound, complete and terminating procedures, which are adaptations of the well known chase algorithm, are provided for these classes for deciding query entailment.

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)

no code implementations3 Jun 2014 Mathew Joseph, Gabriel Kuper, Luciano Serafini

Quads, which extend a standard RDF triple, by adding a new parameter of the `context' of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts.

Cannot find the paper you are looking for? You can Submit a new open access paper.