A Timing Analysis Model for Ontology Evolutions Based on Distributed Environments
In order to reuse and assess ontologies, it is critical for ontology engineers to represent and manage ontology versioning and evolutions. In this paper, we propose a timing analysis model for ontology evolution management with more expressive time constraints in a distributed environment. In the model, a timing change operation sequence is called a timing evolution behavior that must satisfy all of the time constraints in a distributed environment. Using this timing analysis model, we can detect whether ontology evolutions are timing consistent in the distributed environment. Given a timing change operation sequence, we also can detect whether it is a timing evolution behavior of the distributed environment. All of these detections can be reduced to detecting whether the group of inequations has solutions. This enables us to better manage dynamic versioning and evolutions of distributed ontologies. We also developed a prototype system called TEAM that can perform our timing analysis task of distributed ontology evolutions.
KeywordsEvolution Behavior Ontology Evolution Single Context Ontology Engineer Ontology Change
Unable to display preview. Download preview PDF.
- 1.Neches, R., et al.: Enabling Technology for Knowledge Sharing. AI Magazine 12(3), 36–56 (1991)Google Scholar
- 6.Ehrig, M., Staab, S.: QOM - Quick Ontology Mapping. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 683–696. Springer, Heidelberg (2004)Google Scholar
- 7.Compatangelo, E., Vasconcelos, W., Scharlau, B.: Managing Ontology Versions with A Distributed Blackboard Architecture. In: Proceedings of the 24th Int Conf. of the British Computer Societys Specialist Group on Artificial Intelligence (AI2004), Springer, Heidelberg (2004)Google Scholar
- 9.Clarke, E.M., et al.: Model Checking. MIT Press, Cambridge (1999)Google Scholar
- 10.LINDO System INC. LINDO System API 4.1 (2006), http://lindo.com/products/api/dllm.html