On marrying ontological and metamodeling technical spaces

In software engineering, the use of models and metamodeling approaches (e.g., MDA withMOF/UML) for purposes such as software design or software validation is an established practice. Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules. Hence, when seen from an abstract point of view, the two paradigms and their various technological spaces seem closely related. However, in the state-of-the-art research and practice the two technologies are just beginning to converge and the relationship between the two is still under exploration. In this paper, we give an outline of current ontology technologies, such as the Semantic Web standards for a Web Ontology Language (OWL). Then, we describe a domain analysis of the different technical spaces, explaining the features of the different paradigms. Eventually, we describe some avenues for integrating various ontological technical spaces into metamodeling technical spaces.

[1]  L. Apostel.  Towards the formal study of models in the non-formal sciences , 1960, Synthese.

[2]  Georg Lausen,et al.  Ontologies in F-logic , 2004, Handbook on Ontologies.

[3]  Steffen Staab,et al.  OWL SAIQL - An OWL DL Query Language for Ontology Extraction , 2007, OWLED.

[4]  Gerti Kappel,et al.  Lifting metamodels to ontologies: a step to the semantic integration of modeling languages , 2006, MoDELS'06.

[5]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[6]  Steffen Staab,et al.  Developing and Managing Software Components in an Ontology-based Application Server , 2004, WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web.

[7]  Vladan Devedzic,et al.  MDA-based Automatic OWL Ontology Development , 2006, International Journal on Software Tools for Technology Transfer.

[8]  Boris Motik,et al.  Bridging the gap between OWL and relational databases , 2007, WWW '07.

[9]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[10]  Martin K. Purvis,et al.  UML as an Ontology Modelling Language , 1999, Intelligent Information Integration.

[11]  Heiner Stuckenschmidt,et al.  UML for the Semantic Web: Transformation-Based Approaches , 2003, Knowledge Transformation for the Semantic Web.

[12]  Andreas Harth,et al.  TRIPLE - an RDF Rule Language with Context and Use Cases , 2005, Rule Languages for Interoperability.

[13]  Raphael Volz,et al.  A Comparison of RDF Query Languages , 2004, SEMWEB.

[14]  Jean Bézivin,et al.  Technological Spaces: An Initial Appraisal , 2002 .

[15]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[16]  Andreas Winter,et al.  Querying as an enabling technology in software reengineering , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).

[17]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[18]  Ian Horrocks,et al.  OWL-QL - a language for deductive query answering on the Semantic Web , 2004, J. Web Semant..

[19]  Jean Bézivin,et al.  First experiments with the ATL model transformation language: Transforming XSLT into XQuery , 2003 .

[20]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[21]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[22]  Steffen Staab,et al.  Knowledge Processes and Ontologies , 2001, IEEE Intell. Syst..

[23]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[24]  Boris Motik,et al.  A Faithful Integration of Description Logics with Logic Programming , 2007, IJCAI.

[25]  Stephan Roser,et al.  An Approach to Automatically Generated Model Transformation Using Ontology Engineering Space , 2006 .

[26]  Jörn Guy Süß,et al.  Platform Independent Model Transformation Based on Triple , 2004, Middleware.

[27]  Patrick Emery,et al.  Extending the Unified Modeling Language for ontology development , 2002, Software and Systems Modeling.

[28]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[29]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[30]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[31]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

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

[33]  Edward D. Willink.  UMLX : A graphical transformation language for MDA , 2003 .

[34]  Raphael Volz,et al.  Visual Modeling of OWL DL Ontologies Using UML , 2004, International Semantic Web Conference.

[35]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[36]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[37]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[38]  Vladan Devedzic,et al.  A UML Profile for OWL Ontologies , 2004, MDAFA.

[39]  Sjaak Brinkkemper,et al.  Method engineering: engineering of information systems development methods and tools , 1996, Inf. Softw. Technol..

[40]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.