Descriptive Types for Linked Data Resources

• المؤلفون الرئيسيون: 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
• المؤسسة: Nanyang Technological University

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