Conjunctive query answering for the description logic SHIQ

Journal of Artificial Intelligence Research

Volumn 31, Issue , 2008, Pages 157-204

  Glimm, Birte ^a   Horrocks, Ian ^a   Lutz, Carsten ^b   Sattler, Ulrike ^c  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA ACQUISITION; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES;

DATA COMPLEXITY; QUERY ANSWERING;

QUERY PROCESSING;

EID: 44449142497     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2372     Document Type: Article

References (36)

1. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., & Patel-Schneider, P. F. (Eds.). (2003). The Description Logic Handbook. Cambridge University Press.
2. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P F., & Stein, L. A. (2004). OWL web ontology language reference. Tech. rep., World Wide Web Consortium. http://www.M3.org/TR/ 2004/REC-owl-ref-20040210/.
3. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2006). Data complexity of query answering in description logics. In Doherty, P., Mylopoulos, J., & Welty, C. A. (Eds.), Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260-270. AAAI Press/The MIT Press.
4. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007). Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning, 39(3), 385-429.
5. Calvanese, D., De Giacomo, G., & Lenzerini, M. (1998a). On the decidability of query containment under constraints. In Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 1998), pp. 149-158. ACM Press and Addison Wesley.
6. Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., & Rosati, R. (1998b). Description logic framework for information integration. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR 1998).
7. Calvanese, D., Eiter, T., & Ortiz, M. (2007). Answering regular path queries in expressive description logics: An automata-theoretic approach. In Proceedings of the 22th National Conference on Artificial Intelligence (AAAI 2007).
8. Chekuri, C., & Rajaraman, A. (1997). Conjunctive query containment revisited. In Proceedings of the 6th International Conference on Database Theory (ICDT 1997), pp. 56-70, London, UK. Springer-Verlag.
9. Glimm, B., Horrocks, I., & Sattler, U. (2006). Conjunctive query answering for description logics with transitive roles. In Proceedings of the 19th International Workshop on Description Logics (DL 2006). http://www.cs.man.ac.uk/~glimmbx/download/GlHS06a.pdf.
10. Grädel, E. (2001). Why are modal logics so robustly decidable?. In Paun, G., Rozenberg, G., & Salomaa, A. (Eds.), Current Trends in Theoretical Computer Science, Entering the 21th Century, Vol. 2, pp. 393-408. World Scientific.
11. Grahne, G. (1991). Problem of Incomplete Information in Relational Databases. Springer-Verlag.
12. Horrocks, I., Patel-Schneider, P. F., & van Harmelen, F. (2003). From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1), 7-26.
13. Horrocks, I., Sattler, U., Tessaris, S., & Tobies, S. (1999). Query containment using a DLR ABox. Ltcs-report LTCS-99-15, LuFG Theoretical Computer Science, RWTH Aachen, Germany. Available online at http://www-lti.informatik. rwth-aachen.de/Forschung/Reports.html.
14. Horrocks, I., Sattler, U., & Tobies, S. (2000). Reasoning with Individuals for the Description Logic SHIQ. In McAllester, D. (Ed.), Proceedings of the 17th International Conference on Automated Deduction (CADE 2000), No. 1831 in Lecture Notes in Artificial Intelligence, pp. 482-496. Springer-Verlag.
15. Horrocks, I., & Tessaris, S. (2000). A conjunctive query language for description logic aboxes. In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI 2000), pp. 399-404.
16. Hustadt, U., Motik, B., & Sattler, U. (2005). Data complexity of reasoning in very expressive description logics. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 466-471.
17. Levy, A. Y., & Rousset, M.-C. (1998). Combining horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2), 165-209.
18. Lutz, C. (2007). Inverse roles make conjunctive queries hard. In Proceedings of the 20th International Workshop on Description Logics (DL 2007).
19. McGuinness, D. L., & Wright, J. R. (1998). An industrial strength description logic-based configuration platform. IEEE Intelligent Systems, 13(4).
20. Motik, B., Sattler, U., & Studer, R. (2004). Query answering for OWL-DL with rules. In Proceedings of the 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan.
21. Ortiz, M., Calvanese, D., & Eiter, T. (2006a). Data complexity of answering unions of conjunctive queries in STIQ. In Proceedings of the 19th International Workshop on Description Logics (DL 2006).
22. Ortiz, M. M., Calvanese, D., & Eiter, T. (2006b). Characterizing data complexity for conjunctive query answering in expressive description logics. In Proceedings of the 21th National Conference on Artificial Intelligence (AAAI 2006).
23. Rosati, R. (2006a). DL+log: Tight integration of description logics and disjunctive data-log. In Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68-78.
24. Rosati, R. (2006b). On the ddecidability and finite controllability of query processing in databases with incomplete information. In Proceedings of the 25th ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS-06), pp. 356-365. ACM Press and Addison Wesley.
25. Rosati, R. (2007a). The limits of querying ontologies. In Proceedings of the Eleventh International Conference on Database Theory (ICDT 2007), Vol. 4353 of Lecture Notes in Computer Science, pp. 164-178. Springer-Verlag.
26. Rosati, R. (2007b). On conjunctive query answering in EL. In Proceedings of the 2007 Description Logic Workshop (DL 2007). CEUR Workshop Proceedings.
27. Schaerf, A. (1993). On the complexity of the instance checking problem in concept languages with existential quantification. Journal of Intelligent Information Systems, 2(3), 265-278.
28. Sirin, E., & Parsia, B. (2006). Optimizations for answering conjunctive abox queries. In Proceedings of the 19th International Workshop on Description Logics (DL 2006).
29. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., & Katz, Y. (2006). Pellet: A practical OWL-DL reasoner. Accepted for the Journal of Web Semantics, Available online at http ://www.mindswap.org/papers/PelletJWS.pdf.
30. Tessaris, S. (2001). Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester.
31. Tobies, S. (2001). Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen.
32. Tsarkov, D., & Horrocks, I. (2006). FaCT++ description logic reasoner: System description. In Furbach, U., & Shankar, N. (Eds.), Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006), Vol. 4130 of Lecture Notes in Computer Science, pp. 292-297. Springer-Verlag.
33. van der Meyden, R. (1998). Logical approaches to incomplete information: A survey. In Logics for Databases and Information Systems, pp. 307-356. Kluwer Academic Publishers.
34. Vardi, M. Y. (1997). Why is modal logic so robustly decidable?. In Descriptive Complexity and Finite Models: Proceedings of a DIMACS Workshop, Vol. 31 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, pp. 149-184. American Mathematical Society.
35. Wessel, M., & Möller, R. (2005). A high performance semantic web query answering engine. In Proceedings of the 18th International Workshop on Description Logics.
36. Wolstencroft, K., Brass, A., Horrocks, I., Lord, P., Sattler, U., Turi, D., & Stevens, R. (2005). A Little Semantic Web Goes a Long Way in Biology. In Proceedings of the 2005 International Semantic Web Conference (ISWC 2005).