Calì, Andrea and Pieris, A. (2011) On equality-generating dependencies in ontology querying - preliminary report. In: Barcelo, P. and Tannen, V. (eds.) Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011. CEUR Workshop Proceedings 749. CEUR Workshop Proceedings.
Abstract
In ontology-based data access, data are queried through an ontology that offers a representation of the domain of interest. In this context, correct answers are those entailed by the logical theory constituted by the data and the ontology. Traditional database constraints like tuple-generating dependencies (TGDs) and equality-generating de- pendencies (EGDs) are a useful tool for ontology specification. However, their interaction usually leads to intractability or undecidability of query answering; separability is the notion that captures the lack of interaction between TGDs and EGDs. In this paper we exhibit a novel and general sufficient condition for separability, in the case where the ontology is expressed with inclusion dependencies (a subclass of TGDs) and EGDs.
Metadata
Item Type: | Book Section |
---|---|
Additional Information: | Series ISSN: 1613-0073 |
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 14:34 |
Last Modified: | 09 Aug 2023 12:32 |
URI: | https://eprints.bbk.ac.uk/id/eprint/6498 |
Statistics
Additional statistics are available via IRStats2.