×
张瑜;吴海涛;高金凤;张永涛;姚如仙;朱玉祥

从非相干生物本体中检测错误原因的有效方法。 （英语） Zbl 1508.92003号

数学。Biosci公司。工程师。 19，第7号，7388-7409（2022）.

MSC公司：

92B05型 普通生物学和生物数学
68瓦99 计算机科学中的算法
92-08 生物问题的计算方法

关键词：

极小公理集;不可满足类;非相干本体;DOBP公司;模块-DOBP

软件：

故障电流互感器++;HermiT公司;弹丸
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhang}等人，数学。Biosci公司。工程19，编号7，7388--7409（2022；Zbl 1508.92003）
全文： 内政部

参考文献：

[1] F.Baader、D.Calvanee、D.McGuinness、D.Nardi、P.F.Patel-Schneider、，描述逻辑手册：理论、实现和应用剑桥大学出版社，2003年·Zbl 1058.68107号
[2] 一、 《从SHIQ和RDF到OWL:网络本体语言的构建》，《网络语义学杂志》，第1期，第7-26页（2003年）·doi:10.1016/j.websem.2003.07.001
[3] J、 《解决不可满足本体的细粒度方法》，J.Data Semantics X，10，62-95（2008）·兹比尔1132.68060 ·doi:10.1007/978-3-540-77688-83
[4] 五十、 基因本体进化中序列变化的冲突诊断方法。，7, 269-284 (2014)
[5] 十、 确定具有最佳Chou氨基酸组成的DNA结合蛋白，即proteins Pept。莱特。，19, 398-405 (2012) ·doi:10.2174/092986612799789404
[6] J、 基于离散萤火虫优化和应用于癌症生物标记物识别的血浆中人类分泌蛋白的电子预测，Front。遗传学。，10, 542 (2019) ·doi:10.3389/fgene.2019.00542
[7] J、 利用序列衍生特征和谱系特异性方案预测生物发光蛋白，BMC Bioinf。，18, 1-13 (2017) ·doi:10.1186/s12859-017-1709-6
[8] S、 调试不连贯术语，J.Autom。推理，39，317-349（2007）·Zbl 1132.68740号 ·数字对象标识代码：10.1007/s10817-007-9076-z
[9] Y、 基于不可满足依赖路径的Glass-box调试算法，IEEE Access，518725-18736（2017）·doi:10.1109/ACCESS.2017.2753381
[10] F、 描述逻辑中基于结果和固定参数的可处理推理，Artif。智力。，209, 29-77 (2014) ·Zbl 1334.68211号 ·doi:10.1016/j.artint.2014.01.002
[11] Z.Zhou，G.Qi，B.Suntisrivaraporn，《寻找OWL 2 EL中所有理由的新方法》2013年IEEE/WIC/ACM网络智能国际会议, (2013), 213-220. https://doi.org/10.109/WI-IAT.2013.31
[12] 十、 DL-Lite，Knowl中基于图形的术语调试和修订方法。基于系统。，100, 1-12 (2016) ·doi:10.1016/j.knosys.2016.01.039
[13] B.C.Grau，I.Horrocks，Y.Kazakov，U.Sattler，本体模块化的逻辑框架第20届国际人工智能联合会议记录, (2007), 298-303.
[14] B.Grau，I.Horrocks，Y.Kazakov，U.Sattler，《恰到好处：从本体中提取模块》第十六届万维网国际会议记录, (2007), 717-726. https://doi.org/10.1145/1242572.1242669
[15] B.Cuenca Grau，C.Halaschek-Wiener，Y.Kazakov，《历史问题：使用模块的增量本体推理》，in第六届国际语义网会议论文集，第二届亚洲语义网会议论文集, (2007), 183-196. https://doi.org/10.1007/978-3-540-76298-0_14
[16] A.Kalyanpur、B.Parsia、M.Horridge、E.Sirin，《寻找OWL DL牵连的所有理由》第六届国际语义网会议、2007年国际语义网大会和第二届亚洲语义网会议论文集, (2007), 267-280. https://doi.org/10.1007/978-3-540-76298-0_20
[17] M.霍里奇，本体论中基于正当性的解释，博士论文，曼彻斯特大学，2011年。
[18] B.Suntisrivaraporn，模块提取和增量分类：（mathcal EL）+本体的实用方法第五届欧洲语义网络会议记录，（2008），第230-244页。https://doi.org/10.1007/978-3-540-68234-9_19
[19] J.Du，G.Qi，Q.Ji，用于解释OWL DL蕴含的目标定向模块提取，in第八届国际语义网络会议论文集, (2009), 163-179. https://doi.org/10.1007/978-3-642-04930-9_11
[20] J.Du，G.Qi，基于分解的优化，用于调试不一致的OWL DL本体，in第四届知识科学、工程和管理国际会议论文集, (2010), 88-100. https://doi.org/10.1007/978-3-642-15280-11
[21] M.Gao，Y.Ye，D.Ouyang，B.Wang，《通过近似大型本体的核心来寻找理由》第28届国际人工智能联合会议（IJCAI2019）会议记录, (2019), 6432-6433.
[22] Y、 通过提取冲突模块并识别根不可满足的概念Knowl来调试不一致的本体-基于系统。，223, 107043 (2021) ·doi:10.1016/j.knosys.2021.107043
[23] Y、 动态环境中调试非相干术语的优化策略，IEEE Access，5，24284-24300（2017）·doi:10.1109/ACCESS.2017.2758521
[24] Q.Ji，Z.Gao，Z.Huang，基于标准集BLUEI2CI的本体调试方法研究第六届中国语义网研讨会暨第一届中国网络科学会议论文集, (2013), 251-264. https://doi.org/10.1007/978-1-4614-6880-6_22
[25] Q、 测量本体调试系统的有效性，Knowl-基于系统。，71, 169-186 (2014) ·doi:10.1016/j.knosys.2014.07.023
[26] Y、 通过关键公理提取OWL本体的理由，Front。计算。科学。，14，55-64（2020）·doi:10.1007/s11704-019-7267-5
[27] J、 探索本体调试的二重性，应用。智力。，50, 620-633 (2020) ·doi:10.1007/s10489-019-01528-y
[28] J.Du，G.Qi，X.Fu，《解决非相干OWL 2 DL术语的实用细粒度方法》第23届ACM信息和知识管理国际会议记录, (2014), 919-928. https://doi.org/10.1145/2661829.2662046
[29] D.Fleischhacker，C.Mericke，J.Völker，M.Niepert，学习本体论的计算不连贯解释第七届网络推理和规则系统国际会议论文集, (2013), 80-94. https://doi.org/10.1007/978-3-642-39666-3_7
[30] G.Flouris，Z.Huang，J.Z.Pan，D.Plexousakis，H.Wache，《本体论中的不一致、否定和变化》第二十届全国人工智能大会暨第十八届人工智能创新应用大会论文集, (2006), 1295-1300.
[31] E、 Pellet:一个实用的owl-dl推理器，J.Web Semantics，551-53（2007）·doi:10.1016/j.websem.2007.03.004
[32] R.Shearer，B.Motik，I.Horrocks，HermiT：高效OWL推理机，年第五届OWLED OWL研讨会会议记录：经验和方向，与第七届国际语义网络会议（ISWC-2008）同期举行, (2008), 1-10.
[33] D.Tsarkov，I.Horrocks，FaCT++描述逻辑推理器：系统描述，in国际自动推理联合会议, (2006), 292-297. https://doi.org/10.1007/11814771_26
[34] F.Baader，B.Suntisrivaraporn，使用描述逻辑EL中的公理精确定位调试SNOMED CT，in第三届医学知识表征国际会议论文集, 410 (2008), 1-7.
[35] B、 本体的模块化重用：理论与实践，J.Artif。智力。决议，31，273-318（2008）·Zbl 1183.68479号 ·doi:10.1613/jair.2375
[36] H.Wang，M.Horridge，A.Rector，N.Drummond，J.Seidenberg，调试OWL-DL本体：启发式方法，in第四届国际语义网络会议论文集, (2005), 745-757. https://doi.org/10.1007/11574620_53
[37] Q.Ji，Z.Gao，Z.Huang，M.Zhu，基于模式调试本体的有效方法，in语义网联合国际语义技术会议论文集，（2011），第425-433页。https://doi.org/10.1007/978-3-642-29923-0_33
[38] Ó. Corcho，C.Roussey，L.M.Vilches-Blázquez，I.Perez，基于模式的OWL本体调试指南，in本体模式研讨会论文集（WOP 2009）, (2009), 1-15.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。