A descriptive type foundation for RDF Schema
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...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/82829 http://hdl.handle.net/10220/40320 |
| _version_ | 1826118494741069824 |
|---|---|
| author | Ciobanu, Gabriel Horne, Ross Sassone, Vladimiro |
| author2 | School of Computer Engineering |
| author_facet | School of Computer Engineering Ciobanu, Gabriel Horne, Ross Sassone, Vladimiro |
| author_sort | Ciobanu, Gabriel |
| collection | NTU |
| description | 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 interactive feedback to Web developers. |
| first_indexed | 2024-10-01T04:44:21Z |
| format | Journal Article |
| id | ntu-10356/82829 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T04:44:21Z |
| publishDate | 2016 |
| record_format | dspace |
| spelling | ntu-10356/828292023-03-02T15:36:54Z A descriptive type foundation for RDF Schema Ciobanu, Gabriel Horne, Ross Sassone, Vladimiro School of Computer Engineering Linked Data RDF Schema Type systems Operational semantics 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 interactive feedback to Web developers. MOE (Min. of Education, S’pore) Accepted version 2016-03-24T07:13:43Z 2019-12-06T15:06:26Z 2016-03-24T07:13:43Z 2019-12-06T15:06:26Z 2016 Journal Article Ciobanu, G., Horne, R., & Sassone, V. (2016). A descriptive type foundation for RDF Schema. Journal of Logical and Algebraic Methods in Programming, 85(5), 681-706. 2352-2208 https://hdl.handle.net/10356/82829 http://hdl.handle.net/10220/40320 10.1016/j.jlamp.2016.02.006 en Journal of Logical and Algebraic Methods in Programming © 2016 Elsevier. This is the author created version of a work that has been peer reviewed and accepted for publication by Journal of Logical and Algebraic Methods in Programming, Elsevier. It incorporates referee’s comments but changes resulting from the publishing process, such as copyediting, structural formatting, may not be reflected in this document. The published version is available at: [http://dx.doi.org/10.1016/j.jlamp.2016.02.006]. 32 p. application/pdf |
| spellingShingle | Linked Data RDF Schema Type systems Operational semantics Ciobanu, Gabriel Horne, Ross Sassone, Vladimiro A descriptive type foundation for RDF Schema |
| title | A descriptive type foundation for RDF Schema |
| title_full | A descriptive type foundation for RDF Schema |
| title_fullStr | A descriptive type foundation for RDF Schema |
| title_full_unstemmed | A descriptive type foundation for RDF Schema |
| title_short | A descriptive type foundation for RDF Schema |
| title_sort | descriptive type foundation for rdf schema |
| topic | Linked Data RDF Schema Type systems Operational semantics |
| url | https://hdl.handle.net/10356/82829 http://hdl.handle.net/10220/40320 |
| work_keys_str_mv | AT ciobanugabriel adescriptivetypefoundationforrdfschema AT horneross adescriptivetypefoundationforrdfschema AT sassonevladimiro adescriptivetypefoundationforrdfschema AT ciobanugabriel descriptivetypefoundationforrdfschema AT horneross descriptivetypefoundationforrdfschema AT sassonevladimiro descriptivetypefoundationforrdfschema |