×
安东尼拉·波吉;多梅尼科·伦博;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂

将数据链接到本体。 （英语） Zbl 1132.68061号

Spacapietra，Stefano（编辑），《数据语义学杂志》X。柏林：施普林格出版社（ISBN 978-3-540-77687-1/pbk）。计算机科学课程讲稿4900。《期刊副刊》，133-173（2008）。
摘要：如今，许多组织都面临着通过强大而高效的灵活机制访问现有数据源的问题。本体论被广泛认为是一种适用于复杂数据访问的正式工具。本体在高抽象级别上表示信息系统的感兴趣领域，本体中概念和角色的源数据和实例之间的关系通过映射表示。在本文中，我们提出了一个解决方案，以设计有效的基于本体的数据访问系统。我们的解决方案基于三种主要成分。首先，我们提出了一种新的本体语言，它基于描述逻辑，特别适合于对大量实例进行推理。第二个要素是一种新的映射语言，它能够处理所谓的阻抗不匹配问题，即源管理的基本元素（即数据）与本体管理的元素（即对象）之间的差异引起的问题。第三个要素是查询应答方法，它将本体级的推理与特定机制结合起来，既考虑到映射，又有效地访问源数据。
关于整个系列，请参见[Zbl 1130.68014号].

引用于57文件

MSC公司：

68立方英尺 知识表示
第68页第27页 人工智能中的逻辑
第68页第20页 信息存储和数据检索

软件：

马夫拉
PDF格式BibTeX公司 XML格式引用
\textit{A.Poggi}等人，Lect。注释计算。科学。4900、133--173（2008年；Zbl 1132.68061）
全文： 内政部

参考文献：

[1] 阿比特布尔，S。；船体，R。；维亚努，V.，《数据库基础》（1995），阅读：Addison-Wesley Publ。Co，阅读·Zbl 0848.68031号
[2] Acciarri，A.、Calvanee，D.、De Giacomo，G.、Lembo，D.、Lenzerini，M.、Palmieri，M.和Rosati，R.：QuOnto:查询本体论。In:AAAI 2005。程序。第20届全国人工智能大会，第1670-1671页（2005）
[3] Baader，F.，Brandt，S.，Lutz，C.：推动（mathcal{EL}）信封。收录于：IJCAI 2005。程序。第19届国际人工智能联合会议，第364-369页（2005）
[4] 巴德，F。；Calvanee，D。；McGuinness，D。；Nardi博士。；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2003），剑桥：剑桥大学出版社，剑桥·Zbl 1058.68107号
[5] Barrasa，J.，Corcho，O.，Gomez-Perez，A.：R2O，一种可扩展的基于语义的数据库到本体映射语言。位于：WebDB 2004。程序。第七届网络与数据库国际研讨会（2004年）
[6] Calvanee，D.，De Giacomo，G.，Lembo，D.，Lenzerini，M.，Rosati，R.：DL-Lite：本体论的可牵引描述逻辑。In:AAAI 2005。程序。第20届全国人工智能大会，第602-607页（2005）·Zbl 1132.68725号
[7] Calvanee，D.，De Giacomo，G.，Lembo，D.，Lenzerini，M.，Rosati，R.：描述逻辑中查询应答的数据复杂性。收入：KR 2006。程序。第十届国际知识表示与推理原理大会，第260-270页（2006）·Zbl 1270.68294号
[8] Calvanee，D.，De Giacomo，G.，Lembo，D.，Lenzerini，M.，Rosati，R.：描述逻辑中的可追踪推理和高效查询回答：DL-Lite家族。自动化推理杂志（将于2007年出版）·兹比尔1132.68725
[9] Calvanee，D。；德贾科莫，G。；伦泽里尼，M。；Nardi，D。；Rosati，R.，《数据仓库中的数据集成》，《合作信息系统国际期刊》，10，3，237-271（2001）·doi:10.1142/S0218843001000345
[10] 多尼尼，F.M。；伦泽里尼，M。；Nardi博士。；Schaerf，A.，《概念语言中的演绎：从包含到实例检查》，《逻辑与计算杂志》，4，4，423-452（1994）·Zbl 0809.68109号 ·doi:10.1093/log.com/4.4.423
[11] Goasdoue，F。；拿铁，V。；Rousset，M.-C.，《信息集成中CARIN语言和算法的使用：Picsel系统》，《合作信息系统国际期刊》，9，4，383-401（2000）·doi:10.1142/S0218843000000181
[12] Grosof，B.N.，Horrocks，I.，Volz，R.，Decker，S.：描述逻辑程序：将逻辑程序与描述逻辑相结合。收录于：WWW 2003。程序。第十二届国际互联网大会，第48-57页（2003年）
[13] 赫夫林，J。；亨德勒，J.，《语义网络的行动》，IEEE智能系统，16，2，54-59（2001）·数字标识代码：10.1109/5254.920600
[14] 霍洛克斯，I。；Patel-Schneider，P.F。；van Harmelen，F.，From（\mathcal{SHIQ}）and RDF to OWL:web本体语言的构建，web语义杂志，1，1，7-26（2003）
[15] 船体，R。；Paredaens，J.，《类型化复杂数据库对象理论研究综述》，《数据库》，193-256（1988），伦敦：学术出版社，伦敦
[16] Hull，R.，Yoshikawa，M.：ILOG：对象标识符的声明性创建和操作。In:VLDB 1990年。程序。第16届国际超大数据库会议，第455-468页（1990）
[17] Hustadt，U.，Motik，B.，Sattler，U.：非常有表现力的描述逻辑中推理的数据复杂性。收录于：IJCAI 2005。程序。第19届国际人工智能联合会议，第466-471页（2005）
[18] Komorowski，H.J.：抽象Prolog机器的规范及其在部分评估中的应用。林雪平大学LSST 69技术报告（1981年）
[19] Lenzerini，M.：《数据整合：理论视角》。收录：PODS 2002。程序。第21届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》，第233-246页（2002年）
[20] Lloyd，J.W.，《逻辑编程基础》（1987），海德堡：斯普林格·Zbl 0668.68004号
[21] 劳埃德·J·W。；Shepherdson，J.C.，逻辑编程中的部分评估，《逻辑编程杂志》，第11期，第217-242页（1991年）·兹比尔07416.88030 ·doi:10.1016/0743-1066（91）90027-M
[22] Lutz，C.：用具体领域描述逻辑：一项调查。收录：Balbiani，P.，Suzuki，N.Y.，Wolter，F.，Zakharyaschev，M.（编辑）《模态逻辑进展》，第4卷，国王学院出版物（2003）·Zbl 1082.03032号
[23] Mädche，A。；莫蒂克，B。；西尔瓦，N。；沃尔兹·R。；Gómez-Pérez，A。；Benjamins，V.R.，MAFRA-分布式本体的映射框架，EKAW 2002，235-250（2002），海德堡：施普林格·Zbl 1019.68726号
[24] Meseguer，J.，Qian，X.：面向对象数据库的逻辑语义。In：程序。ACM SIGMOD国际数据管理会议，第89-98页（1993）
[25] Minker，J.，《基于逻辑的数据集成方法》，逻辑编程理论与实践，2，3，293-321（2002）·Zbl 1087.68527号 ·文件编号：10.1017/S147106840201394
[26] Ortiz，M.M.，Calvanee，D.，Eiter，T.：表征表达描述逻辑中联合查询应答的数据复杂性。收录于：AAAI 2006。程序。第21届全国人工智能大会（2006年）·Zbl 1154.68102号
[27] Poggi，A.：结构化和半结构化数据集成。罗马拉萨皮恩扎大学信息与系统学院博士论文（2006年）
[28] Reiter，R。；加莱尔，H。；Minker，J.，《封闭世界数据库、逻辑和数据库》，119-140（1978），纽约：Plenum Publ。Co，纽约
[29] Scharffe，F.，de Bruijn，J.：一种指定本体之间映射的语言。收录于：SITIS 2005。程序。第一届信号图像技术和基于互联网的系统国际会议，第267-271页（2005）
[30] 塞拉菲尼，L。；A.塔米林。；Gómez-Pérez，A。；Euzenat，J.，DRAGO:语义Web的分布式推理架构，ESWC 2005，361-376（2005），海德堡：施普林格
[31] Vardi，M.Y.：关系查询语言的复杂性。收录：STOC 1982。程序。第14届ACM SIGACT交响乐团。《计算理论》，第137-146页（1982）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。