Detecting Dirty Queries during Iterative Development of OWL Based Applications

Incremental/iterative development is often considered to be the best approach to develop large scale information management applications. In an application using an ontology as a central component at design and/or runtime (ontology based system) that is built using this approach, the ontology itself might be constantly modified to satisfy new and changing requirements. Since many other artifacts, e.g., queries, inter-component message formats, code, in the application are dependent on the ontology definition, changes to it necessitate changes to other artifacts and thus might prove to be very expensive. To alleviate this, we address the specific problem of detecting the SPARQL queries that need to be modified due to changes to an OWL ontology (T-Box). Our approach is based on a novel evaluation function for SPARQL queries, which maps a query to the extensions of T-Box elements. This evaluation is used to match the query with the semantics of the changes made to the ontology to determine if the query is dirty - i.e., needs to be modified. We present an implementation of the technique, integrated with a popular ontology development environment and provide an evaluation of our technique on a real-life as well as benchmark applications.

[1]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[2]  Ljiljana Stojanovic,et al.  Methods and tools for ontology evolution , 2004 .

[3]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[4]  Michel C. A. Klein,et al.  Tracking Changes During Ontology Evolution , 2004, SEMWEB.

[5]  Harith Alani,et al.  Enabling Active Ontology Change Management within Semantic Web-based Applications. Mini-thesis: PhD upgrade report , 2006 .

[6]  Robert Meersman,et al.  On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE , 2003, Lecture Notes in Computer Science.

[7]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

[8]  Bijan Parsia,et al.  SPARQL-DL: SPARQL Query for OWL-DL , 2007, OWLED.

[9]  Marcelo Arenas,et al.  Semantics and complexity of SPARQL , 2006, TODS.

[10]  Mark A. Musen,et al.  Promptdiff: a fixed-point algorithm for comparing ontology versions , 2002, AAAI/IAAI.

[11]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[12]  Robert C. Martin Agile Software Development, Principles, Patterns, and Practices , 2002 .

[13]  Leon G. Higley,et al.  Forensic Entomology: An Introduction , 2009 .

[14]  Viktor K. Prasanna,et al.  Semantic web technologies for smart oil field applications , 2008 .

[15]  Stephen R. Gardner Building the data warehouse , 1998, CACM.

[16]  Steffen Staab,et al.  Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web , 2008, WWW.

[17]  Scott Ambler,et al.  Agile Database Techniques: Effective Strategies for the Agile Software Developer , 2003 .

[18]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[19]  W. H. Inmon,et al.  Building the Data Warehouse,3rd Edition , 2002 .

[20]  Michel C. A. Klein,et al.  Change Management for Distributed Ontologies , 2004 .

[21]  Steffen Staab,et al.  Incremental Maintenance of Materialized Ontologies , 2003, OTM.

[22]  I. Horrocks,et al.  A Tableau Decision Procedure for $\mathcal{SHOIQ}$ , 2007, Journal of Automated Reasoning.

[23]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[24]  Miltiadis D. Lytras,et al.  The Semantic Web: Real-World Applications from Industry , 2007, The Semantic Web: Real-World Applications from Industry.

[25]  Marcelo Arenas,et al.  Semantics and Complexity of SPARQL , 2006, International Semantic Web Conference.

[26]  Olga De Troyer,et al.  Understanding ontology evolution: A change detection approach , 2007, J. Web Semant..

[27]  Li Ma,et al.  Towards a Complete OWL Ontology Benchmark , 2006, ESWC.