Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
