×
加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松

链接数据使用者的最小类型推断。 （英语） Zbl 1329.68085号

J.日志。阿尔盖布。方法计划。 84，第4期，485-504（2015）.
摘要：我们从希望使用链接数据构建应用程序的Web开发人员的角度介绍了链接数据的Web。我们发现了开发堆栈中的一个弱点，即缺乏用于设计使用链接数据的后台进程的特定于域的脚本语言。为了解决这个弱点，我们设计了一种脚本语言，它具有简单但适当的类型系统。在我们提出的架构中，一些数据来自系统控制之外的源，而一些数据则保存在本地。与外部数据相比，可以对本地数据进行更强的类型假设，因此我们的类型系统混合了静态和动态类型。我们证明了我们的类型系统是算法的；因此，可以用于最小类型推断。我们还证明了主题缩减和类型安全的结果，这证明了我们的语言是静态类型检查的，并且不会抛出基本的运行时类型错误。自始至终，我们将我们的工作与驱动链接数据的W3C建议联系起来，以便Web开发人员可以访问我们的语法。

引用于2文件

MSC公司：

68第05页 数据结构
68英里11 互联网主题
68问题55 计算理论中的语义学

关键词：

类型系统;操作语义学;链接的数据

软件：

函数;SPARQL公司;数据-Fu;耶拿;乌龟;XPath（XPath）
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciobanu}等人，J.Log。阿尔盖布。方法计划。84，第4号，485--504（2015；Zbl 1329.68085）
全文： 内政部 arXiv公司

参考文献：

[1] 丹尼尔·阿巴迪（Daniel J.Abadi）。；亚当·马库斯（Adam Marcus）；塞缪尔·马登。；Kate Hollenbach，《使用垂直分区的可伸缩语义Web数据管理》（第33届超大数据库国际会议论文集（2007），VLDB捐赠），411-422
[2] 阿霍，阿尔弗雷德五世。；拉维·塞提；莫妮卡·S·林。；杰弗里·乌尔曼（Jeffrey D.Ullman），《编译器：原理、技术和工具》（Compilers:Principles，Techniques，&Tools）（2007），培生教育出版社·Zbl 1155.68020号
[3] 佛朗哥·巴巴内拉；玛丽安吉拉·德扎尼·西安卡里尼（Dezani-Ciancaglini）；Deliguoro、Ugo、交集和并集类型：语法和语义、Inf.Comput.、。，119, 2, 202-230 (1995) ·Zbl 0832.68065号
[4] David Beckett，Redland RDF应用程序框架的设计和实现，计算。净值。，39577-588（2002年）
[5] Tim Berners-Lee，《信息管理：提案》（1989年），网址：
[6] Berners-Lee，Tim，链接数据-设计问题（2006年），网址：
[7] 蒂姆·伯纳斯-李（Tim Berners-Lee）；詹姆斯·亨德勒；拉西拉，奥拉，语义网，科学。美国，284，5，28-37（2001）
[8] 保罗·比伦（Paul V.Biron）。；Malhotra，Ashok，XML模式第2部分：数据类型第二版（2004年），建议REC-xmlschema-2-20041028，W3C，可在：
[9] 自行车，克里斯蒂安；Seaborne，Andy，D2RQ将非RDF数据库视为虚拟RDF图，（第三届国际语义Web会议论文集。第三届世界语义Web会议文献集，（ISWC2004）（2004）），26
[10] Bizer，Christian，DBpedia：数据网络的结晶点，网络Semant。科学。服务。代理万维网，7，3，154-165（2009）
[11] Dan Brickley；Guha，Ramanathan V.，RDF词汇描述语言1.0:RDF Schema（2014），编辑建议PER-RDF-Schema-20140109，W3C，网址：
[12] 谢尔盖·布林；Lawrence Page，大型超文本Web搜索引擎的剖析，计算。Netw公司。ISDN系统。，30, 1, 107-117 (1998)
[13] Jeen Broekstra；阿约翰·坎普曼（Arjohn Kampman）；van Harmelen，Frank，Sesame：用于存储和查询RDF和RDF模式的通用架构，（国际语义Web会议（2002）），54-68·Zbl 1048.68693号
[14] 杰里米·卡罗尔。；自行车，克里斯蒂安；海斯，帕特；Patrick Stickler，《命名图》，Web Semant。科学。服务。代理万维网，3，4，247-267（2005）
[15] 查克拉巴蒂，苏丹；范登伯格（Martin Van den Berg）；Dom，Byron，《聚焦爬行：特定主题Web资源发现的新方法》，Compute。净值。，31, 11, 1623-1640 (1999)
[16] Cho，Junghoo；赫克托·加西亚·莫利纳；佩奇，劳伦斯，通过URL排序高效爬行，计算。Netw公司。ISDN系统。，30, 1, 161-172 (1998)
[17] 加布里埃尔·乔巴努；Horne，Ross，《数据更新的原产地跟踪模型》（FOCLASA（2012）），第31-44页
[18] 加布里埃尔·乔巴努；罗斯·霍恩；Sassone，Vladimiro，链接数据消费者的本地类型检查（Proceedings WWV 2013）。2013年WWV会议记录，EPTCS，第123卷（2013），19-33
[19] 加布里埃尔·乔巴努；罗斯·霍恩；Sassone，Vladimiro，链接数据资源的描述性类型，（Proceedings PSI 2014。2014年PSI会议记录，LNCS（2015），Springer）·Zbl 1434.68080号
[21] 迪扎尼，马里安吉拉；罗斯·霍恩；Sassone，Vladimiro，《追踪关联数据的来源：微积分》，Theor。计算。科学。，464, 113-129 (2012) ·Zbl 1253.68043号
[22] Dürst，M。；Suignard，M.，《国际化资源标识符（IRI）》（2005年），标准跟踪RFC3987，IETF，网址：
[23] 奥尔里·埃尔林（Orri Erling）；Mikhailov，Ivan，Virtuoso DBMS中的RDF支持，（CSSW（2007）），59-68
[24] 罗伊·T·菲尔丁。；理查德·泰勒（Richard N.Taylor），现代网络架构的原则设计，ACM Trans。互联网技术。，2, 2, 115-150 (2002)
[25] 瓦莱里亚·菲昂达；克劳迪奥·古铁雷斯；Pirró，Giuseppe，《数据网络上的语义导航：路由、网络碎片和动作规范》（《第21届万维网国际会议论文集》（2012年），ACM），281-290
[26] Paul Gearon；亚历山大·帕桑特；Polleres，Axel，SPARQL 1.1更新（2013），REC-sparql11-update-20130321建议，W3C，网址：
[27] 阿莱西奥·古列尔米；Tom Gundersen，《通过原子流进行深度推理的规范化控制》，Log。方法计算。科学。，4, 1 (2008) ·Zbl 1142.03033号
[28] 彼得·黑塞（Peter Haase）；Michael Schmidt；Hütter，Christian；Andreas Schwarte，《信息工作台作为链接数据应用程序的自助服务平台》（WWW 2012）。WWW 2012，法国里昂（2012））
[29] 史蒂夫·哈里斯；Nick Lamb；Shadbolt，Nigel，4store:集群RDF存储的设计和实现（第五届可扩展语义Web知识库系统国际研讨会（2009）），94-109
[30] 史蒂夫·哈里斯；Seaborne，Andy，SPARQL 1.1查询语言（2013），建议REC-sparql11-query-20130321，W3C，MIT，MA，网址：
[31] 汤姆·希思；Bizer，Christian，《关联数据：将网络演变为全球数据空间》，《语义网络综合讲座》（2011年），Morgan&Claypool出版社
[32] Hendler，James A.，所有聪明的特工都在哪里？，IEEE智能。系统。，22、3、2-3（2007），网址：
[33] 希茨勒，帕斯卡；马库斯·科洛奇；巴西亚·比扬；彼得·施奈德（Peter F.Patel-Schneider）。；Rudolph，Sebastian，OWL 2 Web本体语言初级读本（第二版）（2012年），REC-owl2-primer-2012121建议，W3C，网址：
[34] 罗斯？霍恩（Horne，Ross），《读写关联数据的编程语言和原理》（2011），南安普顿大学电子与计算机科学学院，博士论文
[35] 罗斯·霍恩；Sassone，Vladimiro，链接数据的类型化模型（2011），南安普顿大学，网址：·Zbl 1434.68080号
[36] 罗斯·霍恩；Sassone，Vladimiro，读写链接数据的验证代数，科学。计算。程序。，89, 2-22 (2014)
[37] 罗斯·霍恩；海参崴萨松；Gibbins，Nicholas，SPARQL更新的操作语义，（语义网。语义网，Lect.Notes Comput.Sci.，第7185卷（2012），施普林格），242-257
[38] 阿肖克·马尔霍特拉；Jim Melton；诺曼·沃尔什；Kay，Michael，XQuery 1.0和XPath 2.0函数和运算符（第二版），REC-XPath-functions-20101214建议，W3C（2010），网址：
[39] 亚历杭德罗·马列；马塞洛·阿里纳斯；艾丹·霍根；Polleres，Axel，关于空白节点，（国际语义网会议（2011）），421-437
[40] McBride、Brian和Jena：语义Web工具包，IEEE互联网计算。，6, 6, 55-59 (2002)
[41] 穆尼奥斯，塞尔吉奥；佩雷斯，豪尔赫；Gutierrez，Claudio，简单高效的最小RDFS，Web Semant。科学。服务。代理万维网，7，3，220-234（2009）
[42] 埃亚尔·奥伦；本杰明·海特曼；Decker，Stefan，ActiveRDF：将语义Web数据嵌入到面向对象语言中，Web Semant。科学。服务。代理万维网，6，3，191-202（2008）
[43] 杰夫·Z·潘。；Horrocks，Ian，RDFS（FA）和RDF MT：RDFS的两种语义，（语义Web-ISWC 2003（2003），Springer），30-46
[44] 菲利普斯，A。；Davis，M.，《识别语言的标签》（2006年），最佳当前实践RFC4646，IETF，网址：
[45] 本杰明·皮尔斯（Benjamin C.Pierce），《类型和编程语言》（2002），麻省理工学院出版社·Zbl 0995.68018号
[47] Schwartzbach，Michael I.，带不等式的类型推断，（代数和编程中的树学术讨论会软件开发理论与实践国际联合会议论文集（CAAP’91）：第1卷。《代数与程序设计树木学术讨论会软件开发理论与实践国际联合会议论文集》（CAAP’91）：第1卷，TAPSOFT’91（1991），Springer，441-455·Zbl 0967.68528号
[48] 奈杰尔·沙德博尔特（Nigel Shadbolt）；霍尔，温迪；Berners-Lee，Tim，《语义网络重访》，IEEE Intell。系统。，21, 3, 96-101 (2006)
[49] 奈杰尔·沙德博尔特（Nigel Shadbolt）；基隆·奥哈拉；蒂姆·伯纳斯-李（Tim Berners-Lee）；尼古拉斯·吉宾斯（Nicholas Gibbins）；休·格拉泽（Hugh Glaser）；霍尔，温迪；Schraefel，M.C.，《链接开放政府数据：来自data.gov.uk的经验教训》，IEEE Intell。系统。，27, 3, 16-24 (2012)
[50] Sowa，John F.，《知识表示：逻辑、哲学和计算基础》（2000），布鲁克斯/科尔出版公司：布鲁克斯/科罗出版公司，美国加利福尼亚州太平洋格罗夫
[51] 斯塔特穆勒（Stadtmüller），斯特芬（Steffen）；塞巴斯蒂安·斯佩塞；安德烈亚斯·哈特（Andreas Harth）；Rudi Studer，《Data-Fu:与读/写链接数据交互的语言和解释器》，（第22届万维网会议论文集（2013）），1225-1236
[52] Tiuryn，Jerzy，子类型不等式，（第七届IEEE计算机科学逻辑研讨会论文集。第七届计算机科学逻辑IEEE研讨会论文集，LICS’92（1992），IEEE），308-315
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。