Data complexity of query answering in description logics

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 260-270

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lembo, Domenico ^b   Lenzerini, Maurizio ^b   Rosati, Riccardo ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; INFORMATION MANAGEMENT; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; QUERY LANGUAGES; QUERY PROCESSING;

ANSWERING QUERIES; COMPLEXITY ANALYSIS; CONJUNCTIVE QUERIES; DATA-BASE MANAGEMENT SYSTEMS; DATABASE TECHNOLOGY; DESCRIPTION LOGIC; EXPRESSIVE POWER; KNOWLEDGE BASIS;

SEARCH ENGINES;

EID: 84860600484     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts.
2. Acciarri, A.; Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Palmieri, M.; and Rosati, R. 2005. QUONTO: QUerying ONTOlogies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), 1670-1671.
3. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
4. Borgida, A.; Brachman, R. J.; McGuinness, D. L.; and Resnick, L. A. 1989. CLASSIC: A structural data model for objects. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 59-67.
5. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2005. DL-Lite: Tractable description logics for ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), 602-607.
6. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 1998. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98), 149-158.
7. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2000. Answering queries using views over description logics knowledge bases. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), 386-391.
8. Donini, F. M.; Lenzerini, M.; Nardi, D.; and Schaerf, A. 1994. Deduction in concept languages: From subsumption to instance checking. J. of Logic and Computation 4(4):423-452.
9. Garey, M. R., and Johnson, D. S. 1979. Computers and Intractability - A guide to NP-completeness. San Francisco (CA, USA): W. H. Freeman and Company.
10. Grosof, B. N.; Horrocks, I.; Volz, R.; and Decker, S. 2003. Description logic programs: Combining logic programs with description logic. In Proc. of the 12th Int. World Wide Web Conf. (WWW 2003), 48-57.
11. Heflin, J., and Hendler, J. 2001. A portrait of the semantic web in action. IEEE Intelligent Systems 16(2):54-59.
12. Hustadt, U.; Motik, B.; and Sattler, U. 2004. Reducing SHIQ-description logic to disjunctive datalog programs. In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004).
13. Hustadt, U.; Motik, B.; and Sattler, U. 2005. Data complexity of reasoning in very expressive description logics. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005).
14. Lee, J.; Siau, K.; and Hong, S. 2003. Enterprise integration with erp and eai. Communications of the ACM 46(2):54 - 60.
15. Lenzerini, M. 2002. Data integration: A theoretical perspective. In Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), 233-246.
16. Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2):165-209.
17. Ortiz de la Fuente, M. M.; Calvanese, D.; Eiter, T.; and Franconi, E. 2005. Data complexity of answering conjunctive queries over SHIQ knowledge bases. Technical report, Faculty of Computer Science, Free University of Bozen-Bolzano. Also available as CORR technical report at http://arxiv.org/abs/ cs.LO/0507059/.
18. Vardi, M. Y. 1982. The complexity of relational query languages. In Proc. of the 14th ACM SIGACT Symp. on Theory of Computing (STOC'82), 137-146.