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...
| 主要な著者: | , , |
|---|---|
| フォーマット: | Conference item |
| 出版事項: |
CEUR−WS.org
2009
|