×

兹马思-数学第一资源

基于pi演算的本体进化建模。(英语) Zbl 1398.68525
摘要:扩展和更新现实世界的本体论是不可避免的挑战,因为我们对世界和世界本身的进化的理解不断演变。在当前的研究中,更改通常被建模为管理员执行的操作的被动即时结果,例如添加子类或删除属性。但是这种观点忽略了现实世界的事实:(1)本体论随着时间的推移不断演化,而不仅仅是在静态版本之间跳跃;(2)变更是一个连贯的过程,尽管它可以从管理的角度分为不同的阶段,如请求、检测、表示、评估、实现和传播改变。本文提供了一个本体本身的内部视角来建模其演化。本体实体被视为具有发现粒度状态规范的自治代理。这些变化的操作语义被形式化为代理的一系列信息交换动作。Pi演算用于描述建模中的操作语义。首先,将一个本体编码成一个超图。然后将超图中的节点和边形式化为Pi演算过程。复制算子用于向本体中添加新的实体,通信规则用于解决信息交换问题。因此,变更被建模为一个连贯的过程,正如其操作语义所阐明的那样。实例分析表明,该方法在Mobility Workbench(MWB)上是可行的。我们相信我们场景中的操作语义揭示了本体进化的自主演化本质。
理学硕士:
68T30型 知识表示
68问55 计算理论中的语义学
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Ashburner,M.;Ball,C.A.;Blake,J.A.;Botstein,D.;Butler,H.;Cherry,J.M.;Davis,A.P.;Dolinski,K.;Dwight,S.S.;Eppig,J.T.;Harris,M.A.;Hill,D.P.;Issel Tarver,L.;Kasarkis,A.;Lewis,S.;Matese,J.C.;Richardson,J.E.;Ringwald,M.;Rubin,G.;Sherlock,G.《基因本体论:生物学统一的工具》。基因本体论联合会,《自然遗传学》,25,1,25-29,(2000)
[2] Rosse,C.;Mejino,J.L.V.,解剖学本体论的基础模型生物信息学解剖学本体论,(Burger,A.;Davidson,D.;Baldock,R.,《生物信息学解剖学本体论》,计算生物学,第6卷,(2008年),斯普林格伦敦,59-117
[3] Hartel,F.W.;de Coronado,S.;Dionne,R.;Fragoso,G.;Golbeck,J.,《癌症研究的描述逻辑词汇建模》,生物医学杂志。Inf.,38,2114-129,(2005年)
[4] Rector,A.;Rogers,J.,《使用描述逻辑来表示医学概念系统的本体论和实践问题:来自GALEN的经验》,推理网,第二届国际暑期学校,辅导讲座,197-231,(2006)
[5] Hartung,M.;Kirsten,T.;Rahm,E.,分析生命科学本体论和映射的进化,第五届生命科学数据集成国际研讨会论文集,11-27,(2008)
[六] Klein,M.;Proefschrift,A.;Christiaan,M.;Klein,A.;Akkermans,P.D.J.M.,《分布式本体论的变更管理》,博士论文,技术报告,(2004),荷兰阿姆斯特丹Vrije大学
[七] 哈通,M.;格罗?Rahm,E.,Contocdiff:生命科学本体论的复杂进化映射生成,J.Biomed。Inf.,46,1,15-32,(2013年)
[8] Luong,P.-H.;Dieng Kuntz,R.,《coswem系统中语义注释进化的基于规则的方法》,(Kon,M.;Lemire,D.,Canadian semantic Web,semantic Web and Beyond》,第2卷,(2006),Springer US),103-120
[9] Touhami,R.;Buche,P.;Dibie Barthélemy,J.;Ibanescu,L.,《食品、元数据和语义研究中实验数据的本体进化》。第九届研究会议论文集,MTSR 2015,393-404,(2015年9月9日至11日),英国曼彻斯特
[10] Klein,M.;Fensel,D.;Kiryakov,A.;Ognyanov,D.,《web上的本体版本控制和变更检测》,《第十三届知识工程和知识管理国际会议论文集》(EKAW02),197-212,(2002)·Zbl 1019.68711号
[11] Noy,N.F.;Kunnatur,S.;Klein,M.;Musen,M.A.,《跟踪本体进化过程中的变化》,第三届国际语义网络会议论文集(ISWC2004,259-273,(2004)
[12] Stojanovic,L.;Maedche,A.;Motik,B.;Stojanovic,N.,《用户驱动本体进化管理》,第13届知识工程和知识管理国际会议论文集。本体论与语义网,EKAW'02285-300,(2002),英国伦敦斯普林格出版社·Zbl 1019.68768
[13] Abadi,M.;Abadi,M.;Gordon,A.D.;Gordon,A.D.,《密码协议微积分:spi微积分》,Inf.Comput.,148,36-47,(1999)·Zbl 0924.68073
[14] Victor,B.;Moller,F.,《移动工作台——一个用于π-微积分,(Dill,D.,CAV'94:计算机辅助验证,计算机科学课堂讲稿,第818卷,(1994),Springer Verlag),428-440
[15] Noy,N.F.;Klein,M.,《本体论进化:与模式进化不同》,Knowl。《信息系统》,6,4,428-440,(2004年)
[16] Plesers,P.;Troyer,O.D.,《解决进化中的本体论中的不一致性》,(Sure,Y.;Domingue,J.,ESWC,《计算机科学讲座笔记》,第4011卷,(2006年),Springer),200-214
[17] Javed,M.;Abgaz,Y.;Pahl,C.,《本体变更管理和变更模式识别》,数据语义杂志,2,2-3,119-143,(2013)
[18] 弗卢伊斯,G.,《本体论进化中的信仰变化:论文》,人工智能社区,19,4,395-397,(2006)
[19] 普莱瑟斯,P.,《多元π演算:教程,技术报告》(2006年),比利时布鲁塞尔市布鲁塞尔维耶大学计算机科学系
[20] Redmond,T.;Smith,M.;Drummond,N.;Tudorache,T.,《管理变更:一个本体版本控制系统》,《猫头鹰会议录》(2008)
[21] Gueffaz,M.;Pittet,P.;Rampacek,S.;Cruz,C.;Nicole,C.《基于模型检查的动态本体论中的不一致性识别》,第八届网络信息系统与技术国际会议论文集,418-421,(2012)
[22] Khattak,A.M.;Latif,K.;Lee,S.,《不断发展的web本体论中的变更管理》,Knowl。基于系统,37,0,1-18,(2013)
[23] Mahfoudh,M.;Forestier,G.;Thiry,L.;Hassenforder,M.《用于形式化本体变更和进化本体论的代数图变换》,Knowl。基础系统,73212-226,(2015年)
[24] Noy,N.F.;Musen,M.A.,Promptdiff:用于比较本体版本的定点算法,第十八届全国人工智能会议(AAAI-2002),744-750,(2002)
[25] Jiménez Ruiz,E.;Grau,B.C.;Horrocks,I.;Llavori,R.B.,使用contentcvs协作构建本体论,描述逻辑(2009)
[26] Ochs,C.;Perl,Y.;Geller,J.;Haendel,M.;Brush,M.;Arabandi,S.;Tu,S.,《使用差异抽象网络总结和可视化生物医学本体进化过程中的结构变化》,J.Biomed。Inf.,56,127-144,(2015年)
[27] Javed,M.;Abgaz,Y.M.;Pahl,C.,《本体进化的基于模式的变革运营商框架》,《联合会国际研讨会论文集》和《迈向有意义的互联网系统的海报:ADI、CAMS、EI2N、ISDE、IWSSA、MONET、OnToContent、ODIS、ORM、OTM Academy、SWWS、SEMELS、Beyond SAWSDL和COMBEK 2009》,OTM'09544-553,(2009年),斯普林格-维拉格柏林,海德堡
[28] Jin,L.;Liu,L.,一种基于本体定义元模型的本体进化涟漪效应分析方法,CSCWD论文集,799-804,(2006)
[29] Wang,M.;Jin,L.;Liu,L.,使用pi演算的本体变更管理描述方法,KSEM论文集,477-489,(2006)
[30] Liu,L.;Zhang,P.;Fan,R.;Zhang,R.;Yang,H.《用SETPI建模本体进化》,Inf.Sci.,255,0,155-169,(2014)·兹布1320.68175
[31] Stojanovic,L.,本体论进化的方法和工具(2004),德国卡尔斯鲁厄大学博士论文
[32] Mahfoudh,M.;Forestier,G.;Thiry,L.;Hassenforder,M.,《使用图语法进行一致的本体论进化》,KSEM论文集,64-75,(2013)
[33] Mazzieri,M.;Dragoni,A.F.,《作为非优先信念修正的本体论修订》(Haase,P.;Hotho,A.;Chen,L.;Ong,E.;Mauroux,P.C.,《国际涌现语义学和本体论进化研讨会论文集》(ESOE2007),2007年,韩国釜山
[34] Cuenca Grau,B.;Jimenez-Ruiz,E.;Kharlamov,E.;Zheleznyakov,D.,《语义约束下的本体论进化》,《第十三届知识表示与推理原则国际会议论文集》(2012)
[35] Jiménez Ruiz,E.;Grau,B.C.;Sattler,U.;Schneider,T.;Llavori,R.B.,《本体论的安全和经济再利用:基于逻辑的方法和工具支持》,《ESWC论文集》,185-199,(2008)
[36] Jimenez Ruiz,E.;Grau,B.C.;Horrocks,I.;Llavori,R.B.,《支持并行本体开发:框架、算法和工具》,数据知识。英国,70,1146-164,(2011年)
[37] Sari,A.K.;Rahayu,W.;Bhatt,M.,《分布式医疗保健企业中的子本体进化方法》,Inf.Syst.,38,5,727-744,(2013)
[38] 《通信与移动系统:π演算》(1999),剑桥大学出版社·Zbl 0942.68002
[39] Plesers,P.;De Troyer,O.;Castleyn,S.,《理解本体进化:变更检测方法》,Web Semant.,5,39-49,(2007)
[40] Wang,M.;Liu,L.,基于pi演算的本体论变更管理,ASWC论文集,632-638,(2006)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。