A general datalog-based framework for tractable query answering over ontologies
Calì, Andrea and Gottlob, G. and Lukasiewicz, T. (2012) A general datalog-based framework for tractable query answering over ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 14 , pp. 57-83. ISSN 1570-8268.
Ontologies and rules play a central role in the development of the Semantic Web. Recent research in this context focuses especially on highly scalable formalisms for the Web of Data, which may highly benefit from exploiting database technologies. In this paper, as a first step towards closing the gap between the Semantic Web and databases, 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 ontology querying. We show in particular that Datalog± encompasses and generalizes the tractable description logic EL and the DL-Lite family of tractable description logics, which are the most common tractable ontology languages in the context of the Semantic Web and databases. We also show how stratified negation can be added to Datalog± while keeping ontology querying tractable. Furthermore, the Datalog± family is of interest in its own right, and can, moreover, be used in various contexts such as data integration and data exchange. It paves the way for applying results from databases to the context of the Semantic Web.
|Keyword(s) / Subject(s):||Datalog, Ontologies, Semantic Web, DL-LITE, OWL, Conjunctive queries, Query evaluation, Chase, Dependencies, Constraints, Complexity, Tractability|
|School:||Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems|
|Research Centre:||Birkbeck Knowledge Lab|
|Date Deposited:||16 Apr 2012 09:24|
|Last Modified:||02 Dec 2016 13:22|
Additional statistics are available via IRStats2.