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...

詳細記述

書誌詳細
主要な著者: Calì, A, Gottlob, G, Lukasiewicz, T
フォーマット: Conference item
出版事項: CEUR−WS.org 2009