Local Type Checking for Linked Data Consumers

Gabriel Ciobanu
(Romanian Academy, Iasi)
Ross Horne
(Romanian Academy, Iasi)
Vladimiro Sassone
(University of Southampton)

The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in their effort to make data more Web-like. We provide an introduction to the Web of Linked Data from the perspective of a Web developer that would like to build an application using Linked Data. We identify a weakness in the development stack as being a lack of domain specific scripting languages for designing background processes that consume Linked Data. To address this weakness, we design a scripting language with a simple but appropriate type system. In our proposed architecture some data is consumed from sources outside of the control of the system and some data is held locally. Stronger type assumptions can be made about the local data than external data, hence our type system mixes static and dynamic typing. Throughout, we relate our work to the W3C recommendations that drive Linked Data, so our syntax is accessible to Web developers.

In António Ravara and Josep Silva: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013), Florence, Italy, 6th June 2013, Electronic Proceedings in Theoretical Computer Science 123, pp. 19–33.
Published: 31st July 2013.

ArXived at: https://dx.doi.org/10.4204/EPTCS.123.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org