×
张瑞;郭德贵;高文娟;刘磊

通过pi-calculus建模本体进化。 （英语） Zbl 1398.68525号

信息科学。 346-347, 286-301 (2016).
总结：随着我们对世界和世界自身进化的理解不断发展，扩展和更新现实世界本体论是不可避免的挑战。在当前的研究中，更改通常被建模为管理员执行的操作（例如添加子类或删除属性）的被动即时结果。但这种观点忽视了现实世界中的事实：（1）本体随着时间的推移不断进化，而不仅仅是在静态版本之间快速跳跃；（2） 变更是一个连贯的过程，尽管它可以从管理的角度分为不同的阶段，例如请求、检测、表示、评估、实施和传播变更。本文提供了本体本身的内部视角来建模其演化。本体实体被视为具有find-grained状态规范的自治代理。变更的操作语义被形式化为代理的一系列信息交换动作。Pi-Calculus用于描述建模中的操作语义。首先，将本体编码为超图。然后将超图中的节点和边形式化为Pi-Calculus过程。复制操作符用于向本体添加新实体，通信规则用于解决信息交换问题。因此，变更被建模为其操作语义中阐明的连贯过程。一个案例研究表明了我们的方法在移动工作台（MWB）上的可行性。我们相信，我们场景中的操作语义揭示了本体进化的自主进化本质。

MSC公司：

68立方英尺 知识表示
68问题55 计算理论中的语义学
第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

本体进化;Pi演算;操作语义学

软件：

MWB公司;内容CVS
PDF格式BibTeX公司 XML格式引用
\textit{R.Zhang}等人，《信息科学》。346--347、286--301（2016；Zbl 1398.68525）
全文： 内政部

参考文献：

[1] 阿什伯恩，M。；鲍尔，C.A。；布雷克·J·A。；博茨坦，D。；巴特勒，H。；Cherry，J.M.（Cherry，J.M.）。；Davis，A.P。；Dolinski，K。；德怀特，S.S。；Eppig，J.T。；Harris，医学硕士。；希尔，D.P。；Issel-Tarver，L。；Kasarskis，A。；刘易斯，S。；Matese，J.C。；理查德森·J·E。；M.Ringwald。；鲁宾，G.M。；Sherlock，G.，《基因本体论：生物学统一的工具》。基因本体联盟。，自然遗传学，25，1，25-29，（2000）
[2] 罗西，C。；Mejino，J.L.V.，《解剖本体论的基本模型——生物信息学的解剖本体论》，（Burger，A.；Davidson，D.；Baldock，R.，《生物信息学解剖本体论，计算生物学》，第6卷，（2008），Springer London London），59-117·Zbl 1170.92013年
[3] Hartel，F.W。；科罗拉多州。；迪翁，R。；弗拉戈索，G。；Golbeck，J.，《癌症研究的描述逻辑词汇建模》，J.Biomed。Inf.，38，2，114-129，（2005）
[4] 整流器，A。；Rogers，J.，使用描述逻辑表示医学概念系统的本体论和实践问题：来自GALEN的经验，推理网络，第二国际暑期学校，教程，197-231，（2006）
[5] 哈顿，M。；Kirsten，T。；Rahm，E.，分析生命科学本体论和映射的演变，第五届生命科学数据集成国际研讨会论文集，11-27，（2008）
[6] 克莱因，M。；Proefschrift，A。；克里斯蒂安，M。；克莱因，A。；Akkermans，P.D.J.M.，分布式本体的变更管理，博士论文，技术报告，（2004），荷兰阿姆斯特丹Vrije大学
[7] 哈顿，M。；格罗？，答：。；Rahm，E.，Contocdiff:为生命科学本体论生成复杂的进化映射，J.Biomed。Inf.，46，1，15-32，（2013）
[8] Luong，P.-H。；Dieng-Kuntz，R.，coswem系统中基于规则的语义注释进化方法，（Kon，M.；Lemire，D.，加拿大语义网，语义网及其以外，第2卷，（2006），Springer US），103-120
[9] 图哈米，R。；Buche，P。；Dibie-Barthélemy，J。；Ibanescu，L.，《食品实验数据的本体进化，元数据和语义研究》。第九届研究会议记录，MTSR 2015，393-404，（2015年9月9日至11日），英国曼彻斯特
[10] 克莱因，M。；芬塞尔，D。；基里亚科夫，A。；Ognyanov，D.，《网络上的本体版本化和变更检测》，《第十三届知识工程和知识管理国际会议论文集》（EKAW02），197-212，（2002）·Zbl 1019.68711号
[11] 诺伊，N.F。；Kunnatur，S。；克莱因，M。；Musen，M.A.，《跟踪本体进化过程中的变化》，第三届国际语义网络会议论文集（ISWC2004，259-273，（2004）
[12] 斯托亚诺维奇，L。；Maedche，A。；莫蒂克，B。；Stojanovic，N.，用户驱动的本体进化管理，第13届知识工程和知识管理国际会议论文集。《本体论和语义网络》，EKAW’02，285-300，（2002），英国伦敦施普林格出版社·Zbl 1019.68768号
[13] M.阿巴迪。；M.阿巴迪。；戈登，医学博士。；Gordon，A.D.，《密码协议演算：spi演算》，Inf.Compute。，148, 36-47, (1999) ·Zbl 0924.68073号
[14] 维克多，B。；Moller，F.，《移动性工作台——π-微积分，（Dill，D.，CAV'94：计算机辅助验证，计算机科学讲义，第818卷，（1994），Springer Verlag），428-440
[15] 诺伊，N.F。；Klein，M.，《本体论进化：与模式进化不同》，Knowl。信息系统。，6, 4, 428-440, (2004)
[16] Plessers，P。；Troyer，O.D.，《解决进化本体中的不一致性》。，（Sure，Y.；Domingue，J.，ESWC，《计算机科学讲义》，第4011卷，（2006），斯普林格），200-214
[17] Javed，M。；Abgaz，Y。；Pahl，C.，《本体论变更管理和变更模式识别》，J.Data Semant。，2013年2月2日至3日，119-143
[18] Flouris，G.，《论本体论进化中的信念变化：论文》，AI Commun。，19, 4, 395-397, (2006)
[19] Plessers，P.，《多元pi-calculus:A tutorial》，技术报告，（2006），比利时布鲁塞尔Vrije大学计算机科学系
[20] 雷蒙德，T。；史密斯，M。；北德拉蒙德。；Tudorache，T.，《管理变更：本体论版本控制系统》，《OWLED学报》（2008年）
[21] Gueffaz，M。；Pittet，P。；Rampacek，S。；克鲁兹，C。；Nicolle，C.，基于模型检查的动态本体不一致性识别，第八届网络信息系统与技术国际会议论文集，418-421，（2012）
[22] Khattak，A.M。；拉蒂夫，K。；Lee，S.，《进化网络本体论中的变更管理》，Knowl。基于系统。，37，0，1-18，（2013）
[23] Mahfoudh，M。；福雷斯蒂尔，G。；第三，L。；Hassenforder，M.，《用于形式化本体变化和进化本体的代数图变换》，Knowl。基于系统。，73, 212-226, (2015)
[24] 诺伊，N.F。；Musen，M.A.，Promptdiff:用于比较本体版本的定点算法，第十八届全国人工智能会议（AAAI-2002），744-750，（2002）
[25] Jiménez-Ruiz，E。；格劳（Grau，B.C.）。；霍洛克斯，I。；Llavori，R.B.，使用内容协同构建本体，描述逻辑，（2009）
[26] Ochs，C。；Perl，Y。；盖勒，J。；Haendel，M。；刷子，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’09，544-553，（2009），施普林格出版社，海德堡，柏林
[28] Jin，L。；Liu，L.，一种基于本体定义元模型的本体进化涟漪效应分析方法，CSCWD论文集，799-804，（2006）
[29] 王，M。；Jin，L。；Liu，L.，使用pi-calculus描述本体变更管理的方法，《KSEM学报》，477-489，（2006）
[30] 刘，L。；张，P。；右风扇。；张，R。；Yang，H.，用SETPI建模本体进化，信息科学。，255, 0, 155-169, (2014) ·Zbl 1320.68175号
[31] Stojanovic，L.，《本体进化的方法和工具》，（2004），德国卡尔斯鲁厄大学博士论文
[32] Mahfoudh，M。；福雷斯蒂尔，G。；第三，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），ISWC/ASWC2007，韩国釜山，（2007））
[34] Cuenca Grau，B。；希门尼斯·鲁伊斯，E。；Kharlamov，E。；Zheleznyakov，D.，语义约束下的本体进化，第十三届知识表示与推理原则国际会议论文集，（2012）
[35] Jiménez-Ruiz，E。；格劳（Grau，B.C.）。；美国萨特勒。；施耐德，T。；Llavori，R.B.，《本体论的安全和经济重用：基于逻辑的方法和工具支持》，《ESWC会议记录》，185-199，（2008）
[36] Jimenez-Ruiz，E。；格劳（Grau，B.C.）。；霍洛克斯，I。；Llavori，R.B.，《支持并发本体开发：框架、算法和工具》。，数据知识。工程师，70，1，146-164，（2011）
[37] Sari，A.K。；拉哈尤，W。；Bhatt，M.，《分布式医疗保健企业中的子本体进化方法》，Inf.Syst。，38, 5, 727-744, (2013)
[38] Milner，R.，《通信和移动系统：Pi-Calculus》（1999），剑桥大学出版社·Zbl 0942.68002号
[39] Plessers，P。；De Troyer，O。；Casteleyn，S.，《理解本体进化：一种变化检测方法》，Web Semant。，5, 39-49, (2007)
[40] 王，M。；Liu，L.，A pi-calculus based ontology change management，ASWC论文集，632-638，（2006）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。