Using graph transformation to support collaborative ontology evolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5088 LNCS, Issue , 2008, Pages 44-58

  De Leenheer, Pieter ^a   Mens, Tom ^b  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b UNIVERSITY OF MONS   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY;

COLLABORATIVE ONTOLOGY; CONTEXT DEPENDENCY; CRITICAL PAIR ANALYSIS; EVOLUTION PROCESS; GRAPH TRANSFORMATION; HUMAN EXPERT; NEGOTIATION PROCESS; OUT-OF-CONTROL;

GRAPH THEORY;

EID: 56749132380     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89020-1_4     Document Type: Conference Paper

References (29)

1. Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3-4), 241-265 (1996)
2. de Lara, J., Vangheluwe, H.: ATOM3́: A tool for multi-formalism and metamodelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174-188. Springer, Heidelberg (2002)
3. De Leenheer, P., Mens, T.: Ontology Evolution: State of the Art and Future Directions. In: Ontology Management for the Semantic Web, Semantic Web Services, and Business Applications. Springer, Heidelberg (2008)
4. de Moor, A., De Leenheer, P., Meersman, R.: DOGMA-MESS: A meaning evolution support system for interorganizational ontology engineering. In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds.) ICCS 2006. LNCS (LNAI), vol. 4068, pp. 189-203. Springer, Heidelberg (2006)
5. Ermel, C., Ehrig, K., Taentzer, G., Weiss, E.: Object-oriented and rule-based design of visual languages using tiger. In: Proc. workshop on Graph-Based Tools (GraBaTs). Electronic Communications of the EASST, vol. 1 (2006)
6. Falkenberg, E.D.: Frisco: A framework of information system concepts. Technical report, IFIP WG 8.1 Task Group (1998)
7. Gruber, T.: Cyc: a translation approach to portable ontologies. Knowledge Acquisition 5(2), 199-220 (1993)
8. Guarino, N.: Formal ontology and information systems. In: Proc. of FOIS 1998, pp. 3-15. IOS Press, Amsterdam (1998)
9. Heckel, R.: Algebraic graph transformations with application conditions. Master's thesis, Technische Universität Berlin (1995)
10. Heckel, R., Küster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161-176. Springer, Heidelberg (2002)
11. Heer, T., Retkowitz, D., Kraft, B.: Algorithm and tool for ontology integration based on graph rewriting. In: Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE), Wilhelmshöhe, Kassel, Germany, pp. 484-490 (2007)
12. Hepp, M., De Leenheer, P., de Moor, A., Sure, Y. (eds.): Ontology Management for the Semantic Web, Semantic Web Services, and Business Applications. Springer, Heidelberg (2008)
13. Jurack, S., Taentzer, G.: ROOTS: An Eclipse plug-in for graph transformation systems based on AGG. In: Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE), pp. 491-496 (2007)
14. Koehler, J., Gschwind, T., Küster, J.: Combining quality assurance and model transformations in business-driven development. In: Proc.of Agtive 2007. Springer, Heidelberg (2007)
15. De Leenheer, P., de Moor, A., Meersman, R.: Context dependency management in ontology engineering: a formal approach. LNCS Journal on Data Semantics 8, 26-56 (2007)
16. De Leenheer, P., Meersman, R.: Towards community-based evolution of knowledge-intensive systems. In: Proc.of ODBASE 2007. Springer, Heidelberg (2007)
17. Meersman, R.: The use of lexicons and other computer-linguistic tools in semantics, design and cooperation of database systems. In: Proc.of CODAS 1999, pp. 1-14. Springer, Heidelberg (1999)
18. Mens, T.: A Formal Foundation for Object-Oriented Software Evolution. PhD thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium (September 1999)
19. Mens, T.: Conditional graph rewriting as a domain-independent formalism for soft-ware evolution. In: Münch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 127-143. Springer, Heidelberg (2000)
20. Mens, T., Demeyer, S. (eds.): Software Evolution. Springer, Heidelberg (2008)
21. Mens, T., Taentzer, G., Runge, O.: Analyzing refactoring dependencies using graph transformation. Software and Systems Modeling (2007)
22. Mens, T., Van Der Straeten, R.: Incremental resolution of model inconsistencies. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 111-127. Springer, Heidelberg (2007)
23. Mens, T., Van Der Straeten, R., D'Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 200-214. Springer, Heidelberg (2006)
24. Minas, M.: Generating meta-model-based freehand editors. In: Proc. Int'l Workshop Graph-Based Tools (GraBaTs), Natal, Brazil. Electronic Communications of the EASST (September 2006)
25. Minas, M., Viehstaedt, G.: DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In: Proc. IEEE Symp. Visual Languages, pp. 203-210 (1995)
26. Vrije Universiteit Brussel STAR.Lab. DOGMA Studio WorkBench (2007), http://www.starlab.vub.ac.be/website/dogmastudio
27. Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446-453. Springer, Heidelberg (2004)
28. Taentzer, G.: AGG (November 2007), http://tfs.cs.tu-berlin.de/agg
29. Taentzer, G., Schmutzler, R., Ermel, C.: Generating domain-specific model editors with complex editing commands. In: Schurr, A., Nagl, M., Zündorf, A. (eds.) Proceedings of AGTIVE 2007: Applications of Graph Transformations with Industrial Relevance, Wilhelmshöhe, Kassel, Germany (October 2007)