×
桂林齐;杜建峰

使用不确定和不一致的OWL本体进行推理。 （英语） Zbl 1251.68234号

托马斯·艾特（编辑）等人，《推理网络》。高级查询应答的语义技术。2012年9月3日至8日，奥地利维也纳，第八届国际暑期学校。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33157-2/pbk）。计算机科学课堂讲稿7487，211-244（2012）。
摘要：描述逻辑中的不确定性推理和不一致性推理是基于描述逻辑的本体工程发展中的两个重要问题。在构建本体时，可以获得不一致的本体，并且充满不确定信息，例如置信值。本文提出了描述逻辑中不一致和不确定本体的推理方法。本文由两部分组成。在第一部分中，我们针对具有不确定信息的本体提出了一些不一致容忍语义。在第二部分中，我们提出了一种解决由错误映射导致的两个异构本体之间不一致的方法。
有关整个系列，请参见[Zbl 1250.68026号]。

MSC公司：

68立方英尺 知识表示
第68页第27页 人工智能中的逻辑

软件：

数据日志;普韦布洛
PDF格式BibTeX公司 XML格式引用
\textit{G.Qi}和\textit{J.Du}，Lect。注释计算。科学。7487，211--244（2012；Zbl 1251.68234）
全文： 内政部

参考文献：

[1] Baader，F.，Calvanese，D.，McGuinness，D.L.，Nardi，D.，Patel Schneider，P.F.（编辑）：描述逻辑手册：理论、实现和应用。剑桥大学出版社，纽约（2003）·Zbl 1058.68107号
[2] Baader，F.，Peñaloza，R.，Suntisrivaraporn，B.：描述逻辑EL中的精确定位+收录：Hertzberg，J.、Beetz，M.、Englert，R.（编辑）KI 2007。LNCS（LNAI），第4667卷，第52-67页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-74565-57
[3] Benferhat，S.、Cayrol，C.、Dubois，D.、Lang，J.、Prade，H.：不一致性管理和基于优先句法的隐含。In：程序。IJCAI 1993年第640–647页（1993年）
[4] Cayrol，C.、Lagasquie-Schiex，M.、Schiex、T.：非单调推理：从复杂性到算法。《数学与人工智能年鉴》22（3-4），207–236（1998）·Zbl 0905.68142号 ·doi:10.1023/A：1018939502485
[5] Du，J.，Qi，G.，Shen，Y.：基于不一致shiq知识库的基于权重的一致查询回答。知识与信息系统（2012），doi:10.1007/s10115-012-0478-9·doi:10.1007/s10115-012-0478-9
[6] Du，J.，Shen，Y.：计算最小成本诊断以修复基于dl的本体。In：程序。WWW 2008，第565-574页。ACM（2008）·doi:10.1145/1367497.1367574
[7] Eén，n.，Sörensson，n.：将伪布尔约束转化为SAT。可满足性、布尔建模和计算杂志2，1–26（2006）·Zbl 1116.68083号
[8] Eiter，T.、Gottlob，G.、Mannila，H.：分离数据日志。ACM数据库系统事务22（3），364–418（1997）·doi:10.145/261124.261126
[9] Euzenat，J.，Shvaiko，P.：本体匹配。斯普林格，海德堡（2007）
[10] Fitting，M.：一阶逻辑和自动定理证明，第2版。Springer Verlag纽约公司，Secaucus（1996）·Zbl 0848.68101号 ·数字对象标识代码：10.1007/978-1-4612-2360-3
[11] Gardenfors，P.：认识状态动态流动模型的知识。麻省理工学院出版社，剑桥（1988）
[12] Cuenca Grau，B.，Horrocks，I.，Kazakov，Y.，Sattler，U.：数量适中：从本体中提取模块。In：程序。WWW，第717–726页（2007年）
[13] Haase，P.，Völker，J.：本体学习和推理——处理不确定性和不一致性。收录人：da Costa，P.C.G.，d'Amato，C.，Fanizzi，N.，Laskey，K.B.，Laskie，K.J.，Lukasiewicz，T.，Nickles，M.，Pool，M.（编辑）URSW 2005-2007。LNCS（LNAI），第5327卷，第366–384页。斯普林格，海德堡（2008）·文件编号：10.1007/978-3-540-89765-1_21
[14] S.O.汉森：扭转李维斯身份。《哲学逻辑杂志》22（6），637-669（1993）·Zbl 0788.03033号 ·doi:10.1007/BF01054039
[15] Hansson，S.O.：内核收缩。符号逻辑杂志59（3），845–859（1994）·Zbl 0810.03017号 ·doi:10.2307/2275912
[16] Hansson，S.O.：《信念动力学教科书：理论变革和数据库更新》。Kluwer学术出版社（1999）·Zbl 0947.03023号 ·doi:10.1007/978-94-007-0814-3
[17] Heinsohn，J.：概率描述逻辑。In：程序。UAI 1994，第311-318页。摩根·考夫曼（1994）·doi:10.1016/B978-1-55860-332-5.50044-4
[18] Horrocks，I.，Patel-Schneider，P.F.：将OWL蕴涵减少到描述逻辑可满足性。收录人：Fensel，D.、Sycara，K.、Mylopoulos，J.（编辑）ISWC 2003。LNCS，第2870卷，第17-29页。斯普林格，海德堡（2003）·doi:10.1007/978-3-540-39718-22
[19] Horrocks，I.，Sattler，U.，Tobies，S.：非常富有表现力的描述逻辑的实用推理。IGPL逻辑杂志8（3），239–263（2000）·Zbl 0967.03026号 ·doi:10.1093/jigpal/8.3.239
[20] Huang，Z.，van Harmelen，F.，ten Teije，A.：不一致本体论的推理。In：程序。IJCAI，第454–459页（2005年）
[21] Hustadt，U.，Motik，B.，Sattler，U.：通过减少析取数据日志在描述逻辑中进行推理。《自动推理杂志》39（3），351–384（2007）·兹比尔1132.68735 ·数字对象标识代码：10.1007/s10817-007-9080-3
[22] Jaeger，M.：术语逻辑中的概率推理。In：程序。KR 1994，第305-316页。摩根·考夫曼（1994）·doi:10.1016/B978-1-4832-1452-8.50124-X
[23] Krentel，M.W.：优化问题的复杂性。《计算机与系统科学杂志》36（3），490-509（1988）·Zbl 0652.68040号 ·doi:10.1016/0022-0000（88）90039-6
[24] Lembo，D.，Ruzzi，M.：描述逻辑本体论的一致查询答案。收录人：Marchiori，M.，Pan，J.Z.，Marie，C.d.S.（编辑）RR 2007。LNCS，第4524卷，第194-208页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-72982-2_14
[25] Lynch，C.，Snyder，W.，Bachmair，L.，Ganzinger，H.：基本副调制。信息与计算121（2），172-192（1995）·Zbl 0834.68123号 ·doi:10.1006/inco.1995.1134
[26] Lukasiewicz，T.：具有条件约束的概率缺省推理。数学与人工智能年鉴34（1-3），35-88（2002）·Zbl 1002.68175号 ·doi:10.1023/A:1014445017537
[27] Lukasiewicz，T.：表达概率描述逻辑。人工智能172（6-7），852-883（2008）·Zbl 1182.68283号 ·doi:10.1016/j.artint.2007.10.017
[28] Lukasiewicz，T.，Straccia，U.：管理语义网络描述逻辑中的不确定性和模糊性。《网络语义杂志》6（4），291–308（2008）·doi:10.1016/j.websem.2008.04.001
[29] Ma，Y.，Hitzler，P.，Lin，Z.：利用OWL进行准一致推理的算法。收录：Franconi，E.，Kifer，M.，May，W.（编辑）ESWC 2007。LNCS，第4519卷，第399–413页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-72667-8_29
[30] Meilike，C.，Stuckenschmidt，H.：将逻辑约束应用于本体匹配。收录：Hertzberg，J.，Beetz，M.，Englert，R.（编辑）KI 2007。LNCS（LNAI），第4667卷，第99–113页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-74565-5_10
[31] Meilike，C.，Stuckenschmidt，H.，Tamilin，A.：修复本体映射。In：程序。AAAI 2007，第1408-1413页。AAAI出版社（2007）
[32] Meilike，C.，Stuckenschmidt，H.，Tamilin，A.：映射修订的推理支持。逻辑与计算杂志（2008）·Zbl 1194.68227号
[33] Meilicke，C.，Völker，J.，Stuckenschmidt，H.：学习轻量级本体论之间调试映射的不连贯性。收录：Gangemi，A.，Euzenat，J.（编辑）EKAW 2008。LNCS（LNAI），第5268卷，第93-108页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-87696-0_11
[34] Meyer，T.，Lee，K.，Booth，R.：描述逻辑的知识集成。In：程序。AAAI 2005，第645–650页（2005）
[35] Motik，B.：使用解析和演绎数据库进行描述逻辑推理。德国卡尔斯鲁厄大学博士论文（2006年1月）
[36] Nebel，B.：基本修订操作和方案：语义、表示和复杂性。In：程序。ECAI 1994，第341-345页（1994）
[37] Nieuwenhuis，R.，Rubio，A.：用排序和等式约束子句证明定理。符号计算杂志19（4），321–351（1995）·Zbl 0844.68107号 ·doi:10.1006/jsco.1995.1020
[38] Odintsov，S.P.，Wansing，H.：《容忍不一致的描述逻辑：动机和基本系统》，第301–335页。Kluwer学术出版社（2003）·Zbl 1048.03021号
[39] Peñaloza，R.，Sertkaya，B.：公理精确定位很难。In：程序。DL 2009（2009）
[40] Qi，G.：可能性逻辑中迭代修正的语义方法。In：程序。AAAI，第523–528页（2008年）
[41] Qi，G.，Haase，P.，Huang，Z.，Ji，Q.，Pan，J.Z.，Völker，J.：术语的核修正算子——算法和评估。收录人：Sheth，A.P.、Staab，S.、Dean，M.、Paolucci，M.，Maynard，D.、Finin，T.、Thirunarayan，K.（编辑）ISWC 2008。LNCS，第5318卷，第419-434页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-88564-1_27
[42] Qi，G.，Ji，Q.，Pan，J.Z.，Du，J.：用可能性逻辑中的不确定性推理扩展描述逻辑。《国际智能系统杂志》26（4），353–381（2011）·Zbl 1210.68110号 ·doi:10.1002/int.20470
[43] Qi，G.，Liu，W.，Bell，D.：处理描述逻辑中不一致性的基于修正的方法。《人工智能评论》26（1-2），115–128（2006）·doi:10.1007/s10462-007-9044-3
[44] Reiter，R.：基于第一原理的诊断理论。人工智能32（1），57–95（1987）·Zbl 0643.68122号 ·doi:10.1016/0004-3702（87）90062-2
[45] Sheini，H.M.，Sakallah，K.A.：普韦布洛：混合伪布尔SAT解算器。可满足性、布尔建模和计算杂志2157-181（2006）·Zbl 1116.68090号
[46] Suntisrivaraporn，B.，Qi，G.，Ji，Q.，Haase，P.：一种基于模块化的方法，用于寻找OWL DL Entendises的所有理由。收录：Domingue，J.，Anutariya，C.（编辑）ASWC 2008。LNCS，第5367卷，第1-15页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-89704-0_1
[47] Zimmermann，A.，Euzenat，J.：分布式系统的三种语义及其与对齐组合的关系。收录人：Cruz，I.、Decker，S.、Allemang，D.、Preist，C.、Schwabe，D.、Mika，P.、Uschold，M.、Aroyo，L.M.（编辑）ISWC 2006。LNCS，第4273卷，第16-29页。斯普林格，海德堡（2006）·数字对象标识代码：10.1007/11926078_2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。