A descriptive type foundation for RDF Schema

Ciobanu, Gabriel, Horne, Ross and Sassone, Vladimiro (2016) A descriptive type foundation for RDF Schema. Journal of Logical and Algebraic Methods in Programming, 85 (5), 681-706. (doi:10.1016/j.jlamp.2016.02.006).

Record type: Article

Abstract

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 a priori schema, the schema is inferred a posteriori. Moreover, such a posteriori schema consists of opaque names that guide programmers, without prescribing structure. We employ what we call a descriptive type system for Linked Data. This descriptive type system differs from a traditional type system in that it provides hints or warnings rather than errors and evolves to describe the data while Linked Data is discovered at runtime. We explain how our descriptive type system allows RDF Schema inference mechanisms to be tightly coupled with domain specific scripting languages for Linked Data, enabling an interactive feedback to Web developers

Text

__filestore.soton.ac.uk_users_skr1c15_mydocuments_eprints_ECS_Sassone_A Descriptive.pdf - Accepted Manuscript

Available under License University of Southampton Accepted Manuscript Licence.

Download (236kB)