×
马塞洛·阿里纳斯；埃琳娜·博托埃娃；迭戈·卡尔瓦内斯；弗拉迪斯拉夫·里日科夫

知识库交换：OWL 2 QL案例。 （英语） Zbl 1385.68044号

Artif公司。智力。 238, 11-62 (2016).
摘要：在本文中，我们定义并研究了通过映射连接的源和目标知识库（KB）之间的知识交换问题。与只考虑数据交换的传统数据库交换设置不同，我们对交换隐含知识感兴趣。作为表示形式，我们使用描述逻辑（Description Logics，DL），因此假设源和目标知识库是作为DL-TBox+ABox给出的，而映射的形式是DL-TBox断言。我们定义了知识库交换的一般框架，并根据基于描述逻辑的标准Web本体语言OWL2的配置文件OWL2 QL中表示的映射，研究了源知识库中知识的翻译问题{DL-网站}_｛\mathcal｛R｝｝）。我们开发了新的游戏和自动机理论技术，并提供了从NLogSpace（非日志空间）到ExpTime（ExpTime）.

引用于三文件

MSC公司：

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

关键词：

描述逻辑；知识交流；DL-Lite（DL-Lite）；数据交换；查询不可分割性

软件：

EXPRESS（快递）
PDF格式BibTeX公司 XML格式引用
\textit{M.Arenas}等人，Artif。智力。238、11--62（2016；Zbl 1385.68044）
全文： 内政部 链接

参考文献：

[1] 科特，R。；Rothwell，D。；Palotay，J。；贝克特，R。；Brochu，L.，《人类和兽医系统化命名法》（1993年），美国病理学家学院：美国病理学家学会SNOMED International，Northfield，IL，技术报告
[2] 舒尔茨，S。；Marko，K。；Suntisrivaraporn，B.，复杂SNOMED CT表达的形式表示，BMC Med.Inform。Decis公司。制造商。，8 (2008)
[3] Lenzerini，M.，《数据集成：理论视角》，（第21届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（2002）），233-246
[4] Kementsietsidis，A。；阿雷纳斯，M。；Miller，R.J.，《对等系统中的数据映射：语义和算法问题》（ACM SIGMOD Int.Conf.on Management of data（2003），第325-336页
[5] 阿吉曼，P。；查塔利克，P。；Goasdoué，F。；罗塞特，M.-C。；Simon，L.，《对等环境中的分布式推理：语义网络的应用》，J.Artif。智力。决议，25，269-314（2006）·Zbl 1182.68007号
[6] 富克斯曼，A。；Kolaitis，P.G。；米勒，R.J。；Tan，W.C.，对等数据交换，ACM Trans。数据库系统。，31, 1454-1498 (2006)
[7] 尤泽纳特，J。；Shwaiko，P.，《本体匹配》（2007），施普林格·Zbl 1138.68488号
[8] Shvaiko，P。；Euzenat，J.，《本体匹配：现状和未来挑战》，IEEE Trans。知识。数据工程，25，158-176（2013）
[9] 尤泽纳特，J。；梅里克，C。；Stuckenschmidt，H。；Shvaiko，P。；dos Santos，C.T.，《本体对齐评估倡议：六年经验》，J.Data Semant。，15, 158-192 (2011)
[10] 迪亚科内斯库（Diaconescu，R.）。；J.戈根。；Stefaneas，P.，模块化的逻辑支持，（第二届逻辑环境年度研讨会论文（1993），剑桥大学出版社），83-130
[11] Cuenca Grau，B。；巴西娅，B。；Sirin，E。；Kalyanpur，A.，《模块化与网络本体论》（第十届知识表示与推理原则国际会议（KR）（2006）），198-209年
[12] Cuenca Grau，B。；霍洛克斯，I。；哈萨克夫，Y。；Sattler，U.，《本体的模块化重用：理论与实践》，J.Artif。智力。第3273-318号决议（2008年）·Zbl 1183.68479号
[13] 布瓦奇，S。；Fikes，R.，《知识翻译的声明性形式化》，（第四届信息与知识管理国际会议（CIKM）（1995），第340-347页）
[14] 杜，D。；Mcdermott，D。；齐，P.，语义网上的本体翻译，J.Data Semant。，2, 35-57 (2005) ·Zbl 1116.68596号
[15] 杜，D。；秦，H。；Liu，H.，数据挖掘中基于规则的知识的语义翻译，（第22届国际数据库与专家系统应用会议论文集）。程序。第22届数据库和专家系统应用国际会议（DEXA），计算机科学讲稿，第6861卷（2011年），施普林格出版社，74-89
[16] 费金，R。；Kolaitis，P.G。；米勒，R.J。；Popa，L.，《数据交换：语义和查询应答》，Theor。计算。科学。，336, 89-124 (2005) ·Zbl 1080.68019号
[17] Barceló，P.，关系数据交换的逻辑基础，SIGMOD Rec.，38，49-58（2009）
[18] 北卡罗来纳州舒。；豪斯，不列颠哥伦比亚省。；泰勒，R.W。；Ghosh，S.P。；Lum，V.Y.，EXPRESS:数据提取处理和重组系统，ACM Trans。数据库系统。，2134-174年（1977年）
[19] 哈斯，L.M。；Hernández，医学硕士。；Ho，H。；波帕，L。；Roth，M.，Clio成长：从研究原型到工业工具（ACM SIGMOD Int.Conf.on Management of Data，2005），805-810
[20] 阿雷纳斯，M。；巴塞洛，P。；利布金，L。；Murlak，F.，关系和XML数据交换，数据管理综合讲座，第8卷（2010年），Morgan&Claypool·Zbl 1216.68003号
[21] 阿雷纳斯，M。；巴塞洛，P。；利布金，L。；Murlak，F.，《数据交换基础》（2014），剑桥大学出版社
[22] 利布金，L。；Sirangelo，C.，《开放和封闭世界中的数据交换和模式映射》，J.Compute。系统。科学。，77, 542-571 (2011) ·Zbl 1215.68093号
[23] Hernich，A。；Schweikardt，N.，逻辑和数据交换：哪些解决方案是“好的”解决方案？，（修订了第八届国际逻辑与博弈与决策理论基础大会论文集（LOFT 8））。第八届国际逻辑与博弈与决策理论基础大会（LOFT 8）修订论文集，计算机科学讲义，第6006卷（2008年），施普林格出版社，61-85·Zbl 1287.68036号
[24] 费金，R。；Kolaitis，P.G。；波帕，L。；Tan，W.C.，《反向数据交换：应对空值》（第28届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会（PODS），2009年），23-32
[25] 阿雷纳斯，M。；佩雷斯，J。；Reutter，J.L.，《超越完整数据的数据交换》（第30届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会（PODS）（2011）），第83-94页
[26] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社）·Zbl 1058.68107号
[27] 莫蒂克，B。；Cuenca Grau，B。；霍洛克斯，I。；吴，Z。；Fokoue，A。；Lutz，C.，OWL 2网络本体语言概要（2012），W3C推荐标准，万维网联盟。可在
[28] Bao，J.，OWL2Web本体论语言文档概述（2012），W3C推荐，万维网联盟。可在
[29] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Rosati，R.，描述逻辑中的可追踪推理和高效查询回答：DL-Lite（DL-Lite）J.Autom家族。原因。，39, 385-429 (2007) ·Zbl 1132.68725号
[30] Botoeva，E。；Kontchakov，R。；里日科夫，V。；Wolter，F。；Zakharyaschev，M.，描述逻辑知识库的查询不可分割性游戏，Artif。智力。，234, 78-119 (2016) ·Zbl 1351.68263号
[31] 阿雷纳斯，M。；佩雷斯，J。；Riveros，C.，《模式映射的恢复：带回交换的数据》，ACM Trans。数据库系统。，34, 22:1-22:48 (2009)
[32] 费金，R。；Kolaitis，P.G。；波帕，L。；Tan，W.C.，通过合成和反转的模式映射进化，（模式匹配和映射（2011），Springer），191-222
[33] 菲克斯，R。；Cutkosky，M。；格鲁伯，T.R。；Van Baalen，J.，《知识共享技术项目概述》（1991年），斯坦福大学知识系统实验室，技术报告KSL 91-71
[34] McCarthy，J.，《形式化上下文注释》，（第13届国际人工智能联合会议（IJCAI）（1993年），摩根·考夫曼），555-560
[35] Buvac，S。；Mason，I.A.，《语境的命题逻辑》，（第11届人工智能全国大会（AAAI）（1993年），412-419
[36] Guha，R.，Contexts:a formalization and some applications（1992），斯坦福大学：斯坦福大学，加利福尼亚州斯坦福，美国，UMI订单号GAX92-17827
[37] 杜，D。；Mcdermott，D.，《跨本体论导出公理》，（第五届自治代理和多代理系统国际会议（AAMAS）（2006）），952-954
[38] Halevy，A.Y.，《使用视图回答查询：一项调查》，《超大数据库期刊》，10270-294（2001）·Zbl 1012.68910号
[39] 莱维，A.Y。；门德尔松，A.O。；萨吉夫，Y。；Srivastava，D.，使用视图回答查询，（第14届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会（PODS）（1995）），95-104
[40] Ullman，J.D.，《使用逻辑视图的信息集成》，（第六届数据库理论国际会议论文集）。程序。第六届数据库理论国际会议（ICDT），计算机科学讲稿，第1186卷（1997），斯普林格出版社，19-40
[41] Doan，A。；哈雷维，A.Y。；Ives，Z.G.，《数据集成原理》（2012），摩根考夫曼
[42] Halevy，A.Y。；阿什什，N。；比顿，D。；凯里，M.J。；德雷珀，D。；波洛克，J。；罗森塔尔，A。；Sikka，V.，《企业信息集成：成功、挑战和争议》（ACM SIGMOD Int.Conf.on Management of Data（2005）），778-787
[43] 诺伊，N.F。；Doan，A。；Halevy，A.Y.，语义集成（编辑），AI Mag.，26，7（2005）
[44] Calvanee，D。；德贾科莫，G。；Lembo博士。；Lenzerini，M。；Rosati，R.，《数据集成的概念建模》，（Borgida，A.T.；Chaudhri，V.；Giorgini，P.；Yu，E.，《概念建模：基础与应用——纪念John Mylopoulos的论文》，《计算机科学讲义》，第5600卷（2009），Springer）， 173-197 ·Zbl 1248.68161号
[45] Calvanee，D。；德贾科莫，G。；Lenzerini，M.，《本体集成框架》，（2001年国际语义网络工作交响乐会（SWWS）（2001）），303-316
[46] （Stuckenschmidt，H.；Parent，C.；Spacapietra，S.，《模块化本体论：知识模块化的概念、理论和技术》，模块化本体：概念、理论与技术，计算机科学讲义，第5445卷（2009年），Springer）·兹比尔1163.68005
[47] 科涅夫，B。；卢茨，C。；Walther，D。；Wolter，F.，《描述逻辑本体论的模型理论不可分割性和模块性》，Artif。智力。，203, 66-103 (2013) ·Zbl 1329.68248号
[48] 科涅夫，B。；Walther，D。；Wolter，F.，《大规模描述逻辑术语中的遗忘和统一插值》，（第21届国际人工智能联合会议（IJCAI）（2009年），830-835
[49] 尼基蒂娜，N。；Rudolph，S.，描述逻辑EL，Artif中一般术语一致插值的（非）简洁性。智力。，215, 120-140 (2014) ·Zbl 1308.68110号
[50] Koopmann，P。；Schmidt，R.A.，《带ABoxes的ALC本体的均匀插值和遗忘》，（第29届AAAI人工智能会议论文集（2015），AAAI出版社），175-181
[51] 卢茨，C。；Walther，D。；Wolter，F.，表达描述逻辑中的保守扩展，（第20届国际人工智能联合会议（IJCAI）（2007）），453-458
[52] Botoeva，E。；卢茨，C。；里日科夫，V。；Wolter，F。；Zakharyaschev，M.，《基于查询的蕴涵和ALC本体的不可分割性》，（第25届国际人工智能联合会议（IJCAI）（2016），AAAI出版社）
[53] 卢茨，C。；Wolter，F.，《确定描述逻辑中的不可分割性和保守扩展》，J.Symb。计算。，45, 194-228 (2010) ·Zbl 1187.68572号
[54] Kontchakov，R。；Wolter，F。；Zakharyaschev，M.，基于逻辑的本体比较和模块提取，以及DL-Lite的应用，Artif。智力。，174, 1093-1141 (2010) ·Zbl 1238.68154号
[55] 科涅夫，B。；Kontchakov，R。；路德维希，M。；施耐德，T。；Wolter，F。；Zakharyaschev，M.，OWL 2 QL TBoxes的连接查询不可分割性，（第25届AAAI人工智能大会（AAAI）（2011），221-226
[56] 布莱克本，P。；de Rijke，M。；《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷（2001年），剑桥大学出版社·Zbl 0988.03006号
[57] Abiteboul，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·卫斯理出版社。公司·Zbl 0848.68031号
[58] 阿雷纳斯，M。；Botoeva，E。；Calvanee，D。；里日科夫，V。；Sherkhonov，E.，《交换描述逻辑知识库》，（第13届国际知识表示与推理原理会议论文集（2012），AAAI出版社），308-318
[59] Kolaitis，P.G.，模式映射、数据交换和元数据管理，（第24届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会（PODS）（2005年）的会议记录），61-75
[60] 费金，R。；Kolaitis，P.G。；Popa，L.，《数据交换：走向核心》，ACM Trans。数据库系统。，30, 174-210 (2005) ·Zbl 1326.68119号
[61] Artale，A。；Calvanee，D。；Kontchakov，R。；Zakharyaschev，MDL-Lite（DL-Lite）家庭和关系，J.Artif。智力。决议，36，1-69（2009年）·Zbl 1192.68657号
[62] Mazala，R.，《无限游戏》，（Grädel，E.；Thomas，W.；Wilke，T.，《自动机、逻辑和无限游戏》。自动机、逻辑学和无限游戏，计算机科学讲义，第2500卷（2002），Springer），23-42·Zbl 1021.91502号
[63] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·韦斯利出版社。公司·Zbl 0833.68049号
[64] Vardi，M.Y.，《关系查询语言的复杂性》，（第14届ACM SIGACT计算机理论研讨会（STOC）论文集（1982）），137-146
[65] Vardi，M.Y.，《用双向自动机推理过去》，（第25届国际自动机、语言和程序设计学会论文集）。程序。第25国际学院。关于自动机、语言和编程（ICALP），计算机科学讲义，第1443卷（1998年），施普林格出版社，628-641·Zbl 0909.03019号
[66] 巴盖特，J.-F。；Leclère，M。；Mugnier，M.-L。；Salvat，E.，《关于存在变量的规则：行走可判定线》，Artif。智力。，175, 1620-1654 (2011) ·Zbl 1225.68247号
[67] Hernich，A.，《在保护TGD下计算通用模型》，（第15届国际数据库理论会议（ICDT）（2012年），222-235
[68] Gottlob，G。；曼纳，M。；Pieris，A.，《结合存在规则的可判定性范式》，理论与实践。日志。程序。，13, 877-892 (2013) ·Zbl 1286.68044号
[69] 费金，R。；Kolaitis，P.G。；波帕，L。；Tan，W.C.，《合成模式映射：救援的二阶依赖性》，ACM Trans。数据库系统。，30, 994-1055 (2005)
[70] Fagin，R.，反转模式映射，ACM Trans。数据库系统。，32, 25:2-25:53 (2007) ·Zbl 1326.68118号
[71] 查特吉，K。；Henzinger，M.，交替Büchi游戏的An（O（n^2）时间算法，（第23届ACM-SIAM离散算法研讨会（SODA）（2012年）会议记录），1386-1399·Zbl 1421.68110号
[72] 穆勒，D.E。；Schupp，P.E.，无限树上的交替自动机，Theor。计算。科学。，54, 267-276 (1987) ·Zbl 0636.68108号
[73] 库普夫曼，O。；瓦尔迪，M.Y。；Wolper，P.，《分支时间模型检验的自动机理论方法》，J.ACM，47，312-360（2000）·Zbl 1133.68376号
[74] 艾默生，E.A。；Jutla，C.S.，树自动机，μ演算和确定性，（第32届计算机科学基础年会论文集（1991）），368-377
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。