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...

Full description

Bibliographic Details
Main Authors: Horne, Ross, Sassone, Vladimiro, Ciobanu, Gabriel
Other Authors: Voronkov, Andrei
Format: Conference Paper
Language:English
Published: 2015
Online Access:https://hdl.handle.net/10356/80953
http://hdl.handle.net/10220/39005