A descriptive type foundation for RDF Schema

• المؤلفون الرئيسيون: Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro
• مؤلفون آخرون: School of Computer Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2016
• الموضوعات: Linked Data; RDF; Schema; Type systems; Operational semantics
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/82829; http://hdl.handle.net/10220/40320

This paper provides a type theoretic foundation for descriptive types that appear in Linked Data. Linked Data is data published on the Web according to principles and standards supported by the W3C. Such Linked Data is inherently messy: this is due to the fact that instead of being assigned a strict...