Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Neches, R., et al.: Enabling Technology for Knowledge Sharing. AI Magazine 12(3), 36–56 (1991)
Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems 16, 30–37 (2001)
Klein, M., et al.: Ontology Versioning and Change Detection on the Web. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 197–212. Springer, Heidelberg (2002)
Noy, N.F., Musen, M.A.: Ontology Versioning in an Ontology Management Framework. IEEE Intelligent System 19(4), 6–13 (2004)
Noy, N., et al.: The Prompt Suite: Interactive Tools for Ontology Mergin and Mapping. International Journal of Human-Computer Studies 59(6), 983–1024 (2003)
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)
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)
Huang, Z., Stuckenschmidt, H.: Reasoning with Multiversion Ontologies – A Temporal Logic Approach. In: Gil, Y., et al. (eds.) ISWC 2005. LNCS, vol. 3729, Springer, Heidelberg (2005)
Clarke, E.M., et al.: Model Checking. MIT Press, Cambridge (1999)
LINDO System INC. LINDO System API 4.1 (2006), http://lindo.com/products/api/dllm.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Ma, Y., Jin, B., Li, Y., Wu, K. (2007). A Timing Analysis Model for Ontology Evolutions Based on Distributed Environments. In: Zhou, ZH., Li, H., Yang, Q. (eds) Advances in Knowledge Discovery and Data Mining. PAKDD 2007. Lecture Notes in Computer Science(), vol 4426. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71701-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-71701-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71700-3
Online ISBN: 978-3-540-71701-0
eBook Packages: Computer ScienceComputer Science (R0)