no code implementations • 10 May 2023 • Simone Bocca, Alessio Zamboni, Gabor Bella, Yamini Chandrashekar, Mayukh Bagchi, Gabriel Kuper, Paolo Bouquet, Fausto Giunchiglia
When building a new application we are increasingly confronted with the need of reusing and integrating pre-existing knowledge.
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.