A descriptive type foundation for RDF Schema
A descriptive type foundation for RDF Schema
复制标题
RDF 模式的描述性类型基础
DOI：
10.1016/j.jlamp.2016.02.006
复制
发表时间：
2016
影响因子：
0.9
通讯作者：
Ciobanu G
中科院分区：
文献类型：
--
作者：
Ciobanu G
本文为关联数据中出现的描述性类型提供了类型理论基础。关联数据是根据W3C支持的原则和标准在Web上发布的数据。这种关联数据本质上是杂乱无章的：这是因为没有为其分配严格的先验模式，而是后验地推断该模式。此外，这种后验模式由不透明的名称组成，这些名称指导程序员，而不是规定结构。我们对关联数据采用了我们所称的描述性类型系统。这种描述性类型系统与传统类型系统的不同之处在于，它提供提示或警告，而不是错误，并在运行时发现链接数据时演变为描述数据。我们解释了我们的描述性类型系统如何允许RDF模式推理机制与用于链接数据的特定于域的脚本语言紧密结合，从而实现对Web开发人员的交互反馈。
This paper provides a type theoretic foundation for descriptive types that appear in Linked Data. Linked Data is data published on the Web according to principles and standards supported by the W3C. Such Linked Data is inherently messy: this is due to the fact that instead of being assigned a strict a priori schema, the schema is inferred a posteriori. Moreover, such a posteriori schema consists of opaque names that guide programmers, without prescribing structure. We employ what we call a descriptive type system for Linked Data. This descriptive type system differs from a traditional type system in that it provides hints or warnings rather than errors and evolves to describe the data while Linked Data is discovered at runtime. We explain how our descriptive type system allows RDF Schema inference mechanisms to be tightly coupled with domain specific scripting languages for Linked Data, enabling an interactive feedback to Web developers.
登录
查看更多内容
读写关联数据的经过验证的代数
影响因子：
1.3
作者：
Ross Horne;V. Sassone
通讯作者：
V. Sassone
影响因子：
2.5
作者：
Bizer, Christian;Lehmann, Jens;Hellmann, Sebastian
通讯作者：
Hellmann, Sebastian
高效的传递闭包算法
DOI：
--
发表时间：
1988
期刊：
Very Large Data Bases Conference
影响因子：
--
作者：
Y. Ioannidis;R. Ramakrishnan
通讯作者：
R. Ramakrishnan
DOI：
10.4018/jswis.2008010101
发表时间：
2008
期刊：
Int. J. Semantic Web Inf. Syst.
影响因子：
--
作者：
Vasileios Baousis;Vassilis Spiliopoulos;Elias Zavitsanos;S. Hadjiefthymiades;L. Merakos
通讯作者：
Vasileios Baousis;Vassilis Spiliopoulos;Elias Zavitsanos;S. Hadjiefthymiades;L. Merakos
逻辑程序作为逻辑程序的类型
DOI：
10.1109/lics.1991.151654
发表时间：
1991
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Thom W. Frühwirth;E. Shapiro;Moshe Y. Vardi;Eyal Yardeni
通讯作者：
Eyal Yardeni