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

RDF模式的描述性类型基础。 （英语） Zbl 1348.68032号

J.日志。阿尔盖布。方法计划。 85，第5号，第1部分，681-706（2016）.
摘要：本文为链接数据中出现的描述性类型提供了类型理论基础。链接数据是根据W3C支持的原则和标准在Web上发布的数据。这样的链接数据本质上是混乱的：这是因为该模式不是被赋予严格的先验模式，而是被推断为后验模式。此外，这种后验模式由指导程序员的不透明名称组成，而没有规定结构。我们为链接数据使用我们所称的描述性类型系统。此描述性类型系统与传统类型系统的不同之处在于，它提供提示或警告，而不是错误，并在运行时发现链接数据时进行演变以描述数据。我们解释了描述性类型系统如何允许RDF模式推理机制与针对链接数据的特定于域的脚本语言紧密耦合，从而为Web开发人员提供交互式反馈。

MSC公司：

68甲18 函数编程和lambda演算
第68季度55 计算理论中的语义学

关键词：

链接的数据；资源描述框架模式；类型系统；操作语义学

软件：

X减少；乌龟；生物门户网站；CDuce公司；克莱斯利；雅高；DBpedia（数据库）；自由基；格拉夫维兹；SPARQL公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciobanu}等人，J.Log。阿尔盖布。方法程序。85，第5号，第1部分，681--706（2016；Zbl 1348.68032）
全文： 内政部 链接

参考文献：

[1] 阿特金森（Malcolm P.Atkinson）。；Buneman，O.Peter，数据库编程语言中的类型和持久性，ACM Compute。调查。，19, 2, 105-170 (1987)
[2] 佛朗哥·巴巴内拉；玛丽安吉拉·德扎尼·西安卡里尼（Dezani-Ciancaglini）；de'Liguoro，Ugo，交集和并集类型：语法和语义，Inf.Comput。，119, 2, 202-230 (1995) ·Zbl 0832.68065号
[3] 大卫·贝克特（David Beckett）；蒂姆·伯纳斯-李（Tim Berners-Lee）；埃里克·普鲁德霍姆（Eric Prud’hommaux）；Carothers，Gavin，RDF 1.1 turtle:简洁的RDF三重语言（2014），REC-turtle-20140225建议，W3C
[4] 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；Frisch，Alain，CDuce:一种以XML为中心的通用语言，ACM SIGPLAN Not。，38, 9, 51-63 (2003) ·Zbl 1315.68046号
[5] 萨查·伯杰；艾曼纽尔·科奎尔；德拉本特，Włodzimierz；Wilk，Artur，Xcerpt的描述性类型规则，（语义网络推理原理与实践（2005），施普林格），85-100
[6] Berners-Lee、Tim、Linked data、Int.J.Semantic Web Inf.Syst.、。，4, 2, 1 (2006)
[7] 自行车，克里斯蒂安；莱曼、延斯；格奥尔基·科比拉罗夫；索伦·奥尔；克里斯蒂安·贝克尔（Christian Becker）；理查德·奇加尼亚克（Richard Cyganiak）；Hellmann，Sebastian，DBpedia-数据网的结晶点，Web Semant。科学。服务。Agents万维网，7，3154-165（2009）
[8] 库尔特·博拉克（Kurt Bollacker）；科林·埃文斯（Colin Evans）；普拉文·帕里托什；蒂姆·斯特奇；Taylor，Jamie，Freebase:一个合作创建的用于构建人类知识的图形数据库，（2008年ACM SIGMOD国际数据管理会议论文集（2008），ACM），1247-1250
[9] Dan Brickley；Guha，Ramanathan V.，RDF模式1.1（2014），REC-RDF-Schema-20140225建议，W3C
[10] 彼得·布内曼（Peter Buneman）；纳格维、沙米姆；Val Tannen；Wong，Limsson，《复杂对象和集合类型编程原理》，Theor。计算。科学。，149, 1, 3-48 (1995) ·Zbl 0874.68092号
[11] 卢卡·卡德利；西蒙·马提尼；约翰·米切尔（John C.Mitchell）。；Andre Scedrov，《系统F的扩展与子类型》，（计算机软件的理论方面（1991），Springer），750-770·Zbl 1496.03058号
[12] 卢卡·卡德利；John C.Mitchell，《记录操作》，数学。结构。计算。科学。，1, 1, 3-48 (1991) ·Zbl 0727.68020号
[13] 加布里埃尔·乔巴努；罗斯·霍恩；Sassone，Vladimiro，关联数据资源的描述性类型，（Voronkov，Andrei；Virbitskaite，Irina，第九届系统信息学观点国际Ershov Informatics会议，第九次系统信息学角度国际Ershof Informatics会议，PSI 2014，俄罗斯圣彼得堡，6月24-27日）。第九届系统信息学观点国际埃尔肖夫信息学会议。第九届系统信息学观点国际埃尔肖夫信息学会议，PSI 2014，俄罗斯圣彼得堡，6月24-27日，Lect。注释计算。科学。，第8974卷（2015））·Zbl 1434.68080号
[14] 加布里埃尔·乔巴努；罗斯·霍恩；Sassone，Vladimiro，链接数据消费者的最小类型推断，J.Log。代数方法程序。，8485-504（2015年）·Zbl 1329.68085号
[15] Sylvain Conchon；Pottier，François，JOIN（X）：基于约束的联合演算类型推断（Programming Languages and Systems（2001），Springer），221-236·Zbl 0977.68521号
[16] 理查德·奇加尼亚克（Richard Cyganiak）；伍德，大卫；Lanthaler，Markus，RDF 1.1概念和抽象语法（2014），建议REC-rdf11-concepts-20140225，W3C
[17] 奥格·德穆尔；塞雷尼，达米恩；Avgustinov，Pavel；Verbere，Mathieu，数据日志的类型推理及其在查询优化中的应用，（第二十七届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集（2008），ACM），291-300
[18] 德肖维茨，纳丘姆；Manna，Zohar，用多集排序证明终止，Commun。ACM，22，8，465-476（1979）·Zbl 0431.68016号
[19] 玛丽安吉拉·德扎尼·西安卡里尼（Dezani-Ciancaglini）；罗斯·霍恩；Sassone，Vladimiro，《追踪关联数据的来源：微积分》，Theor。计算。科学。，464, 113-129 (2012) ·Zbl 1253.68043号
[20] 约翰·埃尔森；埃姆登·甘斯纳；Koutsofios，Lefteris；North，Stephen C。；Woodhull，Gordon，Graphviz-开源图形绘制工具，（graph drawing（2002），Springer），483-484·Zbl 1054.68583号
[21] 阿兰州弗里什；朱塞佩·卡斯塔尼亚；Benzaken，Véronique，语义子类型，（第17届IEEE计算机科学逻辑研讨会论文集（2002），IEEE），137-146
[22] 托姆（Thom）；埃胡德·夏皮罗；Vardi，Moshe Y。；Yardeni，Eyal，逻辑程序作为逻辑程序的类型，（第六届IEEE计算机科学逻辑研讨会论文集。第六届电气与电子工程师协会计算机科学逻辑会议论文集，LICS’91（1991），IEEE），300-309
[23] 高树迪；Sperberg-McQueen，C.M。；Thompson，Henry S.，W3C XML模式定义语言（XSD）1.1第1部分：结构（2012年），REC-xmlschema11-1-2020405建议，W3C
[24] 史蒂夫·哈里斯；Seaborne，Andy，SPARQL 1.1查询语言，麻省理工学院，马萨诸塞州（2013），建议REC-sparql11-query-20130321，W3C
[25] 帕特里克·J·海斯（Patrick J.Hayes）。；Patel-Schneider，Peter F.，RDF 1.1语义（2014），建议REC-rdf11-mt-20140225，W3C
[26] 菲利普·海德格尔；Peter Thiemann，分析脚本语言的最近类型，（面向对象编程。面向对象编程，ECOOP 2010（2010），Springer），200-224
[27] 希茨勒，帕斯卡；马库斯·科洛奇；巴西亚·比扬；Patel Schneider，Peter F。；Rudolph，Sebastian，OWL 2网络本体语言初级读本（2014），REC-owl2-primer-2012121建议，W3C
[28] 罗斯·霍恩；Sassone，Vladimiro，读写链接数据的验证代数，科学。计算。程序。，89，A，2-22（2014）
[29] 细谷和夫；Pierce，Benjamin C.，Xduce:一种静态类型的XML处理语言，ACM Trans。互联网技术。，3, 2, 117-148 (2003)
[30] Ioannidis，Yannis E。；Ramakrishnan，Raghu，高效传递闭包算法，（VLDB，第88卷（1988）），382-394
[31] 斯维特拉纳·雅克西奇；约万卡·潘托维奇；Ghilezan，Silvia，链接数据隐私，数学。结构。计算。科学。，1-21 (2015) ·Zbl 1364.68073号
[32] 提摩太·勒博；Satya Sahoo；黛博拉·麦吉尼斯（Deborah McGuinness）；哈立德·贝尔哈贾梅（Khalid Belhajjame）；詹姆斯·切尼；大卫·科尔萨尔（David Corsar）；丹尼尔·加里霍（Daniel Garijo）；Stian的Soiland-Reyes；泽德尼克，斯蒂芬；赵军，PROV-O:PROV本体（2013），REC-PROV-O-20130430建议，W3C
[33] Lu，Lunjin，存在类型定义的逻辑程序的类型分析，（1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会论文集（1995），ACM），241-252
[34] 亚历杭德罗·马列；马塞洛·阿里纳斯；艾丹·霍根；Polleres，Axel，《空白节点上》（The Semantic Web.The Semantial Web，ISWC 2011（2011），Springer），421-437
[35] Mitchell，John C.，简单子类型的类型推断，J.Funct。程序。，1, 3, 245-285 (1991) ·Zbl 0941.68541号
[36] Moten，Rod，使用类型系统建模语义网络，（语义网络信息管理的语义网络信息处理论文集。语义网络信息的语义网络管理论文集，SWIM’14（2014），ACM:美国纽约州纽约市ACM），21:1-21:4
[37] 穆尼奥斯，塞尔吉奥；佩雷斯，豪尔赫；Gutierrez，Claudio，简单高效的最小RDFS，Web Semant。科学。服务。代理万维网，7，3，220-234（2009）
[38] 娜塔莉亚·诺伊。；尼甘·沙阿。；Patricia L.Whetzel。；戴，本杰明；迈克尔·多夫（Michael Dorf）；尼古拉斯·格里菲斯；克莱门特·琼奎特；丹尼尔·鲁宾（Daniel L.Rubin）。；斯托里，玛格丽特·安妮；Chute，Christopher G.，《生物门户：鼠标点击时的本体论和集成数据资源》，《核酸研究》，37，W170-W173（2009）
[39] 娜塔莉亚·诺伊。；Michael Sintek；斯特凡·戴克（Stefan Decker）；Crubézy，莫妮卡；Ray W.Fergerson。；Musen，Mark A.，《使用protege-2000创建语义web内容》，IEEE Intell。系统。，2, 60-71 (2001)
[40] 杰夫·Z·潘。；Horrocks，Ian，RDFS（FA）和RDF MT：RDFS的两种语义，（语义Web。语义Web，ISWC 2003（2003），Springer:Springer Berlin，Heidelberg），30-46
[41] Patel-Schneider，Peter F.，Analysing schema.org，（语义网，语义网，ISWC 2014（2014），Springer），261-276
[42] 佩雷斯，豪尔赫；马塞洛·阿里纳斯；Gutierrez，Claudio，SPARQL的语义和复杂性，ACM Trans。数据库系统。，34, 3, 16 (2009)
[43] 戴维·彼得森（David Peterson）；高树迪；阿肖克·马尔霍特拉；Sperberg-McQueen，C.M。；Thompson，Henry S.，W3C XML模式定义语言（XSD）1.1第2部分：数据类型（2012年），REC-xmlschema11-2-2020405建议，W3C
[44] 本杰明·皮尔斯（Benjamin C.Pierce），《类型和编程语言》（2002），麻省理工学院出版社·Zbl 0995.68018号
[45] 杰罗姆·西蒙；Philip Wadler，《XML的本质》，ACM SIGPLAN Not。，38, 1, 1-13 (2003) ·Zbl 1019.68511号
[46] Sowa，John F.，《概念结构：思维和机器中的信息处理》（1983），Addison-Wesley Longman Publishing Co.，Inc.波士顿：Addison-Whesley Longman出版社，Inc.马萨诸塞州波士顿·Zbl 0536.68077号
[47] Fabian M.Suchanek。；Kasneci，Gjergji；Weikum，Gerhard，Yago:语义知识的核心，（第16届WWW会议论文集（2007），ACM），697-706
[48] ter-Horst，Herman J.，RDF模式包含的完整性、可判定性和复杂性，以及涉及OWL词汇表的语义扩展，Web Semant。科学。服务。代理万维网，3，2，79-115（2005）
[49] Wong，Limsoon，Kleisli，功能查询系统，J.Funct。程序。，10, 1, 19-56 (2000)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。