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...
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
ACM Press
2009
|