A General Datalog−Based Framework for Tractable Query Answering over Ontologies

<p>In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-, as a new paradigm for query answering over ontologies. The Datalog+/- family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontolog...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Calì, A, Gottlob, G, Lukasiewicz, T
Format: Conference item
Wydane: ACM Press 2009