Skip to main content
Springer Nature Link
Log in

A Pi-Calculus Based Ontology Change Management

  • Conference paper
The Semantic Web – ASWC 2006 (ASWC 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4185))

Included in the following conference series:

Abstract

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.

This paper is sponsored by European Commission under grant No.TH/Asia Link/010 (111084) and Jilin province science development plain project of China under grant No. 20050527.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Fensel, D.: Ontologies: dynamics networks of meaning. In: Proceedings of the 1st Semantic web working symposium, Stanford, CA, USA (2001)

    Google Scholar 

  2. Klein, M., Fensel, D.: Ontology versioning for the SemanticWeb. In: Proceedings of International Semantic Web Working Symposium, USA (2001)

    Google Scholar 

  3. Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe (2004)

    Google Scholar 

  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. Nestmann, U., Victor, B.: Calculi for mobile processes: Bibliography and web pages. Bulletin of the EATCS 64, 139–144 (1998)

    Google Scholar 

  6. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  8. Alexander, M., Boris, M., Ljiljana, S.: Managing multiple and distributed ontologies in the semantic web. VLDB Journal 12(4), 286–302 (2003)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  10. Pierre, G., van Steen, M.: Dynamically selecting optimal distributing strategies on Web documents. IEEE Trans. Comput. 51(6), 637–651 (2002)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education of P.R. China, College of Computer Science and Technology, Jilin University, Changchun, 130012, P.R. China

    Meiling Wang & Lei Liu

Authors
  1. Meiling Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lei Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Institute of Scientific and Industrial Research, Osaka University, 8-1 Mihogaoka, 567-0047, Ibaraki, Osaka, Japan

    Riichiro Mizoguchi

  2. Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, 100080, Beijing,  

    Zhongzhi Shi

  3. Information and Communication Technology, University of Trento, Italy

    Fausto Giunchiglia

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, M., Liu, L. (2006). A Pi-Calculus Based Ontology Change Management. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds) The Semantic Web – ASWC 2006. ASWC 2006. Lecture Notes in Computer Science, vol 4185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11836025_61

Download citation

  • DOI: https://doi.org/10.1007/11836025_61

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38329-1

  • Online ISBN: 978-3-540-38331-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics