A Description Method of Ontology Change Management Using Pi-Calculus

  • Meiling Wang
  • Longfei Jin
  • Lei Liu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4092)


In an open and dynamic environment, due to the changes in the application’s domain or the user’s requirements, the domain knowledge changes over time and ontology evolves continually. Pi-calculus is a kind of mobile process algebra which can be used for modeling concurrent and dynamic systems. Based on the pi-calculus, this paper proposes a kind of ontology process model used for solving the change implementation and propagation problems in 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.


Parallel Composition Process Algebra Change Operation Ontology Evolution Dependent Ontology 
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.
    Bussler, C., Fensel, D., Maedche, A.: A Conceptual Architecture for Semantic Web Enabled Web Services. SIGMOD Record 31(4), 24–29 (2002)CrossRefGoogle Scholar
  2. 2.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 2001(5) (2001), Available at:
  3. 3.
    Fensel, D.: Ontologies: dynamics networks of meaning. In: Proceedings of the 1st Semantic web working symposium, Stanford, CA, USA (2001)Google Scholar
  4. 4.
    Klein, M., Fensel, D.: Ontology versioning for the Semantic Web. In: Proceedings of International Semantic Web Working Symposium, USA (2001)Google Scholar
  5. 5.
    Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe (2004)Google Scholar
  6. 6.
    Stojanovic, L., Maedche, A., Motik, B., Stojanovic, N.: User-driven ontology evolution management. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol. 2473, pp. 285–300. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Liao, J., Tan, H., Liu, J.: Describing and Verifying Web Service Using Pi-Calculus. Chinese Journal Of Computer 28(4), 635–643 (2005)Google Scholar
  8. 8.
    Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)Google Scholar
  9. 9.
    Nestmann, U., Victor, B.: Calculi for mobile processes: Bibliography and web pages. Bulletin of the EATCS 64, 139–144 (1998)Google Scholar
  10. 10.
    Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)zbMATHGoogle Scholar
  11. 11.
    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
  12. 12.
    Alexander, M., Boris, M., Ljiljana, S.: Managing multiple and distributed ontologies in the semantic web. VLDB Journal 12(4), 286–302 (2003)CrossRefGoogle Scholar
  13. 13.
    Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)zbMATHGoogle Scholar
  14. 14.
    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
  15. 15.
    Pierre, G., van Steen, M.: Dynamically selecting optimal distributing strategies on Web documents. IEEE Trans Comput 51(6), 637–651 (2002)CrossRefGoogle Scholar
  16. 16.
    FZI Karlsruhe, and AIFB Karlsruhe. KAON The Karlsruhe Ontology and Semantic Web Framework. Developer’s Guide for KAON 1.2.7 (2004)Google Scholar
  17. 17.
    Michel, K.: Change Management for Distributed Ontologies. PhD thesis, Vrije Universiteit Amsterdam (2004)Google Scholar
  18. 18.
    Noy, N.F., Kunnatur, S., Klein, M., Musen, M.A.: Tracking Changes During Ontology Evolution. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 259–273. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  19. 19.
    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 (LNAI), vol. 3215, pp. 335–341. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  20. 20.
    Klein, M., Kiryakov, A., Ognyanov, D., Fensel, D.: 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)CrossRefGoogle Scholar
  21. 21.
    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 Press, New York (2003)CrossRefGoogle Scholar
  22. 22.
    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 (LNAI), vol. 3681, pp. 325–331. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  24. 24.
    Lin, H.: A verification tool for value-passing process algebras. 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
  • Longfei Jin
    • 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