{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:27Z","timestamp":1725543447007},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540370338"},{"type":"electronic","value":"9783540370352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11811220_40","type":"book-chapter","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T08:40:48Z","timestamp":1153730448000},"page":"477-489","source":"Crossref","is-referenced-by-count":2,"title":["A Description Method of Ontology Change Management Using Pi-Calculus"],"prefix":"10.1007","author":[{"given":"Meiling","family":"Wang","sequence":"first","affiliation":[]},{"given":"Longfei","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Lei","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"40_CR1","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/637411.637415","volume":"31","author":"C. Bussler","year":"2002","unstructured":"Bussler, C., Fensel, D., Maedche, A.: A Conceptual Architecture for Semantic Web Enabled Web Services. SIGMOD Record\u00a031(4), 24\u201329 (2002)","journal-title":"SIGMOD Record"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 2001(5) (2001), Available at: http:\/\/www.sciam.com\/2001\/0501issue\/0501berners-lee.html","DOI":"10.1038\/scientificamerican0501-34"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Fensel, D.: Ontologies: dynamics networks of meaning. In: Proceedings of the 1st Semantic web working symposium, Stanford, CA, USA (2001)","DOI":"10.1007\/978-3-662-04396-7_2"},{"key":"40_CR4","unstructured":"Klein, M., Fensel, D.: Ontology versioning for the Semantic Web. In: Proceedings of International Semantic Web Working Symposium, USA (2001)"},{"key":"40_CR5","unstructured":"Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe (2004)"},{"key":"40_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/3-540-45810-7_27","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"L. Stojanovic","year":"2002","unstructured":"Stojanovic, L., Maedche, A., Motik, B., Stojanovic, N.: User-driven ontology evolution management. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol.\u00a02473, pp. 285\u2013300. Springer, Heidelberg (2002)"},{"issue":"4","key":"40_CR7","first-page":"635","volume":"28","author":"J. Liao","year":"2005","unstructured":"Liao, J., Tan, H., Liu, J.: Describing and Verifying Web Service Using Pi-Calculus. Chinese Journal Of Computer\u00a028(4), 635\u2013643 (2005)","journal-title":"Chinese Journal Of Computer"},{"key":"40_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"40_CR9","first-page":"139","volume":"64","author":"U. Nestmann","year":"1998","unstructured":"Nestmann, U., Victor, B.: Calculi for mobile processes: Bibliography and web pages. Bulletin of the EATCS\u00a064, 139\u2013144 (1998)","journal-title":"Bulletin of the EATCS"},{"volume-title":"Handbook of Process Algebra","year":"2001","key":"40_CR10","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"40_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11431053_13","volume-title":"The Semantic Web: Research and Applications","author":"P. Haase","year":"2005","unstructured":"Haase, P., Stojanovic, L.: Consistent Evolution of OWL Ontologies. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 182\u2013197. Springer, Heidelberg (2005)"},{"issue":"4","key":"40_CR12","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/s00778-003-0102-4","volume":"12","author":"M. Alexander","year":"2003","unstructured":"Alexander, M., Boris, M., Ljiljana, S.: Managing multiple and distributed ontologies in the semantic web. VLDB Journal\u00a012(4), 286\u2013302 (2003)","journal-title":"VLDB Journal"},{"key":"40_CR13","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"issue":"6","key":"40_CR14","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1109\/TC.2002.1009150","volume":"51","author":"M. Bhide","year":"2002","unstructured":"Bhide, M., Deoasee, P., Katkar, A., Panchbudhe, A., Ramamritham, K.: Adaptive push-pull: disseminating dynamic Web data. IEEE Trans Comput\u00a051(6), 652\u2013668 (2002)","journal-title":"IEEE Trans Comput"},{"issue":"6","key":"40_CR15","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1109\/TC.2002.1009149","volume":"51","author":"G. Pierre","year":"2002","unstructured":"Pierre, G., van Steen, M.: Dynamically selecting optimal distributing strategies on Web documents. IEEE Trans Comput\u00a051(6), 637\u2013651 (2002)","journal-title":"IEEE Trans Comput"},{"key":"40_CR16","unstructured":"FZI Karlsruhe, and AIFB Karlsruhe. KAON The Karlsruhe Ontology and Semantic Web Framework. Developer\u2019s Guide for KAON 1.2.7 (2004)"},{"key":"40_CR17","unstructured":"Michel, K.: Change Management for Distributed Ontologies. PhD thesis, Vrije Universiteit Amsterdam (2004)"},{"key":"40_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-30475-3_19","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"N.F. Noy","year":"2004","unstructured":"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.\u00a03298, pp. 259\u2013273. Springer, Heidelberg (2004)"},{"key":"40_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-30134-9_45","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"P. Ceravolo","year":"2004","unstructured":"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.\u00a03215, pp. 335\u2013341. Springer, Heidelberg (2004)"},{"key":"40_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-45816-6_16","volume-title":"Conceptual Modeling - ER 2002","author":"M. Klein","year":"2002","unstructured":"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.\u00a02503, pp. 79\u201389. Springer, Heidelberg (2002)"},{"key":"40_CR21","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/945645.945669","volume-title":"Proceedings of the 2nd International Conference on Knowledge Capture (KCAP 2003)","author":"L. Stojanovic","year":"2003","unstructured":"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\u2013171. ACM Press, New York (2003)"},{"key":"40_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/11552413_47","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"L. Jin","year":"2005","unstructured":"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.\u00a03681, pp. 325\u2013331. Springer, Heidelberg (2005)"},{"key":"40_CR23","volume-title":"Communicating and Mobile Systems: The Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"40_CR24","first-page":"79","volume-title":"A verification tool for value-passing process algebras. IFIP Transactions C-16: Protocol Specification, Testing and Verification","author":"H. Lin","year":"1993","unstructured":"Lin, H.: A verification tool for value-passing process algebras. IFIP Transactions C-16: Protocol Specification, Testing and Verification, pp. 79\u201392. North-Holland, Amsterdam (1993)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11811220_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:13:54Z","timestamp":1605626034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11811220_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540370338","9783540370352"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11811220_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}