A Verified Algebra for Read-Write Linked Data
The aim of this work is to verify an algebra for high level languages for reading and writing Linked Data. Linked Data is raw data published on the Web and interlinked using a collection of standards. The main innovation is simply to use dereferenceable URIs as global identifiers in data, rather tha...
| Main Authors: | , |
|---|---|
| 其他作者: | |
| 格式: | Journal Article |
| 语言: | English |
| 出版: |
2015
|
| 主题: | |
| 在线阅读: | https://hdl.handle.net/10356/80958 http://hdl.handle.net/10220/39003 |