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 refers to a collection of standards which aim to enhance the world's data, by interlinking datasets through the Web. The starting point is as simple as using URIs as global ide...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2012-01.
|
| Subjects: | |
| Online Access: | Get fulltext Get fulltext |