Integrating Ontological Domain Knowledge into a Robotic DSL

Coming from the Artificial Intelligence (AI) and Semantic Web (SW) circles, ontologies are used mainly to represent domains. The Model Driven Engineering (MDE) field gave birth to Domain Specific Languages to represent a particular technical domain. Abstracting from their uses, we consider as many others researchers that ontologies and models are closer than their original fields could get to think. Furthermore, their building or development are facing the same problems. They are costly and need experts' interviews in order to grasp specific knowledge and structure it. Likewise, ontologies and DSL can benefit from each other domains in reusing construction methodologies and even reusing knowledge modelled in another format. In this paper we first present the ontologies and DSL definition we use and some methodologies of development enabling the reuse of knowledge (as alignment, fusion). We then present how we propose to reuse the knowledge of a robotic ontology to develop robotic DSLs within the PROTEUS project in order to inject readymade domain information to the DSL.

[1]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[2]  Andy Schürr,et al.  A Comparison of Standard Compliant Ways to Define Domain Specific Languages , 2008, MoDELS.

[3]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[4]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[5]  Steffen Staab,et al.  OntoDSL: An Ontology-Based Framework for Domain-Specific Languages , 2009, MoDELS.

[6]  Martin Fowler,et al.  Domain-Specific Languages , 2010, The Addison-Wesley signature series.

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

[8]  Vladan Devedzic,et al.  Bridging MDA and OWL Ontologies , 2005, J. Web Eng..

[9]  Johanna Völker,et al.  A Framework for Ontology Learning and Data-driven Change Discovery , 2005 .

[10]  Ana Regina Cavalcanti da Rocha,et al.  A Systematic Approach for Building Ontologies , 1998, IBERAMIA.

[11]  Birger Andersson,et al.  Natural Language Processing and Information Systems , 2003, Lecture Notes in Computer Science.

[12]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[13]  Brice Morin,et al.  Weaving Variability into Domain Metamodels , 2009, MoDELS.

[14]  Jean Bézivin.  Sur les principes de base de l'ingénierie des modèles , 2004, Obj. Logiciel Base données Réseaux.

[15]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[16]  Philippe Kruchten,et al.  What Is the Rational Unified Process ? , 2001 .

[17]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[18]  Oscar Pastor,et al.  Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles , 2009, CAiSE.

[19]  Jeffrey G. Gray,et al.  Using Ontologies in the Domain Analysis of Domain-Specific Languages , 2009, TWOMDE@MoDELS.

[20]  Nicola Guarino,et al.  Editorial: The role of formal ontology in the information technology , 1995, Int. J. Hum. Comput. Stud..

[21]  Steffen Staab,et al.  Annotation for the semantic web , 2003 .

[22]  Ivan Kurtev.  Metamodels: definitions of structures or ontological commitments? , 2007 .

[23]  Helder Coelho.  Progress in Artificial Intelligence — IBERAMIA 98 , 2003, Lecture Notes in Computer Science.

[24]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[25]  Sylvie Szulman,et al.  TERMINAE: A Linguistic-Based Tool for the Building of a Domain Ontology , 1999, EKAW.

[26]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[27]  Theo Tryfonas,et al.  Frontiers in Artificial Intelligence and Applications , 2009 .

[28]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[29]  Jürgen Ebert,et al.  Combining DSLs and Ontologies Using Metamodel Integration , 2009, DSL.

[30]  Richard Lemesle,et al.  Transformation rules based on meta-modeling , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[31]  Giancarlo Guizzardi,et al.  On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models , 2007, DB&IS.

[32]  Philipp Cimiano,et al.  Ontology Learning from Text: Methods, Evaluation and Applications , 2005 .

[33]  Thomas R. Gruber,et al.  A Translation Approach to Portable Ontologies , 1993 .

[34]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[35]  Deborah L. McGuinness,et al.  The Role of Frame-Based Representation on the Semantic Web , 2001 .