SetPi-演算及其对本体演化的建模  

SetPi-calculus and modeling method for ontology evolution

作　　者：刘磊[1] 范茸[1] 张睿[1] 吕帅[1] 张义飞 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《中国科技论文在线》2010年第2期112-119,共8页

基　　金：国家自然科学基金(60603031;60873044);高等学校博士学科点专项科研基金(20060183044)

摘　　要：对Pi-演算进行语法扩展,提出了一种新的演算:SetPi-演算,在Pi-演算原有语义的基础上引入了"集合"的思想,从而解决了Pi-演算无法添加进程的弊端。详细给出SetPi-演算的形式化表示方法及其语义,刻画了SetPi-演算的结构同余规则和归约规则等,并进一步对SetPi-演算的描述能力进行了界定和分析;最后将SetPi-演算应用于本体演化领域,描述本体演化的基本变更操作,实现了其形式化建模。This paper presented a new calculus： SetPi-Calculus with the idea of＂Set＂ based on the original semantics of Pi-calculus, to solve the problem of adding a process in Pi-Calculus. We gave the details of formalization and semantic explanation, described the properties of structure congruence, reduced rules of SetPi-caleulus and analyzed its expressive power. Finally, SetPi-calculus was applied to the field of ontology evolution, to describe its basic change operations and achieved a formal model.

关 键 词：形式化 PI-演算 本体演化 建模 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]