A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Fundamenta Informaticae - Special issue on graph transformations
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Ontology Management: Semantic Web, Semantic Web Services, and Business Applications (Semantic Web and Beyond)
Software Evolution
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Context dependency management in ontology engineering: a formal approach
Journal on data semantics VIII
Towards community-based evolution of knowledge-intensive systems
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
DOGMA-MESS: a meaning evolution support system for interorganizational ontology engineering
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Business semantics management: A case study for competency-centric HRM
Computers in Industry
| Hi-index | 0.00 |
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of-control evolution processes, proper context dependency management will allow human experts to focus on the meaning interpretation and negotiation processes. This requires support for the detection and resolution of meaning ambiguities and conflicts. In this article, we explore to which extent the theory of graph transformation can be used to support this activity. More specifically, we propose the use of critical pair analysis as a formal means to analyse conflicts between ontologies that are evolving in parallel. We illustrate this with an example from a realistic case study.