Descriptive Types for Linked Data Resources

• Main Authors: Horne, Ross, Sassone, Vladimiro, Ciobanu, Gabriel
• 其他作者: Voronkov, Andrei
• 格式: Conference or Workshop Item
• 語言: English
• 出版: 2015
• 在線閱讀: https://hdl.handle.net/10356/80953; http://hdl.handle.net/10220/39005

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