Query answering under non-guarded rules in Datalog+/-

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6333 LNCS, Issue , 2010, Pages 1-17

  Calì, Andrea ^b,c   Gottlob, Georg ^a,b   Pieris, Andreas ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWERING QUERIES; COMPLEXITY RESULTS; DATA COMPLEXITY; DATALOG; INCLUSION DEPENDENCIES; INTEGRITY CONSTRAINTS; LARGE DATASETS; ONTOLOGY LANGUAGE; ONTOLOGY-BASED DATA ACCESS; QUERY ANSWERING;

COMPUTABILITY AND DECIDABILITY; QUERY LANGUAGES;

ONTOLOGY;

EID: 78049355421     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15918-3_1     Document Type: Conference Paper

References (24)

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading
2. Baget, J.-F., Leclère, M., Mugnier, M.-L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proc. of IJCAI, pp. 677-682 (2009)
3. Beeri, C., Vardi, M. Y.: The implication problem for data dependencies. In: Proc. of ICALP, pp. 73-85 (1981)
4. Cabibbo, L.: The expressive power of stratified logic programs with value invention. Inf. Comput. 147(1), 22-56 (1998)
5. Calì, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: Proc. of KR, pp. 70-80 (2008)
6. ± A unified approach to ontologies and integrity constraints. In: Proc. of ICDT, pp. 14-30 (2009)
7. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: Proc. of PODS, pp. 77-86 (2009)
8. Calì, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries. In: Proc. of VLDB (to appear, 2010)
9. Calì, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries (2010), http://benner.dbai.tuwien.ac.at/staff/gottlob/CGP. pdf
10. Calì, A., Gottlob, G., Pieris, A.: Ontological reasoning with F-Logic Lite and its extensions. In: Proc. of AAAI (to appear, 2010)
11. Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS, pp. 260-271 (2003)
12. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. Autom. Reasoning 39(3), 385-429 (2007)
13. Dantsin, E., Eiter, T., Georg, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374-425 (2001)
14. Deutsch, A., Nash, A., Remmel, J. B.: The chase revisisted. In: Proc. of PODS, pp. 149-158 (2008)
15. Deutsch, A., Tannen, V.: Reformulation of XML queries and constraints. In: Proc. of ICDT, pp. 225-241 (2003)
16. Fagin, R., Kolaitis, P. G., Miller, R. J., Popa, L.: Data exchange: Semantics and query answering. Theor. Comput. Sci. 336(1), 89-124 (2005)
17. Johnson, D. S., Klug, A. C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci. 28(1), 167-189 (1984)
18. Kolaitis, P. G., Panttaja, J.: Personal Communication (2009)
19. Kolaitis, P. G., Panttaja, J., Tan, W.-C.: The complexity of data exchange. In: Proc. of PODS, pp. 30-39 (2006)
20. Maier, D., Mendelzon, A. O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst. 4(4), 455-469 (1979)
21. Mailharrow, D.: A classification and constraint-based framework for configuration. Artif. Intell. for Engineering Design, Analysis and Manufacturing 12(4), 383-397 (1998)
22. Panttaya, J.: Complexity in databases, games, and logics. PhD thesis, University of California Santa Cruz (2006)
23. Patel-Schneider, P. F., Horrocks, I.: A comparison of two modelling paradigms in the semantic web. J. Web Semantics 5(4), 240-250 (2007)
24. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semantics 10, 133-173 (2008)