A general Datalog-based framework for tractable query answering over ontologies

Journal of Web Semantics

Volumn 14, Issue , 2012, Pages 57-83

  Calì, Andrea ^a,b   Gottlob, Georg ^b,c   Lukasiewicz, Thomas ^c  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Chase; Conjunctive queries; Constraints; Datalog; DL Lite; Ontologies

Indexed keywords

CHASE; CONJUNCTIVE QUERIES; CONSTRAINTS; DATALOG; DL-LITE;

DATA DESCRIPTION; ELECTRONIC DATA INTERCHANGE; FORMAL LANGUAGES; ONTOLOGY;

DATABASE SYSTEMS;

EID: 84862010071     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2012.03.001     Document Type: Article

References (105)

1. R. Fagin, P.G. Kolaitis, R.J. Miller, and L. Popa Data exchange: semantics and query answering Theoret. Comput. Sci. 336 1 2005 89 124 (Pubitemid 40612385)
2. B. Faltings, and S. Macho-Gonzalez Open constraint programming Artif. Intell. 161 1/2 2005 181 208
3. D. Mailharrow A classification and constraint-based framework for configuration Artif. Intell. Eng. Des. Anal. Manuf. 12 4 1998 383 397
4. M. Lenzerini, Data integration: a theoretical perspective, in: Proc. PODS-2002, 2002, pp. 233-246. (Pubitemid 35009497)
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati Tractable reasoning and efficient query answering in description logics: the DL-Lite family J. Autom. Reasoning 39 3 2007 385 429 (Pubitemid 47340922)
6. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati Linking data to ontologies J. Data Semantics 10 2008 133 173
7. A. Artale, D. Calvanese, R. Kontchakov, M. Zakharyaschev, DL-Lite in the light of first-order logic, in: Proc. AAAI-2007, 2007, pp. 361-366. (Pubitemid 350149598)
8. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev The DL-Lite family and relations J. Artif. Intell. Res. 36 2009 1 69
9. R. Fagin A normal form for relational databases that is based on domains and keys ACM Trans. Database Syst. 6 3 1981 387 415 (Pubitemid 12503775)
10. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison-Wesley
11. P.F. Patel-Schneider, and I. Horrocks A comparison of two modelling paradigms in the Semantic Web J. Web Sem. 5 4 2007 240 250 (Pubitemid 350186144)
12. C. Beeri, and M.Y. Vardi A proof procedure for data dependencies J. ACM 31 4 1984 718 741
13. C. Beeri, M.Y. Vardi, The implication problem for data dependencies, in: Proc. ICALP-1981, 1981, pp. 73-85.
14. S. Abiteboul, and V. Vianu Datalog extensions for database queries and updates J. Comput. Syst. Sci. 43 1 1991 62 124 (Pubitemid 21680395)
15. A. Calì, G. Gottlob, M. Kifer, Taming the infinite chase: query answering under expressive relational constraints, in: Proc. KR-2008, 2008, pp. 70-80, Revised version: http://dbai.tuwien.ac.at/staff/gottlob/CGK.pdf.
16. D. Maier, A.O. Mendelzon, and Y. Sagiv Testing implications of data dependencies ACM Trans. Database Syst. 4 4 1979 455 469
17. D.S. Johnson, and A.C. Klug Testing containment of conjunctive queries under functional and inclusion dependencies J. Comput. Syst. Sci. 28 1 1984 167 189 (Pubitemid 14569352)
18. F. Baader, Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles, in: Proc. IJCAI-2003, 2003, pp. 319-324.
19. F. Baader, S. Brandt, C. Lutz, Pushing the EL envelope, in: Proc. IJCAI-2005, 2005, pp. 364-369.
20. A.A. Krisnadhi, C. Lutz, Data complexity in the EL family of DLs, in: Proc. DL-2007, 2007.
21. A. Calì, D. Lembo, R. Rosati, On the decidability and complexity of query answering over inconsistent and incomplete databases, in: Proc. PODS-2003, 2003, pp. 260-271.
22. K.R. Apt, H. Blair, and A. Walker Towards a theory of declarative knowledge J. Minker, Foundations of Deductive Databases and Logic Programming 1988 Morgan Kaufmann 89 148
23. A.K. Chandra, P.M. Merlin, Optimal implementation of conjunctive queries in relational data bases, in: Proc. STOC-1977, 1977, pp. 77-90.
24. A. Deutsch, A. Nash, J.B. Remmel, The chase revisited, in Proc. PODS-2008, 2008, pp. 149-158.
25. H. Andréka, I. Németi, and J. van Benthem Modal languages and bounded fragments of predicate logic J. Phil. Log. 27 3 1998 217 274
26. M.Y. Vardi, On the complexity of bounded-variable queries, in: Proc. PODS-1995, 1995, pp. 266-276.
27. A.K. Chandra, and M.Y. Vardi The implication problem for functional and inclusion dependencies is undecidable SIAM J. Comput. 14 1985 671 677
28. D. Brickley, R.V. Guha, RDF vocabulary description language 1.0: RDF schema, W3C recommendation, 10 Feb. 2004, http://www.w3.org/TR/rdf-schema/.
29. J. de Bruijn, S. Heymans, Logical foundations of (e)RDF(S): complexity and reasoning, in: Proc. ISWC-2007, 2007, pp. 86-99.
30. S. Rudolph, M. Krötzsch, P. Hitzler, Cheap Boolean role constructors for description logics, in: Proc. JELIA-2008, 2008, pp. 362-374.
31. A, in: Proc. OWLED-2006, 2006.
32. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati, Can OWL model football leagues? in: Proc. OWLED-2007, 2007.
33. A. Calì, M. Kifer, Containment of conjunctive object meta-queries, in: Proc. VLDB-2006, 2006, pp. 942-952.
34. M. Kifer, G. Lausen, and J. Wu Logical foundations of object-oriented and frame-based languages J. ACM 42 4 1995 741 843
35. A. Calì, G. Gottlob, T. Lukasiewicz, A general Datalog-based framework for tractable query answering over ontologies, in: Proc. PODS-2009, 2009, pp. 77-86.
36. V. Lifschitz On the declarative semantics of logic programs with negation J. Minker, Foundations of Deductive Databases and Logic Programming 1988 Morgan Kaufmann 177 192
37. I. Horrocks, O. Kutz, U. Sattler, The even more irresistible SROIQ, in: Proc. KR-2006, 2006, pp. 57-67.
38. W3C, OWL 2 web ontology language document overview, W3C recommendation, 27 Oct. 2009, http://www.w3.org/TR/owl2-overview/.
39. W3C, OWL web ontology language overview, W3C recommendation, 10 Feb. 2004, http://www.w3.org/TR/owl-features/.
40. B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: combining logic programs with description logic, in: Proc. WWW-2003, 2003, pp. 48-57.
41. W3C, OWL 2 web ontology language profiles, W3C recommendation, 27 Oct. 2009, http://www.w3.org/TR/owl2-profiles/.
42. M. Krötzsch, S. Rudolph, P. Hitzler, ELP: tractable rules for OWL 2, in: Proc. ISWC-2008, 2008, pp. 649-664.
43. M. Krötzsch, Efficient rule-based inferencing for OWL EL, in: Proc. IJCAI-2011, 2011, pp. 2668-2673.
44. M. Krötzsch, F. Maier, A.A. Krisnadhi, P. Hitzler, A better uncle for OWL: nominal schemas for integrating rules and ontologies, in: Proc. WWW-2011, 2011, pp. 645-654.
45. A. Calì, G. Gottlob, A. Pieris, Tractable query answering over conceptual schemata, in: Proc. ER-2009, 2009, pp. 175-190.
46. A. Calì, G. Gottlob, A. Pieris, Query answering under expressive entity-relationship schemata, in: Proc. ER-10, 2010, pp. 347-361.
47. B. Marnette, Generalized schema-mappings: from termination to tractability, in: Proc. PODS-2009, 2009, pp. 13-22.
48. L. Cabibbo The expressive power of stratified logic programs with value invention Inf. Comput. 147 1 1998 22 56 (Pubitemid 128453326)
49. A.A. Krisnadhi, F. Maier, P. Hitzler, OWL and rules, in: Reasoning Web 2011, 2011, pp. 382-415.
50. M. Krötzsch Description Logic Rules 2010 IOS Press
51. M. Krötzsch, S. Rudolph, P. Hitzler, Description logic rules, in: Proc. ECAI-2008, 2008, pp. 80-84.
52. A. Calì, G. Gottlob, A. Pieris, Advanced processing for ontological queries, in: Proc. VLDB-10, vol. 3, (1), 2010, pp. 554-565.
53. A. Calì, G. Gottlob, A. Pieris, Query answering under non-guarded rules in Datalog+/-, in: Proc. RR-10, 2010, pp. 1-17.
54. J.-F. Baget, M. Leclère, M.-L. Mugnier, and E. Salvat On rules with existential variables: walking the decidability line Artif. Intell. 175 9/10 2011 1620 1654
55. M.-L. Mugnier, Ontological query answering with existential rules, in: Proc. RR-2011, 2011, pp. 2-23.
56. J.-F. Baget, M.-L. Mugnier, S. Rudolph, M. Thomazo, Walking the complexity lines for generalized guarded existential rules, in: Proc. IJCAI-2011, 2011, pp. 712-717.
57. T. Eiter, and M. Šimkus FDNC: decidable nonmonotonic disjunctive logic programs with function symbols ACM Trans. Comput. Log. 11 2 2010 Article 14
58. A. Calì, D. Calvanese, G. De Giacomo, M. Lenzerini, Accessing data integration systems through conceptual schemas, in: Proc. ER-2001, 2001, pp. 270-284. (Pubitemid 33370410)
59. A. Calì, D. Lembo, R. Rosati, Query rewriting and answering under constraints in data integration systems, in: Proc. IJCAI-2003, 2003, pp. 16-21.
60. G. Gottlob, G. Orsi, A. Pieris, Ontological queries: rewriting and optimization, in: Proc. ICDE-2011, 2011, pp. 2-13.
61. H. Pérez-Urbina, B. Motik, and I. Horrocks Tractable query answering and rewriting under description logic constraints J. Appl. Log. 8 2 2010 186 209
62. R. Rosati, On conjunctive query answering in EL, in: Proc. DL-2007, 2007.
63. M. Krötzsch, S. Rudolph, P. Hitzler, Conjunctive queries for a tractable fragment of OWL 1.1, in: Proc. ISWC/ASWC-2007, 2007, pp. 310-323.
64. C. Lutz, D. Toman, F. Wolter, Conjunctive query answering in the description logic EL using a relational database system, in: Proc. IJCAI-2009, 2009, pp. 2070-2075.
65. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, M. Zakharyaschev, Combined FO rewritability for conjunctive query answering in DL-Lite, in: Proc. DL-2009, 2009.
66. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, M. Zakharyaschev, The combined approach to query answering in DL-Lite, in: Proc. KR-10, 2010, pp. 247-257.
67. R. Rosati, A. Almatelli, Improving query answering over DL-Lite ontologies, in: Proc KR-2010, 2010.
68. G. Orsi, and A. Pieris Optimizing query answering under ontological constraints PVLDB 4 11 2011 1004 1015
69. G. Gottlob, T. Schwentick, Rewriting ontological queries into small nonrecursive Datalog programs, in: Proc. DL-2011, 2011, See also: CoRR, abs/1106.3767, 2011, Revised version, in: Proc. KR-2012, 2012.
70. G. Gottlob, G. Orsi, A. Pieris, Ontological query answering via rewriting, in: Proc. ADBIS-2011, 2011, pp. 1-18.
71. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, A uniform integration of higher-order reasoning and external evaluations in answer-set programming, in: Proc. IJCAI-2005, 2005, pp. 90-96.
72. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, Effective integration of declarative rules with external evaluations for Semantic Web reasoning, in: Proc. ESWC-2006, 2006, pp. 273-287. (Pubitemid 44071165)
73. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits Combining answer set programming with description logics for the Semantic Web Artif. Intell. 172 12/13 2008 1495 1539
74. T. Eiter, G. Ianni, T. Lukasiewicz, and R. Schindlauer Well-founded semantics for description logic programs in the Semantic Web ACM Trans. Comput. Log. 12 2 2011 Article 11
75. T. Lukasiewicz Probabilistic description logic programs Int. J. Approx. Reas. 45 2 2007 288 307 (Pubitemid 46880199)
76. T. Lukasiewicz Fuzzy description logic programs under the answer set semantics for the Semantic Web Fundam. Inform. 82 3 2008 289 310
77. K. Wang, G. Antoniou, R.W. Topor, A. Sattar, Merging and aligning ontologies in dl-programs, in: Proc. RuleML-2005, 2005, pp. 160-171. (Pubitemid 43774507)
78. F. Yang, X. Chen, Z. Wang, P-dl-programs: combining dl-programs with preferences for the Semantic Web, unpublished manuscript, August 2006.
79. G. Antoniou, Non-monotonic rule systems on top of ontology layers, in: Proc. ISWC-2002, 2002, pp. 394-398.
80. M. Sintek, S. Decker, TRIPLE - a query, inference, and transformation language for the Semantic Web, in: Proc. ISWC-2002, 2002, pp. 364-378.
81. I. Horrocks, P.F. Patel-Schneider, S. Bechhofer, and D. Tsarkov OWL rules: a proposal and prototype implementation J. Web Sem. 3 1 2005 23 40 (Pubitemid 40891657)
82. F.M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf AL-log: integrating Datalog and description logics J. Intell. Inf. Syst. 10 3 1998 227 252
83. A.Y. Levy, and M.-C. Rousset Combining Horn rules and description logics in CARIN Artif. Intell. 104 1/2 1998 165 209 (Pubitemid 128400989)
84. R. Rosati, Towards expressive KR systems integrating Datalog and description logics: preliminary report, in: Proc. DL-1999, 1999.
85. R. Rosati On the decidability and complexity of integrating ontologies and rules J. Web Sem. 3 1 2005 61 73 (Pubitemid 40891659)
86. B. Motik, U. Sattler, and R. Studer Query answering for OWL-DL with rules J. Web Sem. 3 1 2005 41 60 (Pubitemid 40891658)
87. R. Rosati, DL + log: tight integration of description logics and disjunctive Datalog, in: Proc. KR-2006, 2006, pp. 68-78.
88. B. Motik, R. Rosati, A faithful integration of description logics with logic programming, in: Proc. IJCAI-2007, 2007, pp. 477-482.
89. V. Lifschitz, Non-monotonic databases and epistemic queries, in: Proc. IJCAI-1991, 1991, pp. 381-386.
90. T. Lukasiewicz A novel combination of answer set programming with description logics for the Semantic Web IEEE Trans. Knowl. Data Eng. 22 11 2010 1577 1592
91. J.D. Bruijn, T. Eiter, A. Polleres, H. Tompits, Embedding non-ground logic programs into autoepistemic logic for knowledge base combination, in: Proc. IJCAI-2007, 2007, pp. 304-309.
92. F. Baader, C. Lutz, B. Suntisrivaraporn, CEL - a polynomial-time reasoner for life science ontologies, in: Proc. IJCAR-2006, 2006, pp. 287-291.
93. R. Cote, D. Rothwell, J. Palotay, R. Beckett, L. Brochu, The systematized nomenclature of human and veterinary medicine, Technical report, SNOMED International, Northfield, IL: College of American Pathologists, 1993.
94. M.J. Lawley, C. Bousquet, Fast classification in Protégé: Snorocket as an OWL2 EL reasoner, in: Proc. DL-2010, 2010.
95. A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, R. Rosati, QuOnto: querying ontologies, in: Proc. AAAI-2005, 2005, pp. 1670-1671. (Pubitemid 43006534)
96. R. de Virgilio, G. Orsi, L. Tanca, R. Torlone, Semantic data markets: a flexible environment for knowledge management, in: Proc. CIKM-2011, 2011, pp. 1559-1564.
97. B. Bishop, A. Kiryakov, D. Ognyanoff, I. Peikov, Z. Tashev, and R. Velkov OWLIM: a family of scalable semantic repositories J. Web Sem. 2 1 2011 33 42
98. J. Zhou, L. Ma, Q. Liu, L. Zhang, Y. Yu, Y. Pan, Minerva: a scalable OWL ontology storage and inference system, in: Proc. ASWC-2006, 2006, pp. 429-443. (Pubitemid 44608618)
99. Z. Wu, G. Eadon, S. Das, E.I. Chong, V. Kolovski, M. Annamalai, J. Srinivasan, Implementing an inference engine for RDFS/OWL constructs and user-defined rules in Oracle, in: Proc. ICDE-2008, 2008, pp. 1239-1248.
100. B. Parsia, E. Sirin, Pellet: an OWL DL reasoner, in: Proc. DL-2004, 2004.
101. V. Haarslev, R. Möller, Racer: an OWL reasoning agent for the Semantic Web, in: Proc. Web Intelligence Workshops-2003, 2003, pp. 91-95.
102. R. Rosati, On the decidability and finite controllability of query processing in databases with incomplete information, in: Proc. PODS-2006, 2006, pp. 356-365. (Pubitemid 46946498)
103. V. Barany, G. Gottlob, M. Otto, Querying the guarded fragment, in: Proc. LICS-10, 2010, pp. 1-10. Full paper available from the authors.
104. R. Angles, C. Gutierrez, The expressive power of SPARQL, in: Proc. ISWC-2008, 2008, pp. 114-129.
105. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov Complexity and expressive power of logic programming ACM Comput. Surv. 33 3 2001 374 425 (Pubitemid 33768487)