Report on querying the combined metamodel

The MOST artefact integration technology will allow for managing software development, ontology-based validation and knowledge management in an integrated platform. After providing a unied view of metamodels and addressing the integration of modelling languages in MOST Deliverable D1.1, this deliverable describes a querying solution to support developers in querying and transforming integrated models. We elicit the requirements for such a solution, analyse existing approaches, describe our solution and validate it according to the requirements

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

[2]  Jürgen Ebert,et al.  GUPRO - Generic Understanding of Programs , 2002, Electron. Notes Theor. Comput. Sci..

[3]  Steffen Staab,et al.  Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy , 2008, Modellierung.

[4]  Werner Nutt,et al.  An Epistemic Operator for Description Logics , 1998, Artif. Intell..

[5]  Mark Richters,et al.  A precise approach to validating UML models and OCL constraints , 2002 .

[6]  Boris Motik,et al.  Bridging the gap between OWL and relational databases , 2009, J. Web Semant..

[7]  François Scharffe,et al.  SPARQL++ for Mapping Between RDF Vocabularies , 2007, OTM Conferences.

[8]  Boris Motik,et al.  Closed World Reasoning in the Semantic Web through Epistemic Operators , 2005, OWLED.

[9]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.

[10]  Peter Fettke,et al.  Model Driven Architecture (MDA) , 2003, Wirtsch..

[11]  Achim D. Brucker,et al.  A Proposal for a Formal OCL Semantics in Isabelle/HOL , 2002, TPHOLs.

[12]  Kevin E. Kline,et al.  SQL in a Nutshell , 2000 .

[13]  Jeff Z. Pan,et al.  OWL FA: a metamodeling extension of OWL D , 2006, WWW '06.

[14]  Steffen Staab,et al.  TwoUse: Integrating UML models and OWL ontologies , 2007 .

[15]  Johanna Völker,et al.  A Metamodel for Annotations of Ontology Elements in OWL DL , 2006, WoMM.

[16]  Jianwen Su,et al.  Incremental maintenance of recursive views using relational calculus/SQL , 2000, SGMD.

[17]  Moshe Y. Vardi.  The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[18]  Fernando Silva Parreiras,et al.  Report on the Combined Metamodel , 2008 .

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

[20]  Jianwen Su,et al.  Maintaining Transitive Closure of Graphs in SQL , 1999 .

[21]  Octavian Patrascoiu,et al.  OCL 2.0 - Implementing the Standard for Multiple Metamodels , 2004, Electron. Notes Theor. Comput. Sci..

[22]  Krysia Broda,et al.  Mapping UML Models incorporating OCL Constraints into Object-Z , 2003 .

[23]  Achim D. Brucker,et al.  The HOL-OCL Book , 2006 .

[24]  Alan Shalloway,et al.  Design Patterns Explained: A New Perspective on Object-Oriented Design (2nd Edition) (Software Patterns Series) , 2004 .