论文信息 - A Pi-Calculus Based Ontology Change Management

A Pi-Calculus Based Ontology Change Management

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.

Lei Liu | Meiling Wang | Lei Liu | Meiling Wang

[1] Dong Yang,et al. A Model Transformation Based Conceptual Framework for Ontology Evolution , 2005, KES.

[2] Michel C. A. Klein,et al. Ontology versioning on the Semantic Web , 2001, SWWS.

[3] Andrew S. Tanenbaum,et al. Dynamically Selecting Optimal Distribution Strategies for Web Documents , 2002, IEEE Trans. Computers.

[4] Ljiljana Stojanovic,et al. Consistent Evolution of OWL Ontologies , 2005, ESWC.

[5] Ljiljana Stojanovic,et al. Methods and tools for ontology evolution , 2004 .

[6] Boris Motik,et al. Managing multiple and distributed ontologies on the Semantic Web , 2003, The VLDB Journal.

[7] Prashant J. Shenoy,et al. Adaptive Push-Pull: Disseminating Dynamic Web Data , 2002, IEEE Trans. Computers.

[8] Björn Victor,et al. Calculi for Mobile Processes - Bibliography and Web Pages , 1998, Bull. EATCS.

[9] Huimin Lin,et al. A Verification Tool for Value-Passing Processes , 1993, PSTV.

[10] Rudi Studer,et al. Ontology evolution as reconfiguration-design problem solving , 2003, K-CAP '03.

[11] Angelo Corallo,et al. Managing Ontology Evolution Via Relational Constraints , 2004, KES.

[12] Michel C. A. Klein,et al. Finding and Characterizing Changes in Ontologies , 2002, ER.

[13] Boris Motik,et al. User-Driven Ontology Evolution Management , 2002, EKAW.