Conjunctive query answering in the description logic SH using knots

Journal of Computer and System Sciences

Volumn 78, Issue 1, 2012, Pages 47-85

  Eiter, Thomas ^a   Ortiz, Magdalena ^a   Šimkus, Mantas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Computational complexity; Conjunctive query answering; Description Logics; Disjunctive Datalog; Knots

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; OPTIMIZATION; TERMINOLOGY;

CONJUNCTIVE QUERIES; CONJUNCTIVE QUERIES (CQS); DESCRIPTION LOGIC; DISJUNCTIVE DATALOG; DOUBLE EXPONENTIAL; EXPONENTIAL TIME; KNOTS; RELATIONAL STRUCTURES;

QUERY PROCESSING;

EID: 81955161258     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2011.02.012     Document Type: Conference Paper

References (55)

1. A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev Reasoning over extended ER models C. Parent, K.-D. Schewe, V.C. Storey, B. Thalheim, ER Lecture Notes in Comput. Sci. vol. 4801 2007 Springer 277 292
2. F. Baader, M. Lippmann, H. Liu, Using causal relationships to deal with the ramification problem in action formalisms based on description logics, in: LPAR, vol. 17, 2010.
3. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter Integrating description logics and action formalisms: First results M.M. Veloso, S. Kambhampati, AAAI 2005 AAAI Press/The MIT Press 572 577 (Pubitemid 43006670)
4. F. Baader, C. Lutz, and B. Motik Proc. 21st International Workshop on Description Logics (DL2008) Dresden, Germany, May 13-16, 2008 CEUR Workshop Proc. vol. 353 2008 CEUR-WS.org
5. D. Berardi, D. Calvanese, and G.D. Giacomo Reasoning on uml class diagrams Artificial Intelligence 168 1-2 2005 70 118 (Pubitemid 41338772)
6. A. Borgida, M. Lenzerini, and R. Rosati Description logics for data bases F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation and Applications, chapter 16 2003 Cambridge University Press 462 484
7. D. Calvanese, G. De Giacomo, and M. Lenzerini Conjunctive query containment and answering under description logics constraints ACM Trans. Comput. Log. 9 3 2008 22.1 22.31
8. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati, Description logic framework for information integration, in: Proc. 6th Int. Conf. Principles of Knowledge Representation and Reasoning (KR 1998), 1998, pp. 2-13.
9. D. Calvanese, T. Eiter, M. Ortiz, Answering regular path queries in expressive description logics: An automata-theoretic approach, in: Proc. 22nd Nat. Conf. Artificial Intelligence (AAAI 2007), 2007, pp. 391-396. (Pubitemid 350149602)
10. D. Calvanese, T. Eiter, and M. Ortiz Regular path queries in expressive description logics with nominals C. Boutilier, Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) 2009 AAAI Press/IJCAI 714 720
11. D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, and S. Tessaris Proc. 2007 International Workshop on Description Logics (DL 2007) Brixen-Bressanone, Italy, June 8-10, 2007 CEUR Workshop Proc. vol. 250 2007 CEUR-WS.org
12. D. Calvanese, G.D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati Data complexity of query answering in description logics P. Doherty, J. Mylopoulos, C.A. Welty, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning Lake District of the United Kingdom, June 2-5, 2006 2006 AAAI Press 260 270
13. D. Calvanese, G.D. Giacomo, and M. Lenzerini On the decidability of query containment under constraints Proc. 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems June 1-3, 1998, Seattle, Washington 1998 ACM Press 149 158
14. B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, and P.P.-S.U. Sattler OWL 2: The next step for OWL J. Web Sem. 6 4 2008 309 322
15. T. Eiter, G. Gottlob, and H. Mannila Disjunctive datalog ACM Trans. Database Syst. 22 3 1997 364 417
16. T. Eiter, G. Gottlob, M. Ortiz, and M. Šimkus Query answering in the description logic Horn-SHIQ S. Hölldobler, C. Lutz, H. Wansing, Proc. 11th European Conf. Logics in Artificial Intelligence (JELIA 2008) Lecture Notes in Comput. Sci. vol. 5293 2008 Springer 166 179
17. T. Eiter, C. Lutz, M. Ortiz, and M. Šimkus Query answering in description logics: the knots approach H. Ono, M. Kanazawa, R. de Queiroz, Proceedings 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009) Lecture Notes in Comput. Sci. vol. 5514 2009 Springer 26 36
18. T. Eiter, C. Lutz, M. Ortiz, and M. Šimkus Query answering in description logics with transitive roles C. Boutilier, Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) 2009 AAAI Press/IJCAI 759 764
19. T. Eiter, K. Makino, and G. Gottlob Computational aspects of monotone dualization: A brief survey Discrete Appl. Math. 156 2008 2035 2049
20. T. Eiter, M. Ortiz, and M. Šimkus Reasoning using knots I. Cervesato, H. Veith, A. Voronkov, Proc. 15th Int. Conf. Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008) Lecture Notes in Comput. Sci. vol. 5330 2008 Springer 377 390
21. T. Eiter, and M. Šimkus FDNC: Decidable non-monotonic disjunctive logic programs with function symbols ACM Trans. Comput. Log. 11 2 2010 14.1 14.50 preliminary conference version in LPAR 2007
22. D. Fox, and C.P. Gomes Proc. 23rd AAAI Conference on Artificial Intelligence (AAAI 2008) Chicago, IL, USA, July 13-17, 2008 2008 AAAI Press
23. B. Glimm, I. Horrocks, C. Lutz, U. Sattler, Conjunctive query answering for the description logic SHIQ, in: M.M. Veloso (Ed.), Proc. 20th Int. Joint Conf. Artificial Intelligence (IJCAI 2007), 2007, pp. 399-404.
24. B. Glimm, I. Horrocks, U. Sattler, Conjunctive query entailment for SHOQ, in: Calvanese et al. [11].
25. B. Glimm, I. Horrocks, and U. Sattler Unions of conjunctive queries in SHOQ G. Brewka, J. Lang, KR 2008 AAAI Press 252 262
26. B. Glimm, C. Lutz, I. Horrocks, and U. Sattler Answering conjunctive queries in the SHIQ description logic J. Artificial Intelligence Res. 31 2008 150 197
27. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen From SHIQ and RDF to OWL: the making of a web ontology language J. Web Sem. 1 1 2003 7 26 (Pubitemid 44914724)
28. I. Horrocks, S. Tessaris, A conjunctive query language for description logic ABoxes, in: Proc. 17th Nat. Conf. Artificial Intelligence (AAAI 2000), 2000, pp. 399-404.
29. U. Hustadt, B. Motik, U. Sattler, A decomposition rule for decision procedures by resolution-based calculi, in: Proc. 11th Int. Conf. Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2004), 2004, pp. 21-35.
30. U. Hustadt, B. Motik, and U. Sattler Reasoning in description logics by a reduction to disjunctive datalog J. Automat. Reason. 39 2007 351 384 10.1007/s10817-007-9080-3 (Pubitemid 47340921)
31. L. Khachiyan, E. Boros, K. Elbassioni, and V. Gurvich An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation Discrete Appl. Math. 154 16 2006 2350 2372 (Pubitemid 44287113)
32. M. Krötzsch, S. Rudolph, and P. Hitzler Conjunctive queries for a tractable fragment of OWL 1.1 K. Aberer, ISWC/ASWC Lecture Notes in Comput. Sci. vol. 4825 2007 Springer 310 323
33. M. Lenzerini, Data integration: A theoretical perspective, in: Proc. 21st ACM SIGACT SIGMOD SIGART Symp. Principles of Database Systems (PODS 2002), 2002.
34. A.Y. Levy, and M.-C. Rousset Combining Horn rules and description logics in CARIN Artificial Intelligence 104 1-2 1998 165 209 (Pubitemid 128400989)
35. H. Liu, C. Lutz, M. Milicic, and F. Wolter Reasoning about actions using description logics with general TBoxes M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa, JELIA Lecture Notes in Comput. Sci. vol. 4160 2006 Springer 266 279 (Pubitemid 44576974)
36. C. Lutz, Inverse roles make conjunctive queries hard, in: Calvanese et al. [11].
37. C. Lutz, Two upper bounds for conjunctive query answering in SHIQ, in: Baader et al. [4].
38. C. Lutz, U. Sattler, and L. Tendera The complexity of finite model reasoning in description logics Inform. and Comput. 199 1-2 2005 132 171 (Pubitemid 40773677)
39. C. Lutz, F. Wolter, and M. Zakharyaschev Temporal description logics: A survey S. Demri, C.S. Jensen, 15th International Symposium on Temporal Representation and Reasoning, TIME 2008 Université du Québec à Monteéal, Canada, June 16-18, 2008 2008 IEEE Computer Society 3 14
40. M. Marx, and Y. Venema Local variations on a loose theme: Modal logic and decidability Finite Model Theory and Its Applications, chapter 7 June 2007 Springer 371 429
41. M. Milicic Complexity of planning in action formalisms based on description logics N. Dershowitz, A. Voronkov, LPAR Lecture Notes in Comput. Sci. vol. 4790 2007 Springer 408 422
42. I. Németi, Free algebras and decidability in algebraic logic, DSc. thesis, Mathematical Institute of The Hungarian Academy of Sciences, Budapest, 1986.
43. M. Ortiz, D. Calvanese, and T. Eiter Characterizing data complexity for conjunctive query answering in expressive description logics AAAI 2006 AAAI Press 275 280 (Pubitemid 44705297)
44. M. Ortiz, D. Calvanese, and T. Eiter Data complexity of query answering in expressive description logics via tableaux J. Automat. Reason. 41 1 2008 61 98
45. M. Ortiz, M. Šimkus, T. Eiter, Conjunctive query answering in SH using knots, in: Baader et al. [4].
46. M. Ortiz, M. Šimkus, T. Eiter, Worst-case optimal conjunctive query answering for an expressive description logic without inverses, in: Fox and Gomes [22], pp. 504-510.
47. OWL 2 Web Ontology Language: Structural specification and functional-style syntax, Recommendation 27 October 2009, W3C, 2009, available at http://www.w3.org/TR/owl2-syntax/.
48. OWL Web Ontology Language: semantics and abstract syntax, Recommendation 10 February 2004, W3C, 2004, available at http://www.w3.org/TR/owl-semantics/.
49. A. Poggi, D. Lembo, D. Calvanese, G.D. Giacomo, M. Lenzerini, and R. Rosati Linking data to ontologies J. Data Sem. 10 2008 133 173
50. V.R. Pratt, Models of program logics, in: Proc. 20th Annual Symposium on Foundations of Computer Science, October 29-31, 1979, San Juan, Puerto Rico, 1979, pp. 115-122.
51. R. Rosati, On conjunctive query answering in EL, in: Calvanese et al. [11].
52. M.-C. Rousset, Building scalable semantic peer-to-peer data management systems: The somewhere approach, in: Mexican International Conference on Computer Science, vol. 0, 2007, p. xvii.
53. S. Rudolph, M. Krötzsch, P. Hitzler, Terminological reasoning in SHIQ with ordered binary decision diagrams, in: Fox and Gomes [22], pp. 529-534.
54. K. Schild A correspondence theory for terminological logics: Preliminary report Proc. 12th International Joint Conference on Artificial Intelligence (IJCAI-91) 1991 Morgan Kaufmann 466 471
55. S. Tessaris, Questions and answers: Reasoning and querying in description logic, PhD thesis, University of Manchester, Department of Computer Science, 2001.