Tractable Query Answering over Ontologies with Datalog+⁄−

<p>We present a family of expressive extensions of Datalog, called Datalog<sup>±</sup>, as a new paradigm for query answering over ontologies. The Datalog<sup>±</sup> family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure...

Description complète

Détails bibliographiques
Auteurs principaux: Calì, A, Gottlob, G, Lukasiewicz, T
Format: Conference item
Publié: CEUR−WS.org 2009