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...
محفوظ في:
المؤلفون الرئيسيون: | 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 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Minimal type inference for Linked Data consumers
بواسطة: Ciobanu, Gabriel, وآخرون
منشور في: (2015) -
A descriptive type foundation for RDF Schema
بواسطة: Ciobanu, Gabriel, وآخرون
منشور في: (2016) -
A Verified Algebra for Read-Write Linked Data
بواسطة: Horne, Ross, وآخرون
منشور في: (2015) -
Tracing where and who provenance in Linked Data: A calculus
بواسطة: Dezani-Ciancaglini, Mariangiola, وآخرون
منشور في: (2015) -
A Provenance Tracking Model for Data Updates
بواسطة: Ciobanu, Gabriel, وآخرون
منشور في: (2015)