×

兹马思-数学第一资源

用SetPi进行进化建模。(英语) 兹布1320.68175
总结:本体论由于其所建模领域的变化而注定要进化。如何表示本体演化过程中的变化一直是一个关键问题,因为它是检测、评估、实现和传播这些变化的基础。然而,目前流行的本体语言(OWL、DL、RDF等)并不善于描述演化等动态语义。因此,本文提出了一种新的演算方法SetPi来对本体演化进行建模。它用“集合”的思想扩展了经典的Pi演算,提供了在系统中创建新通道的能力。SetPi有一个新特性,Name Set作为名称语义的扩展。提出了形式语法、语义、结构一致性和约简规则。然后,我们描述了如何通过SetPi对基本变化进行建模。并且我们提供了对复合变更进行建模和评估变更的形式语义的算法。通过实例分析验证了该方法的可行性。SetPi不仅为形式化变更操作提供了一种新的方法,而且为变更后的一致性检查和效果传播提供了基础。

理学硕士:
68T30型 知识表示
软件:
内容CV
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 《密码演算》第36卷,第148页,Andrew-di,and the cryptographic calculation;Andrew-di,and the cryptographic calculations;Andrew-di,and the cryptographic calculation;Andrew-di,A,1999;和·Zbl 0924.68073
[2] Alan Bundy;Chan,Michael,走向物理学中的本体论进化(WoLLIC'08会议论文集:第15届逻辑、语言、信息和计算国际研讨会论文集(2008年),柏林,海德堡,Springer Verlag),98-110·Zbl 1155.68521
[3] Curino,Carlo;Moon,Hyun Jin;Deutsch,Alin;Zaniolo,Carlo,自动化数据库模式演化过程,VLDB期刊,22,1,73-98,(2013)
[4] Giorgos Flouri,S.;Dimitris Manakanata,S.;Haridimos Kondylaki,S.;Dimitris Plexousaki,S.;Grigoris Antonio,U.,《本体论变化:分类和调查》,知识工程评论,23,02,117-152,(2008)
[5] Grau,Bernardo Cuenca;Horrocks,Ian;Kazakov,Yevgeny;Sattler,Ulrike,Just the right amount:从本体论中提取模块,(WWW'07:第16届万维网国际会议论文集,(2007),美国纽约ACM),717-726
[6] Bernardo Cuenca Grau;Ian Horrocks;Yevgeny Kazakov;Sattler,Ulrike,《本体论的模块化重用:理论与实践》,J.Artif。《国际研究》,31,1273-318,(2008年)·Zbl 1183.68479
[7] Michael Hartung,James F.Terwilliger,Erhard Rahm,schema and ontology evolution的最新进展,载:模式匹配与映射,2011,第149-190页。
[8] Muhammad Javed,Yalemiew M.Abgaz,Claus Pahl,本体论进化的基于模式的变革运营商框架,收录于:联邦国际研讨会论文集和关于向有意义的互联网系统转移的海报:ADI,CAMS,EI2N,ISDE,IWSSA,MONET,OnToContent,ODI,ORM,OTM Academy,SWWS,SEMELS,Beyond SAWSDL,和COMBEK 2009,OTM'09,Springer Verlag,柏林,海德堡,2009,第544-553页。
[9] Jaziri,Wassim;Sassi,Najla;Gargouri,Faiez,《进化本体论并保持其一致性的方法和工具》,Int.J.元数据语义。本体论,5,2151-166,(2010)
[10] Jimenez Ruiz,Ernesto;Grau,Bernardo Cuenca;Sattler,Ulrike;Schneider,Thomas;Berlanga Llavori,Rafael,《本体论的安全和经济再利用:基于逻辑的方法论和工具支持》(Hauswirth,Manfred;Koubarakis,Manolis;Bechhofer,Sean,《第五届欧洲语义网络会议论文集》,LNCS,(2008),Springer Verlag Berlin,海德堡)
[11] Ernesto Jimnez Ruiz,Bernardo Cuenca Grau,Ian Horrocks,Rafael Berlanga Llavori,Contentcvs:基于cvs的协作本体工程工具,in:M.Scott Marshall,Albert Burger,Paolo Romano 0001,Adrian Paschke,Andrea Splendiani(编辑),《SWAT4LS,CEUR研讨会论文集》,第559卷,CEUR-WS.org,2009年。
[12] Jimnez Ruiz,Ernesto;Grau,Bernardo Cuenca;Horrocks,Ian;Llavori,Rafael Berlanga,支持并行本体开发:框架、算法和工具、数据知识。英国,70,1146-164,(2011年)
[13] 金龙飞,刘磊,一种基于本体定义元模型的本体演化涟漪效应分析方法,载:计算机科学与发展研究所,2006,第799-804页。
[14] Michael Klein,《分布式本体的变更管理》,博士论文,荷兰阿姆斯特丹Vrije大学,2004年。
[15] Michael Klein,Natasha Noy,一个基于组件的本体进化框架,载:本体论和分布式系统研讨会论文集,IJCAI 2003,Acapulco,墨西哥,2003年8月。
[16] Michel Klein,Dieter Fensel,Atanas Kiryakov,Damyan Ognyanov,web上的本体版本控制和变更检测,载:第13届知识工程和知识管理国际会议论文集(EKAW02),2002年,第197-212页。·Zbl 1019.68711号
[17] Kontchakov,Roman;Wolter,Frank;Zakharyaschev,Michael,基于逻辑的本体比较和模块提取,以及对dl-lite,Artif的应用。国际,174,15,1093-1141,(2010年)·Zbl 1238.68154
[18] De Leenher,P.;Debruyne,C.,《DOGMA-MESS:面向事实的协作本体进化工具》,《OTM联盟国际研讨会和海报论文集》,墨西哥蒙特雷,LNCS,(2008),Springer),9-14
[19] Pieter De Leenher,基于社区的本体论进化论,博士论文,布鲁塞尔维利大学,计算机科学系,语义技术与应用研究实验室,比利时,2009年5月。
[20] 《智能本体论》第63期;第51期《信息本体论》和《管理本体论》,2002年
[21] McNeill,Fiona;Bundy,Alan,通过失败计划执行的诊断进行动态、自动、一阶本体修复,IJSWIS(国际语义Web和信息系统杂志)本体匹配专题,3,1-35,(2007)
[22] 罗宾·米尔纳,多元π演算:教程,技术报告,逻辑和代数规范,爱丁堡大学,1991年。
[23] 《通讯与移动系统:圆周率演算》(1999),剑桥大学出版社·Zbl 0942.68002
[24] Noy,Natalya F.;Klein,Michel,Ontology evolution:与模式进化不同,知识与信息系统,6,4,428-440,(2004)
[25] Natalya F.Noy,Mark A.Musen,Promptdiff:用于比较本体版本的定点算法,载:第十八届全国人工智能会议(AAAI-2002),2002年,第744-750页。
[26] Georgios Paliouras,Constantine D.Spyropoulos,George Tsatsaronis,《利用多媒体信息提取引导本体进化》,载:知识驱动的多媒体信息提取和本体进化,2011年,第1-17页。
[27] Peter,不断变化的本体论;Haase,Peter;Harmelen,Frank Van;Huang,Zhisheng;Stuckenschmidt,Heiner,《处理不一致性的框架》,(第四届国际语义网络会议论文集,2005年),第353-367页
[28] 彼得普莱瑟斯,多元π微积分:教程,技术报告,计算机科学系,布鲁塞尔,比利时布鲁塞尔,2006年。
[29] Plesers,Peter;Troyer,Olga De,《使用版本日志的本体变更检测》,(Gil,Yolanda;Motta,Enrico;Richard Benjamins,V.;Musen,Mark a.,国际语义网络会议,《计算机科学课堂讲稿》,第3729卷,(2005年),Springer),578-592
[30] Peter Plesers,Olga De Troyer,《解决进化本体论中的不一致性》,载:ESWC,2006,第200-214页。
[31] Timothy Redmond,Michael Smith,Nick Drummond,Tania Tudorache,《管理变革:一个本体版本控制系统》,in:Catherine Dolbear,Alan Ruttenberg,Ulrike Sattler(编辑),《CEUR研讨会论文集》,第432卷,CEUR-WS.org,2008年。
[32] Rogozan,Delia;Paquette,Gilbert,Managing ontology web changes on the semantic web,(Skowron,Andrzej;Agrawal,Rakesh;Luck,Michael;Yamaguchi,Takahira;Morizet Mahoudeaux,Pierre;Liu,Jiming;Zhong,Ning,网络智能(2005),IEEE计算机学会,430-433
[33] 《本体进化的方法与工具》,德国卡尔斯鲁厄大学博士论文,2004。
[34] 斯托亚诺维奇,亚历山大·马德奇,鲍里斯·莫蒂克,内纳德·斯托亚诺维奇。用户驱动的本体进化管理,载:第13届欧洲知识工程与知识管理会议论文集:本体论与语义网,2002年,第133-140页。·Zbl 1019.68768
[35] Triβl,Silke;Hussels,Philipp;Leser,Ulf,Interonto-ranking inter-ontology links,(第八届生命科学数据集成国际会议论文集),DILS'12,(2012),德国海德堡斯普林格-维拉格柏林,5-20
[36] 王美玲,金龙飞,刘磊,基于pi演算的本体变更管理描述方法,载:KSEM,2006,第477-489页。
[37] 王美玲,刘磊,基于pi演算的本体论变更管理,载:ASWC,2006,第632-638页。
[38] 珍妮特M。荣,微积分常见问题解答,技术报告,爱丁堡大学计算机科学系,2002年。
[39] Fouad Zablith,Evolva:本体论进化的综合方法,载:ESWC,2009,第944-948页。
[40] Zhdanova,Anna V.,社区驱动的本体论进化:基因本体论案例研究,(Abramowicz,Witold;Fensel,Dieter,BIS,《商业信息处理课堂讲稿》,第7卷,(2008),Springer),118-129
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。