On marrying ontological and metamodeling technical spaces

In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/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 meta modeling technical spaces.

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

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

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

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

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

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

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

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

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

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

[11]  Leo Apostel,et al.  Towards the formal study of models in the non-formal sciences , 1960, Synthese.

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

[13]  QVT Partners.  Initial submission for MOF 2.0 Query / Views / Transformations RFP , 2003 .

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

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

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

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

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

[19]  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.

[20]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[21]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[22]  Deborah McGuinness,et al.  The Model Driven Semantic Web , 2004 .

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

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

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

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

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

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

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

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

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

[32]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

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

[34]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

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

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

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

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

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

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

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

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

[43]  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).