Descriptive Types for Linked Data Resources
This work introduces the notion of descriptive typing. Type systems are typically prescriptive in the sense that they prescribe a space of permitted programs. In contrast, descriptive types assigned to resources in Linked Data provide useful annotations that describe how a resource may be used. Reso...
Saved in:
Main Authors: | Horne, Ross, Sassone, Vladimiro, Ciobanu, Gabriel |
---|---|
其他作者: | Voronkov, Andrei |
格式: | Conference or Workshop Item |
語言: | English |
出版: |
2015
|
在線閱讀: | https://hdl.handle.net/10356/80953 http://hdl.handle.net/10220/39005 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
Minimal type inference for Linked Data consumers
由: Ciobanu, Gabriel, et al.
出版: (2015) -
A descriptive type foundation for RDF Schema
由: Ciobanu, Gabriel, et al.
出版: (2016) -
A Verified Algebra for Read-Write Linked Data
由: Horne, Ross, et al.
出版: (2015) -
Tracing where and who provenance in Linked Data: A calculus
由: Dezani-Ciancaglini, Mariangiola, et al.
出版: (2015) -
A Provenance Tracking Model for Data Updates
由: Ciobanu, Gabriel, et al.
出版: (2015)