Tailoring OWL for data intensive ontologies

CEUR Workshop Proceedings

Volumn 188, 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

CONCEPTUAL MODEL; CONCEPTUAL VIEWS; CONJUNCTIVE QUERIES; DATA REPOSITORIES; DESCRIPTION LOGIC; LARGE AMOUNTS OF DATA; MODELING FEATURES; UML CLASS DIAGRAMS;

DATA DESCRIPTION; INFORMATION MANAGEMENT; QUERY LANGUAGES;

BIRDS;

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

References (20)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.
2. A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, and R. Rosati. QUONTO: QUerying ONTOlogies. In Proc. of AAAI 2005, pages 1670-1671, 2005.
3. F. Baader, S. Brandt, and K. Lutz. Pushing the EL envelope. In Proc. of IJCAI 2005, 2005.
4. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
5. A. Calí, D. Lembo, and R. Rosati. Query rewriting and answering under constraints in data integration systems. In Proc. of IJCAI 2003, pages 16-21, 2003.
6. D. Calvanese. Reasoning with inclusion axioms in description logics: Algorithms and complexity. In Proc. of ECAI'96, pages 303-307. John Wiley & Sons, 1996.
7. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of DL 2005. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2005.
8. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, pages 602-607, 2005.
9. D. Calvanese, G. De Giacomo, and M. Lenzerini. Answering queries using views over description logics knowledge bases. In Proc. of AAAI 2000, pages 386-391, 2000.
10. C. Chen, V. Haarslev, and J. Wang. LAS: Extending Racer by a Large ABox Store. In Proc. of DL 2005. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2005.
11. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Deduction in concept languages: From subsumption to instance checking. J. of Log. and Comp., 4(4): 423-452, 1994.
12. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In Proc. of WWW 2003, pages 48-57, 2003.
13. J. Heflin and J. Hendler. A portrait of the semantic web in action. IEEE Intelligent Systems, 16(2): 54-59, 2001.
14. I. Horrocks, L. Li, D. Turi, and S. Bechhofer. The Instance Store: DL reasoning with large numbers of individuals. In Proc. of DL 2004. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-104/, 2004.
15. U. Hustadt, B. Motik, and U. Sattler. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI 2005, 2005.
16. M. Lenzerini. Data integration: A theoretical perspective. In Proc. of PODS 2002, pages 233-246, 2002.
17. H. J. Levesque and G. Lakemeyer. The Logic of Knowledge Bases. The MIT Press, 2001.
18. A. Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2): 165-209, 1998.
19. M. M. Ortiz de la Fuente, D. Calvanese, T. Eiter, and E. Franconi. Data complexity of answering conjunctive queries over SHIQ knowledge bases. Technical report, Fac. of Computer Science, Free Univ. of Bozen-Bolzano, July 2005. Also available as CORR technical report at http://arxiv.org/abs/cs.LO/0507059/.
20. M. Y. Vardi. The complexity of relational query languages. In Proc. of STOC'82, pages 137-146, 1982.