×
王哲；王克文；罗德尼·托波尔

基于替代语义特征的DL-Lite本体修订。 （英语） Zbl 1367.68297号

ACM事务处理。计算。日志。 第16号第4条第31条第37页（2015年）.

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

DL-Lite（DL-Lite）；描述逻辑；本体变更；修订
PDF格式BibTeX公司 XML格式引用
\textit{Z.Wang}等人，ACM Trans。计算。日志。16，第4号，第31条，37页（2015；Zbl 1367.68297）
全文： 内政部 链接

参考文献：

[1] C.酒精&#243；n、 第G页&#228；rdefors和D.Makinson。1985.论理论变革的逻辑：部分满足收缩和修正功能。符号逻辑杂志50，510–530·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] A.Artale、D.Calvanee、R.Kontchakov和M.Zakharyaschev。2009年，DL-Lite家族和关系。《人工智能研究杂志》36，1-69·Zbl 1192.68657号
[3] F.Baader、D.Calvanee、D.L.McGuinness、D.Nardi和P.F.Patel-Schneider。2003年，《描述逻辑手册》。剑桥大学出版社，纽约，纽约·Zbl 1058.68107号
[4] F.Baader、M.Lippmann和H.Liu。2010年。使用因果关系处理基于描述逻辑的行动形式中的分歧问题。第17届国际编程、人工智能和推理逻辑会议论文集（LPAR&#8217；17）。82–96. ·Zbl 1306.68180号 ·doi:10.1007/978-3642-16242-87
[5] F.Baader、C.Lutz、M.Milicic、U.Sattler和F.Wolter。2005.整合描述逻辑和动作形式：第一个结果。《第20届全国人工智能会议论文集》（AAAI&#8217；05）。572–577.
[6] M.Bienvenu和R.Rosati。2013.基于本体的数据访问的一致查询应答的可追踪近似。第23届国际人工智能联合会议记录（IJCAI&#8217；13）。
[7] M.Cadoli、F.M.Donini、P.Liberatore和M.Schaerf，1999年。修改后的知识库的大小。人工智能115，1，25–64·Zbl 0939.68853号 ·doi:10.1016/S0004-3702（99）00074-0
[8] D.Calvanee、G.De Giacomo、D.Lembo、M.Lenzerini和R.Rosati。2006.描述逻辑中查询应答的数据复杂性。《第十届知识表示与推理原则国际会议论文集》（KR&#8217；06）。260–270. ·兹比尔1270.68294
[9] D.Calvanee、G.De Giacomo、D.Lembo、M.Lenzerini和R.Rosati。2007.描述逻辑中的可追踪推理和高效查询回答：DL-Lite系列。《自动推理杂志》39，3，385–429·Zbl 1132.68725号 ·数字对象标识代码：10.1007/s10817-007-9078-x
[10] D.Calvanee、E.Kharlamov、W.Nutt和D.Zheleznyakov。2010年DL-Lite知识库的演变。第九届国际语义网络会议论文集（ISWC&#8217；10）。112–128之间·Zbl 05862219号 ·doi:10.1007/978-3-642-17746-08
[11] N.Cobby、K.Wang、Z.Wang和M.Sotomayor。2011.Ontorevision:prot&#233；中用于本体修订的插件系统；g&#233；。《联合国际语义技术会议论文集》（JIST&#8217；11）。417–424.
[12] N.Creignou、O.Papini、R.Pichler和S.Woltran。2012.命题逻辑片段中的信念修正。《第13届知识表示与推理原则国际会议论文集》（KR&#8217；12）。126–136. ·Zbl 1433.03044号
[13] B.Cuenca Grau、I.Horrocks、Y.Kazakov和U.Sattler。本体的模块化重用：理论与实践。《人工智能研究杂志》31，273–318·Zbl 1183.68479号
[14] B.Cuenca Grau、E.Jimenez-Ruiz、E.Kharlamov和D.Zhelenyakov。2012.语义约束下的本体演化。《第13届知识表示与推理原则国际会议论文集》（KR&#8217；12）。137–147.
[15] G.De Giacomo、M.Lenzerini、A.Poggi和R.Rosati。2007.关于描述逻辑中实例级更新和擦除的近似。第22届全国人工智能会议记录（AAAI&#8217；07）。403–408.
[16] G.De Giacomo、M.Lenzerini、A.Poggi和R.Rosati。2009.关于描述逻辑本体中的实例级更新和擦除。逻辑与计算杂志19，5，745-770·Zbl 1181.68274号 ·doi:10.1093/log.com/exn051
[17] M.达拉。1988年，对知识库修订理论的调查。在《第七届全国人工智能大会论文集》（AAAI&#8217；88）中。475–479.
[18] T.Eiter和G.Gottlob。1992年。关于命题知识库修订、更新和反事实的复杂性。人工智能57，227–270·Zbl 0763.68038号 ·doi:10.1016/0004-3702（92）90018-S
[19] G.Flouris、Z.Huang、J.Z.Pan、D.Plexousakis和H.Wache。2006年，本体论的不一致、否定和变化。《第21届全国人工智能会议论文集》（AAAI&#8217；06）。1295–1300.
[20] G.Flouris、D.Manakanatas、H.Kondylakis、D.Plexousakis和G.Antoniou。2008.本体变更：分类和调查。《知识工程评论》23、2、117–152·Zbl 05725129号 ·网址：10.1017/S0269888908001367
[21] G.Flouris、D.Plexousakis和G.Antoniou。2005年，关于将AGM理论应用于DL和OWL。第四届国际语义网络会议（ISWC-05）论文集。216–231. ·doi:10.1007/11574620_18
[22] S.Ghilardi、C.Lutz和F.Wolter。2006.我损坏了我的本体吗？描述逻辑中保守扩展的一个例子。《第十届知识表示与推理原则国际会议论文集》（KR&#8217；06）。187–197.
[23] P.Haase和L.Stojanovic。2005.OWL本体的一致发展。第二届欧洲语义网络会议论文集（ESWC&#8217；05）。182–197. ·doi:10.1007/11431053_13
[24] F.W.Hartel、S.de Coronado、R.Dionne、G.Fragoso和J.Golbeck。2005.为癌症研究建立描述逻辑词汇模型。生物医学信息学杂志38，2，114-129·doi:10.1016/j.jbi.2004.09.001
[25] M.Horridge、B.Parsia和U.Sattler。2009.解释OWL本体中的不一致。第三届可扩展不确定性管理国际会议论文集（SUM&#8217；09）。124–137之间·Zbl 05617237号 ·doi:10.1007/978-3642-04388-8_11
[26] A.Kalyanpur、B.Parsia、E.Sirin和J.A.Hendler。2005.调试OWL本体中不可满足的类。《网络语义杂志》3、4、268–293·Zbl 05461275号 ·doi:10.1016/j.websem.2005.09.005
[27] H.Katsuno和A.Mendelzon。1991.提案知识库修订和最小更改。人工智能52、3、263–294·Zbl 0792.68182号 ·doi:10.1016/0004-3702（91）90069-V
[28] E.Kharlamov、D.Zheleznyakov和D.Calvanee。2013.捕获实例级基于模型的本体演化：DL-Lite案例。《计算机与系统科学杂志》79，6835–872·Zbl 1307.68078号 ·doi:10.1016/j.jcss.2013.01.006
[29] B.Konev、R.Kontchakov、M.Ludwig、T.Schneider、F.Wolter和M.Zakharyaschev。2011.OWL 2 QL TBoxes的连接查询不可分割性。第25届AAAI人工智能会议论文集（AAAI&#8217；11）。
[30] R.Kontchakov、F.Wolter和M.Zakharyaschev。2008年。你能说出DL-Lite本体之间的区别吗？。《第十一届知识表示与推理原则国际会议论文集》（KR&#8217；08）。285–295.
[31] R.Kontchakov、F.Wolter和M.Zakharyaschev。2010.基于逻辑的本体比较和模块提取，以及DL Lite的应用程序。人工智能174、15、1093–1141·Zbl 1238.68154号 ·doi:10.1016/j.artint.2010.06.003
[32] M.Lenzerini和D.F.Savo。2011年，关于DL-Lite知识库实例级别的演变。第24届描述逻辑国际研讨会论文集（DL&#8217；11）。
[33] H.Liu、C.Lutz、M.Milicic和F.Wolter。2011.表达描述逻辑中实例级更新的基础。人工智能175、18、2170–2197·Zbl 1252.68277号 ·doi:10.1016/j.artint.2011.08.003
[34] T.Lukasiewicz、M.V.Martinez和G.I.Simari，2012年。数据日志+/-本体中的不一致处理。《第20届欧洲人工智能会议论文集》（ECAI&#8217；12）。558–563. ·Zbl 1327.68280号
[35] C.Lutz和F.Wolter。2011.表达描述逻辑中统一插值和遗忘的基础。第22届国际人工智能联合会议记录（IJCAI&#8217；11）。989–995.
[36] T.Meyer、K.Lee和R.Booth。2005.描述逻辑的知识集成。《第20届全国人工智能会议论文集》（AAAI&#8217；05）。645–650.
[37] N.Nikitina、S.Rudolph和B.Glimm。2012.交互式本体修订。《网络语义学杂志》12，118–130·doi:10.1016/j.websem.2011.12.002
[38] A.G.P&#233；雷兹，M.F.L&#243；佩兹和O.C.加西亚。2003年，本体工程，知识管理、电子商务和语义网领域的实例。Springer-Verlag，纽约州纽约市。
[39] G.Qi和J.Du。2009.描述逻辑中术语的基于模型的修订运算符。《第21届国际人工智能联合会议论文集》（IJCAI&#8217；09）。891–897.
[40] G.Qi、P.Haase、Z.Huang、Q.Ji、J.Z.Pan和J.V&#246；勒克。2008.术语-算法和评估的核心修订操作符。在《第七届国际语义网会议论文集》（ISWC&#8217；08）中。419–434. ·Zbl 05376282号 ·doi:10.1007/978-3-540-88564-1_27
[41] G.Qi、W.Liu和D.A.Bell。2006.描述逻辑中的知识库修订。《第十届欧洲人工智能逻辑会议论文集》（JELIA&#8217；06）。386–398. ·Zbl 1152.68614号 ·doi:10.1007/11853886_32
[42] G.Qi、Z.Wang、K.Wang，X.Fu和Z.Zhuang。2015年，DL-Lite中基于模型的ABox近似修订：理论与实践。第29届AAAI人工智能会议论文集（AAAI&#8217；15）。254–260.
[43] G.Qi和F.Yang。2008年，描述逻辑的修订方法综述。《第二届网络推理和规则系统国际会议论文集》（RR&#8217；08）。74–88. ·Zbl 05368209号 ·doi:10.1007/978-3-540-88737-97
[44] M.M.Ribeiro和R.Wassermann。2009.本体调试的基本版本。逻辑计算杂志19，5，721–743·兹比尔1194.68230 ·doi:10.1093/log.com/exn048
[45] M.M.Ribeiro、R.Wassermann、G.Flouris和G.Antoniou。2013年，最低限度的改变：重新审视相关性和恢复性。人工智能201，59-80·Zbl 1334.03012号 ·doi:10.1016/j.artint.2013.06.001
[46] R.Rosati、M.Ruzzi、M.Graziosi和G.Masotti。2012.OWL 2 QL本体中不一致处理技术的评估。第十一届国际语义网络会议（ISWC&#8217；12）论文集。337–349. ·Zbl 06267614号 ·doi:10.1007/978-3642-35173-023
[47] 佐藤。1988.最小信念修正的非单调推理。《第五代计算机系统国际会议论文集》。455–462.
[48] S.Schlobach、Z.Huang、R.Cornet和F.van Harmelen。2007.调试不连贯的术语。自动推理杂志39，3，317–349·Zbl 1132.68740号 ·数字对象标识代码：10.1007/s10817-007-9076-z
[49] S.Staab和R.Studer（编辑）。2009年，《本体论手册》（第二版）。Springer-Verlag，纽约州纽约市·Zbl 1429.68001号 ·doi:10.1007/978-3-540-92673-3
[50] Z.Wang、K.Wang和R.Topor。2010年a。DL-Lite中知识库修订的新方法。《第24届全国人工智能会议论文集》（AAAI&#8217；10）。369–374.
[51] Z.Wang、K.Wang和R.Topor。2010年b。修改描述逻辑中的一般知识库。在第12届知识表示与推理原则国际会议论文集（KR&#8217；10）中。599–601.
[52] Z.Wang、K.Wang，R.Topor和J.Z.Pan。2010年c。忘记DL-Lite中的知识库。数学与人工智能年鉴58，1–2，117–151·Zbl 1205.68410号 ·doi:10.1007/s10472-010-9187-9
[53] Z.Wang、K.Wang，Z.Zhuang和G.Qi。2015。DL Lite中实例驱动的本体进化。第29届AAAI人工智能会议记录（AAAI&#8217；15）。1656–1662.
[54] D.Zheleznyakov、D.Calvanee、E.Kharlamov和W.Nutt。2010.更新DL-Lite中的TBox。第23届描述逻辑国际研讨会论文集（DL&#8217；10）。
[55] Z.Zhuang、Z.Wang、K.Wang和J.Delgrade。2015.将AGM收缩扩展到任意逻辑。第24届国际人工智能联合会议记录（IJCAI&#8217；15）。3299–3307.
[56] Z.庄、Z.王、K.王和G.齐。2014年DL-Lite TBoxes的合同和修订。第28届AAAI人工智能会议论文集（AAAI&#8217；14）。1149–1156.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。