Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
User-Driven Ontology Evolution Management
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Managing Multiple Ontologies and Ontology Evolution in Ontologging
Proceedings of the IFIP 17th World Computer Congress - TC12 Stream on Intelligent Information Processing
Ontology Versioning and Change Detection on the Web
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Promptdiff: a fixed-point algorithm for comparing ontology versions
Eighteenth national conference on Artificial intelligence
Ontology Evolution: Not the Same as Schema Evolution
Knowledge and Information Systems
Managing Ontology Changes on the Semantic Web
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Ontology change: Classification and survey
The Knowledge Engineering Review
Towards Ontology Evolution in Physics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Evolva: A Comprehensive Approach to Ontology Evolution
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
A Pattern-Based Framework of Change Operators for Ontology Evolution
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Approach and tool to evolve ontology and maintain its coherence
International Journal of Metadata, Semantics and Ontologies
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
Bootstrapping ontology evolution with multimedia information extraction
Knowledge-driven multimedia information extraction and ontology evolution
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Ontology change detection using a version log
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Resolving inconsistencies in evolving ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A description method of ontology change management using pi-calculus
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A pi-calculus based ontology change management
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
InterOnto --- ranking inter-ontology links
DILS'12 Proceedings of the 8th international conference on Data Integration in the Life Sciences
Automating the database schema evolution process
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.07 |
Ontology is doomed to evolve due to the changes of the domain it models. It has always been the key issue how to represent the changes during ontology evolution, because it forms the basis to detect, evaluate, implement and propagate those changes. However, prevalent ontology languages (OWL, DL, RDF, etc.) are not adept in description of dynamic semantics such as evolution. Therefore in this paper, we propose a new calculus named SetPi to model ontology evolution. It extends the classical Pi calculus with the idea of 'set' which offers the ability to create new channels in the system. SetPi has a new feature, Name Set as an extension of the semantics of names. It is proposed with formal syntax, semantics, structure congruence and reduction rules. Then, we describe how to model elementary changes via SetPi. And we provide algorithms to model composite changes and evaluate the formal semantics of the changes. A case study is employed to verify the feasibility of the method. SetPi provides not only a new way to formalize operations on changes but also offers the foundation for consistency checking and effect propagation after the changes.