MASTRO: A Reasoner for Effective Ontology-Based Data Access

In this paper we present Mastro, a Java tool for ontologybased data access (OBDA) developed at Sapienza Universita di Roma. Mastro manages OBDA systems in which the ontology is specified in a logic of the DL-Lite family of Description Logics specifically tailored to ontology-based data access, and is connected to external data management systems through semantic mappings that associate SQL queries over the external data to the elements of the ontology. Advanced forms of integrity constraints, which turned out to be very useful in practical applications, are also enabled over the ontologies. Optimized algorithms for answering expressive queries are provided, as well as features for intensional reasoning and consistency checking. Mastro has been successfully used in several projects carried out in collaboration with important organizations, on which we briefly comment in this paper.

[1]  Carsten Lutz,et al.  The Combined Approach to Query Answering in DL-Lite , 2010, KR.

[2]  Joann J. Ordille,et al.  Data integration: the teenage years , 2006, VLDB.

[3]  Diego Calvanese,et al.  EQL-Lite: Effective First-Order Query Processing in Description Logics , 2007, IJCAI.

[4]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[5]  Maurizio Lenzerini,et al.  Mastro at Work: Experiences on Ontology-Based Data Access , 2010, Description Logics.

[6]  Volker Haarslev,et al.  Description Logic Inference Technology: Lessions Learned in the Trenches , 2005, Description Logics.

[7]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[8]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[9]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[10]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[11]  Diego Calvanese,et al.  Path-Based Identification Constraints in Description Logics , 2008, KR.

[12]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[13]  Boris Motik,et al.  A Comparison of Query Rewriting Techniques for DL-lite , 2009, Description Logics.

[14]  Giorgio Orsi,et al.  Semantic data markets: a flexible environment for knowledge management , 2011, CIKM '11.

[15]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[16]  Domenico Lembo,et al.  Ontology-based Data Integration with MASTRO-I for Configuration and Data Management at SELEX Sistemi Integrati , 2008, SEBD.

[17]  Boris Motik,et al.  HermiT: A Highly-Efficient OWL Reasoner , 2008, OWLED.

[18]  Diego Calvanese,et al.  High Performance Query Answering over DL-Lite Ontologies , 2012, KR.

[19]  Antonella Poggi,et al.  When DL-Lite met OWL , 2008, OWLED.

[20]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[21]  Markus Stocker,et al.  Owlgres: A Scalable OWL Reasoner , 2008, OWLED.

[22]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions , 2012, Description Logics.

[23]  Riccardo Rosati,et al.  Improving Query Answering over DL-Lite Ontologies , 2010, KR.