A pi-calculus based ontology change management

Authors:
Meiling Wang;Lei Liu
Affiliations:
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, P.R China;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, P.R China
Venue:
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Year:
2006

Citing 10
Cited 1

Handbook of Process Algebra

Handbook of Process Algebra
Dynamically Selecting Optimal Distribution Strategies for Web Documents

IEEE Transactions on Computers
Adaptive Push-Pull: Disseminating Dynamic Web Data

IEEE Transactions on Computers
User-Driven Ontology Evolution Management

EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
A Verification Tool for Value-Passing Processes

Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Finding and Characterizing Changes in Ontologies

ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Ontology evolution as reconfiguration-design problem solving

Proceedings of the 2nd international conference on Knowledge capture
Managing multiple and distributed ontologies on the Semantic Web

The VLDB Journal — The International Journal on Very Large Data Bases
Consistent evolution of OWL ontologies

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A model transformation based conceptual framework for ontology evolution

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I

Modeling ontology evolution with SetPi

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

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.