Calì, Andrea and Gottlob, G. and Pieris, A. (2012) Ontological query answering under expressive entity-relationship schemata. Information Systems 37 (4), pp. 320-335. ISSN 0306-4379.
Abstract
The Entity–Relationship (ER) model is a fundamental tool for database design, recently extended and employed in knowledge representation and reasoning due to its expressiveness and comprehensibility. We address the problem of answering conjunctive queries under constraints representing schemata expressed in an extended version of the Entity–Relationship model. This extended model, called ER+ER+, comprises is-a constraints among entities and relationships, plus functional and mandatory participation constraints. In particular, it allows for arbitrary permutations of the roles in is-a among relationships. A key notion that ensures high tractability in ER+ER+ schemata is separability, i.e., the absence of interaction between the functional participation constraints and the other constructs of ER+ER+. We provide a precise syntactic characterization of separable ER+ER+ schemata by means of a necessary and sufficient condition. We present a complete complexity analysis of the conjunctive query answering problem under separable ER+ER+ schemata, and also under several sublanguages of ER+ER+. We show that the addition of so-called negative constraints does not increase the complexity of query answering. With such constraints, our model properly generalizes the most widely adopted tractable ontology languages, including those in the DL-Lite family.
Metadata
Item Type: | Article |
---|---|
Keyword(s) / Subject(s): | entity–relationship, query answering, complexity |
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Research Centres and Institutes: | Birkbeck Knowledge Lab |
Depositing User: | Sarah Hall |
Date Deposited: | 26 Apr 2013 13:48 |
Last Modified: | 09 Aug 2023 12:32 |
URI: | https://eprints.bbk.ac.uk/id/eprint/6495 |
Statistics
Additional statistics are available via IRStats2.