On marrying ontological and metamodeling technical spaces

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 439-448

  Parreiras, Fernando Silva ^a   Staab, Steffen ^a   Winter, Andreas ^b  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^b JOHANNES GUTENBERG UNIVERSITY   (Germany)

Author keywords

Meta modeling; Model driven engineering; Ontology

Indexed keywords

META MODELING; MODEL DRIVEN ENGINEERING; ART RESEARCHES; DOMAIN ANALYSES; DOMAIN MODELS; LOGIC LANGUAGES; ONTOLOGY TECHNOLOGIES; SEMANTIC WEB STANDARDS; SOFTWARE VALIDATIONS; WEB ONTOLOGY LANGUAGES;

COMPUTER AIDED DESIGN; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTIC WEB; SOFTWARE ENGINEERING; ENGINEERING; INFORMATION THEORY; LINGUISTICS; MODELS; QUERY LANGUAGES; SOFTWARE DESIGN;

ONTOLOGY;

EID: 57149132486     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287687     Document Type: Conference Paper

References (50)

1. MOF 2.0 Query/Views/Transformations RFP, October 2002.
2. J. Angele and G. Lausen. Ontologies in F-logic. In Handbook on Ontologies, pages 29-50. 2004.
3. L. Apostel. Towards the formal study of models in a non formal science. Synthese, 12:125-161, 1960.
4. C. Atkinson and T. Kühne. Model-Driven Development: A Metamodeling Foundation. IEEE Software, (5):36-41, September/October 2003.
5. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
6. K. Baclawski, M. M. Kokar, P. A. Kogut, L. Hart, J. E. Smith, J. Letkowski, and P. Emery. Extending the unified modeling language for ontology development. Software and System Modeling, 1(2):142-156, 2002.
7. D. Berardi, D. Calvanese, and G. D. Giacomo. Reasoning on UML class diagrams. Artif. Intell., 168(1):70-118, 2005.
8. J. Bézivin. On the unification power of models. Software and System Modeling, 4(2): 171-188, 2005.
9. J. Bézivin, G. Dupé, F. Jouault, G. Pitette, and J. Rougui. First experiments with the ATL Model transformation language: Transforming XSLT into XQuery. In OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture. 2003.
10. A. Billig, S. Busse, A. Leicher, and J. G. Süss. Platform independent model transformation based on TRIPLE. In Middleware '04, pages 493-511. Springer, 2004.
11. S. Brinkkemper. Method Engineering: Engineering of Information Systems Developement Methods and Tools. Information & Software Technology, 38(4):275-280, 1996.
12. S. Brockmans, R. Volz, A. Eberhart, and P. Löffler. Visual modeling of OWL DL ontologies using UML. In Proc. of ISWC 2004, pages 198-213, 2004.
13. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, pages 602-607, 2005.
14. S. Cranefield and M. K. Purvis. UML as an ontology modelling language. In Intelligent Information Integration, volume 23 of CEUR Workshop Proceedings, 1999.
15. K. Czarnecki and S. Helsen. Classification of model transformation approaches. Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, 2003.
16. S. Decker, M. Sintek, A. Billig, N. Henze, P. Dolog, W. Nejdl, A. Harth, A. Leicher, S. Busse, J. L. Ambite, M. Weathers, G. Neumann, and U. Zdun. TRIPLE - an RDF rule language with context and use cases. In Rule Languages for Interoperability, 2005.
17. D. Djurić, D. Gašević, V. Devedžić, and V. Damjanovic. A UML profile for OWL ontologies. In MDAFA, pages 204-219, 2004.
18. K. Falkovych, M. Sabou, and H. Stuckenschmidt. Uml for the semantic web: Transformation-based approaches. In Knowledge Transformation for the Semantic Web, pages 92-106. 2003.
19. R. Fikes, P. Hayes, and I. Horrocks. OWL-QL: A language for deductive query answering on the semantic web. Technical Report KSL 03-14, Stanford University, Stanford, CA, 2003.
20. D. Frankel, P. Hayes, E. Kendall, and D. McGuinness. The model driven semantic web. In 1st International Workshop on the Model-Driven Semantic Web (MDSW2004), Monterey, California, USA, 2004.
21. D. Gašević, D. Djurić, and V. Devedžić . MDA-based automatic OWL ontology development. Int. J. Softw. Tools Technol. Transf., 9(2):103-117, 2007.
22. P. Haase, J. Broekstra, A. Eberhart, and R. Volz. A comparison of rdf query languages. In Proc. of ISWC 2004, Hiroshima, Japan, 2004.
23. G. Kappel, E. Kapsammer, H. Kargl, G. Kramler, T. Reiter, W. Retschitzegger, W. Schwinger, and M. Wimmer. Lifting metamodels to ontologies: A step to the semantic integration of modeling languages. In Proc. of MoDELS 2006, volume 4199 of LNCS, pages 528-542. Springer, 2006.
24. A. G. Kleppe, J. B. Warmer, and W. Bast. MDA Explained, The Model Driven Architecture: Practice and Promise. Addison-Wesley, Boston, 2002.
25. H. Knublauch, D. Oberle, P. Tetlow, and E. Wallace. A semantic web primer for object-oriented software developers. W3c working group note, W3C, Mar. 2006.
26. A. Kubias, S. Schenk, S. Staab, and J. Z. Pan. OWL SAIQL - an OWL DL query language for ontology extraction. In Proc. of OWLED-07, 2007.
27. B. Kullbach and A. Winter. Querying as an Enabling Technology in Software Reengineering. In Proc. of CSMR 1999. IEEE Computer Society.
28. I. Kurtev, J. Bézivin, and M. Aksit. Technological spaces: An initial appraisal. In CoopIS, DOA '2002 Federated Conferences, Industrial track, Irvine, 2002.
29. J. W. Lloyd. Foundations of logic programming; (2nd extended ed.). Springer, New York, NY, USA, 1987.
30. D. L. Mcguinness and F. van Harmelen. OWL web ontology language overview, February 2004.
31. J. Miller and J. Mukerji. Mda guide version 1.0.1. Technical report, OMG, 2003.
32. B. Motik, I. Horrocks, and U. Sattler. Bridging the gap between OWL and relational databases. In Proc. of WWW '07, pages 807-816. ACM Press, 2007.
33. B. Motik and R. Rosati. A faithful integration of description logics with logic programming. In M. M. Veloso, editor, IJCAI, pages 477-482, 2007.
34. B. Motik, U. Sattler, and R. Studer. Query answering for owl-dl with rules. Journal of Web Semantics, 3(1):41-60, 2005.
35. D. Oberle, A. Eberhart, S. Staab, and R. Volz. Developing and managing software components in an ontology-based application server. In Proc. of Middleware-04, pages 459-477, 2004.
36. OMG. Meta Object Facility (MOF) Specification. Object Modeling Group, 2000.
37. OMG. MOF QVT Final Adopted Specification. Object Modeling Group, June 2005.
38. OMG. Object Constraint Language Specification, version 2.0. Object Modeling Group, June 2005.
39. OMG. Ontology Definition Metamodel. Object Modeling Group, August 2005.
40. OMG. Unified Modeling Language: Superstructure, version 2.1.1. Object Modeling Group, February 2007.
41. E. Prud'hommeaux and A. Seaborne. SPARQL query language for RDF (working draft). Technical report, W3C, March 2007.
42. A. L. Rector, N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang, and C. Wroe. OWL pizzas: Practical experience of teaching OWL-DL: Common errors & common patterns. In Proc. of EKAW 2004, pages 63-81, 2004.
43. S. Roser and B. Bauer. An approach to automatically generated model transformations using ontology engineering space. In Proceedings of Workshop on Semantic Web Enabled Software Engineering (SWESE), Athens, GA, U.S.A., 2006.
44. F. Silva Parreiras, S. Staab, and A. Winter. TwoUse: Integrating UML models and OWL ontologies. Technical Report 16/2007, Universität Koblenz-Landau, Fachbereich Informatik, 4 2007.
45. S. Staab, R. Studer, H.-P. Schnurr, and Y. Sure. Knowledge processes and ontologies. IEEE Intelligent Systems, 16(1):26-34, 2001.
46. R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logic to maintain consistency between UML models. In Proc. of UML 2003, volume 2863 of LNCS, pages 326-340. Springer, 2003.
47. G. Taentzer. AGG: A graph transformation environment for modeling and validation of software. In Second International Workshop AGTIVE 2003, volume 3062 of LNCS, pages 446 - 453. Springer, 2004.
48. P. Tetlow, J. Z. Pan, D. Oberle, E. Wallace, M. Uschold, and E. Kendall. Ontology driven architectures and potential uses of the semantic web in systems and software engineering. W3C Working Draft Working Group Note 2006/02/11, W3C, 03 2006.
49. W3C. Resource description framework (rdf). http://www.w3.org/RDF/, 2004.
50. E. D. Willink. UMLX: A graphical transformation language for MDA. In A. Rensink, editor, TR-CTIT-03-27, pages 13-24, Enschede, 2003.