A Pi-Calculus Based Ontology Change Management

  • Meiling Wang
  • Lei Liu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4185)


Based on the pi-calculus, this paper proposes a kind of ontology process model used for solving the change implementation and propagation problems of ontology evolution process. This solution is discussed at three levels: the change implementation of single ontology evolution, the push-based synchronization realization for the change propagation in the evolution of multiple dependent ontologies within a single node, and the pull-based synchronization realization for the change propagation of the distributed ontologies evolution.


Model Transformation Change Propagation Change Operation Ontology Evolution Mobile Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fensel, D.: Ontologies: dynamics networks of meaning. In: Proceedings of the 1st Semantic web working symposium, Stanford, CA, USA (2001)Google Scholar
  2. 2.
    Klein, M., Fensel, D.: Ontology versioning for the SemanticWeb. In: Proceedings of International Semantic Web Working Symposium, USA (2001)Google Scholar
  3. 3.
    Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe (2004)Google Scholar
  4. 4.
    Stojanovic, L., Mädche, A., Motik, B., Stojanovic, N.: Userdriven ontology evolution management. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol. 2473, pp. 285–300. Springer, Heidelberg (2002)Google Scholar
  5. 5.
    Nestmann, U., Victor, B.: Calculi for mobile processes: Bibliography and web pages. Bulletin of the EATCS 64, 139–144 (1998)Google Scholar
  6. 6.
    Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)zbMATHGoogle Scholar
  7. 7.
    Haase, P., Stojanovic, L.: Consistent Evolution of OWL Ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182–197. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Alexander, M., Boris, M., Ljiljana, S.: Managing multiple and distributed ontologies in the semantic web. VLDB Journal 12(4), 286–302 (2003)CrossRefGoogle Scholar
  9. 9.
    Bhide, M., Deoasee, P., Katkar, A., Panchbudhe, A., Ramamritham, K.: Adaptive push-pull: disseminating dynamic Web data. IEEE. Trans. Comput. 51(6), 652–668 (2002)CrossRefGoogle Scholar
  10. 10.
    Pierre, G., van Steen, M.: Dynamically selecting optimal distributing strategies on Web documents. IEEE Trans. Comput. 51(6), 637–651 (2002)CrossRefGoogle Scholar
  11. 11.
    Ceravolo, P., Corallo, A., Elia, G., Zilli, A.: Managing Ontology Evolution Via Relational Constraints. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS, vol. 3215, pp. 335–341. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Michel, K., Atanas, K., Damyan, O., Dieter, F.: Finding and characterizing changes in ontologies. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 79–89. Springer, Heidelberg (2002)Google Scholar
  13. 13.
    Stojanovic, L., Maedche, A., Stojanovic, N., Studer, R.: Ontology evolution as reconfiguration-design problem solving. In: Proceedings of the 2nd International Conference on Knowledge Capture (KCAP 2003), Sanibel, Florida, October 2003, pp. 162–171. ACM, New York (2003)CrossRefGoogle Scholar
  14. 14.
    Jin, L., Liu, L., Yang, D.: A Model Transformation Based Conceptual Framework for Ontology Evolution. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS, vol. 3681, pp. 325–331. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Lin, H.: A verification tool for value-passing process algebras. In: IFIP Transactions C-16: Protocol Specification, Testing and Verification, pp. 79–92. North-Holland, Amsterdam (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Meiling Wang
    • 1
  • Lei Liu
    • 1
  1. 1.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education of P.R. China, College of Computer Science and TechnologyJilin UniversityChangchunP.R. China

Personalised recommendations