no code implementations • 12 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.
no code implementations • 3 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.