کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
391824 662007 2014 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Modeling ontology evolution with SetPi
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Modeling ontology evolution with SetPi
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 255, 10 January 2014, Pages 155–169
نویسندگان
, , , , ,