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...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
CEUR−WS.org
2009
|