The complexity of conjunctive query answering in expressive description logics

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

Volumn 5195 LNAI, Issue , 2008, Pages 179-193

  Lutz, Carsten ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; DATA DESCRIPTION;

AUTOMATED REASONING; DESCRIPTION LOGICS; JOINT CONFERENCE; OPEN PROBLEMS; QUERY ANSWERING;

AUTOMATA THEORY;

EID: 53049089896     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71070-7_16     Document Type: Conference Paper

References (22)

1. Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of PODS 1998, pp. 149-158 (1998)
3. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR 2006, pp. 260-270. AAAI Press, Menlo Park (2006)
4. Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: an automata-theoretic approach. In: Proc of AAAI 2007. AAAI Press, Menlo Park (2007)
5. Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. Journal of the ACM 28(1), 114-133 (1981)
6. Glimm, B., Horrocks, I., Sattler, U.: Conjunctive query entailment for SHOQ. In: Proc. of DL 2007. CEUR-WS, vol. 250 (2007)
7. Glimm, B., Lutz, C., Horrocks, I., Sattler, U.: Answering conjunctive queries in the SHIQ description logic. JAIR, 31, 150-197 (2008)
8. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
9. Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 482-496. Springer, Heidelberg (2000)
10. Horrocks, I., Tessaris, S.: A conjunctive query language for description logic ABoxes. In: Proc. of AAAI 2000. AAAI Press, Menlo Park (2000)
11. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proc of IJCAI 2005, pp. 466-471. Professional Book Center (2005)
12. Krötzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL 1.1. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ISWC 2007. LNCS, vol. 4825, pp. 310-323. Springer, Heidelberg (2007)
13. Lutz, C.: The Complexity of Reasoning with Concrete Domains. PhD thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany (2002)
14. Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominais, and concrete domains. Journal of Artificial Intelligence Research (JAIR) 23, 667-726 (2005)
15. Lutz, C.: Inverse roles make conjunctive queries hard. In: Proc. of DL 2007, CEURWS vol. 250 (2007), http://lat.inf.tu-dresden.de/~clu/papers/:
16. Lutz, C.: Two upper bounds for conjunctive query answering in SHIQ. In: Proc. of DL 2008, CEUR-WS (2008), http://lat.inf.tu-dresden.de/~clu/papers/:
17. Ortiz, M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: Proc. of AAAI 2006. AAAI Press, Menlo Park (2006)
18. Ortiz, M., Šimkus, M., Eiter, T.: Worst-case optimal conjunctive query answering for an expressive description logic without inverses. In: Proc. of AAAI 2008. AAAI Press, Menlo Park (2008)
19. Ortiz, M., Šimkus, M., Eiter, T.: Conjunctive query answering in SH using knots. In: Proc. of DL 2008. CEUR, WS (2008)
20. Schaerf, A.: On the complexity of the instance checking problem in concept languages with existential quantification. JIIS 2, 265-278 (1993)
21. Rosati, R.: On conjunctive query answering in εC. In: Proc. of DL 2007. CEURWS, vol. 250 (2007)
22. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen (2001)