Data complexity of query answering in description logics

CEUR Workshop Proceedings

Volumn 147, Issue , 2005, Pages

  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

CONJUNCTIVE QUERIES; CONP-HARDNESS; DATA COMPLEXITY; DESCRIPTION LOGIC; FIRST ORDER LOGIC; KNOWLEDGE BASIS; LOGSPACE; QUERY ANSWERING; SQL QUERY; UML CLASS DIAGRAMS;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 33750729084     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts, 1995.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applica- tions. Cambridge University Press, 2003.
3. D. Calvanese, G. De Giacomo, and M. Lenzerini. 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), pages 149{158, 1998.
4. D. Calvanese, G. De Giacomo, and M. Lenzerini. Answering queries using views over description logics knowledge bases. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), pages 386{391, 2000.
5. D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, and G. Vetere. DL- Lite: Practical reasoning for rich DLs. In Proc. of the 2004 Description Logic Workshop (DL 2004). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/ Vol-104/, 2004.
6. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Deduction in concept languages: From subsumption to instance checking. J. of Logic and Computation, 4(4):423{452, 1994.
7. M. R. Garey and D. S. Johnson. Computers and Intractability | A guide to NP- completeness. W. H. Freeman and Company, San Francisco (CA, USA), 1979.
8. J. Hein and J. Hendler. A portrait of the semantic web in action. IEEE Intel- ligent Systems, 16(2):54{59, 2001.
9. U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ-description logic to disjunctive datalog programs. In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004), 2004.
10. U. Hustadt, B. Motik, and U. Sattler. Data complexity of reasoning in very expressive description logics. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), 2005.