BIROn - Birkbeck Institutional Research Online

Towards more expressive ontology languages: the query answering problem

Calì, Andrea and Gottlob, G. and Pieris, A. (2012) Towards more expressive ontology languages: the query answering problem. Artificial Intelligence 193 , pp. 87-128. ISSN 0004-3702.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1016/j.artint.2012.08.002

Abstract

Ontology reasoning finds a relevant application in the so-called ontology-based data access, where a classical extensional database (EDB) is enhanced by an ontology, in the form of logical assertions, that generates new intensional knowledge which contributes to answering queries. In this setting, queries are therefore answered against a logical theory constituted by the EDB and the ontology; more specifically, query answering amounts to computing the answers to the query that are entailed by the EDB and the ontology. In this paper, we study novel relevant classes of ontological theories for which query answering is both decidable and of tractable data complexity, that is, the complexity with respect to the size of the data only. In particular, our new classes belong to the recently introduced family of Datalog-based languages, called Datalog±. The basic Datalog± rules are (function-free) Horn rules extended with existential quantification in the head, known as tuple-generating dependencies (TGDs). We propose the language of sticky sets of TGDs (or sticky Datalog±), which are sets of TGDs with a restriction on multiple occurrences of variables in the rule-bodies. We establish complexity results for answering conjunctive queries under sticky sets of TGDs, showing, in particular, that queries can be compiled into domain independent first-order (and thus translatable into SQL) queries over the given EDB. We also present several extensions of sticky sets of TGDs, and investigate the complexity of query answering under such classes. In summary, we obtain highly expressive and effective ontology languages that unify and generalize both classical database constraints, and important features of the most widespread tractable description logics; in particular, the DL-Lite family of description logics.

Item Type: Article
Keyword(s) / Subject(s): Datalog, Ontologies, Semantic Web, Conjunctive queries, Query answering, Chase procedure, Dependencies, Constraints, Complexity, Tractability
School or Research Centre: Birkbeck Schools and Research Centres > School of Business, Economics & Informatics > Computer Science and Information Systems
Depositing User: Administrator
Date Deposited: 11 Sep 2012 09:21
Last Modified: 17 Apr 2013 12:24
URI: http://eprints.bbk.ac.uk/id/eprint/5065

Archive Staff Only (login required)

Edit/View Item Edit/View Item