Local Type Checking for Linked Data Consumers

Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2013 Electronic Proceedings in Theoretical Computer Science  
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
more » ... ting 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.
doi:10.4204/eptcs.123.4 fatcat:n7eurqyok5hclaqwpnzljayove