The MASTRO system for ontology-based data access

Semantic Web

Volumn 2, Issue 1, 2011, Pages 43-53

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lembo, Domenico ^b   Lenzerini, Maurizio ^b   Poggi, Antonella ^b   Rodriguez Muro, Mariano ^a   Rosati, Riccardo ^b   Ruzzi, Marco ^b   Savo, Domenico Fabio ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Description Logics; Ontology based data access; Reasoning over ontologies

Indexed keywords

EID: 79957998180     PISSN: 15700844     EISSN: 22104968     Source Type: Journal    
DOI: 10.3233/SW-2011-0029     Document Type: Article

References (32)

1. A. Amoroso, G. Esposito, D. Lembo, P. Urbano, and R. Vertucci. Ontology-based data integration with MASTRO-I for configuration and data management at SELEX Sistemi Integrati. In Proc. of SEBD 2008, pages 81-92, 2008.
2. 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.
3. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of KR 2006, pages 260-270, 2006.
4. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. EQL-Lite: Effective first-order query processing in description logics. In Proc. of IJCAI 2007, pages 274-279, 2007.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.
6. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Path-based identification constraints in description logics. In Proc. of KR 2008, pages 231-241, 2008.
7. D. Calvanese, E. Kharlamov, W. Nutt, and D. Zheleznyakov. Evolution of DL-Lite knowledge bases. In Proc. of ISWC 2010, volume 6496 of LNCS, pages 112-128. Springer, 2010.
8. J. Chomicki. Consistent query answering: Five easy pieces. In Proc. of ICDT 2007, volume 4353 of LNCS, pages 1-17. Springer, 2007.
9. C. Corona, E. Di Pasquale, A. Poggi, M. Ruzzi, and D.F. Savo. When OWL met DL-Lite. In Proc. of SWAP 2008, 2008.
10. C. Corona, M. Ruzzi, and D.F. Savo. Filling the gap between OWL 2 QL and QuOnto: ROWLKit. In Proc. of DL 2009, volume 477 of CEUR, ceur-ws.org, 2009.
11. G. De Giacomo,M. Lenzerini, A. Poggi, and R. Rosati. On the update of description logic ontologies at the instance level. In Proc. of AAAI 2006, pages 1271-1276, 2006.
12. G. De Giacomo, M. Lenzerini, and R. Rosati. Towards higherorder DL-Lite. In Proc. of DL 2008, volume 353 of CEUR, ceur-ws.org, 2008.
13. J. Dolby, A. Fokoue, A. Kalyanpur, L. Ma, E. Schonberg, K. Srinivas, and X. Sun. Scalable grounded conjunctive query evaluation over large and expressive knowledge bases. In Proc. of ISWC 2008, volume 5318 of LNCS, pages 403-418. Springer, 2008.
14. H. Garcia-Molina, Y. Papakonstantinou, D. Quass, A. Rajaraman, Y. Sagiv, J.D. Ullman, V. Vassalos, and J. Widom. The TSIMMIS approach to mediation: Data models and languages. J. of Intelligent Information Systems, 8(2):117-132, 1997.
15. M.R. Genereseth, A.M. Keller, and O.M. Duschka. Infomaster: An information integration system. In Proc. of ACM SIGMOD, pages 539-542, 1997.
16. F. Goasdoue, V. Lattes, and M.-C. Rousset. The use of CARIN language and algorithms for information integration: The Picsel system. Int. J. of Cooperative Information Systems, 9(4):383-401, 2000.
17. V. Haarslev, R. Möller, and M. Wessel. Description logic inference technology: Lessions learned in the trenches. In Proc. of DL 2005, volume 147 of CEUR, ceur-ws.org, 2005.
18. U. Hustadt, B. Motik, and U. Sattler. A decomposition rule for decision procedures by resolution-based calculi. In Proc. of LPAR 2004, pages 21-35, 2004.
19. U. Hustadt, B. Motik, and U. Sattler. Reasoning in description logics by a reduction to Disjunctive Datalog. J. of Automated Reasoning, 39(3):351-384, 2007.
20. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev. The combined approach to query answering in DL-Lite. In Proc. of KR 2010, 2010.
21. D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D.F. Savo. Inconsistency-tolerant semantics for description logics. In Proc. of RR 2010, 2010.
22. M. Lenzerini. Data integration: A theoretical perspective. In Proc. of PODS 2002, pages 233-246, 2002.
23. A.Y. Levy, A. Rajaraman, and J.J. Ordille. Querying heterogenous information sources using source descriptions. In Proc. of VLDB'96, 1996.
24. H. Pérez-Urbina, B. Motik, and I. Horrocks. A comparison of query rewriting techniques for DL-lite. In Proc. of DL 2009, volume 477 of CEUR, ceur-ws.org, 2009.
25. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking data to ontologies. J. on Data Semantics, X:133-173, 2008.
26. R. Rosati and A. Almatelli. Improving query answering over DL-Lite ontologies. In Proc. of KR 2010, 2010.
27. D.F. Savo, D. Lembo, M. Lenzerini, A. Poggi, M. Rodríguez- Muro, V. Romagnoli, M. Ruzzi, and G. Stella. MASTRO at work: Experiences on ontology-based data access. In Proc. of DL 2010, volume 573 of CEUR, ceur-ws.org, pages 20-31, 2010.
28. R. Shearer, B. Motik, and I. Horrocks. HermiT: A highlyefficient OWL reasoner. In Proc. of OWLED 2008, volume 432 of CEUR, ceur-ws.org, 2008.
29. E. Sirin and B. Parsia. Pellet: An OWL DL reasoner. In Proc. of DL 2004, volume 104 of CEUR, ceur-ws.org, 2004.
30. M. Stocker and M. Smith. Owlgres: A scalable OWL reasoner. In Proc. of OWLED 2008, volume 432 of CEUR, ceur-ws.org, 2008.
31. M. Tork Roth, M. Arya, L.M. Haas, M.J. Carey, W.F. Cody, R. Fagin, P.M. Schwarz, J.T. II, and E.L.Wimmers. The Garlic project. In Proc. of ACM SIGMOD, page 557, 1996.
32. D. Tsarkov and I. Horrocks. FaCT++ description logic reasoner: System description. In Proc. of IJCAR 2006, pages 292-297, 2006.