Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/82829
Title: A descriptive type foundation for RDF Schema
Authors: Ciobanu, Gabriel
Horne, Ross
Sassone, Vladimiro
Keywords: Linked Data
RDF
Schema
Type systems
Operational semantics
Issue Date: 2016
Source: 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.
Series/Report no.: Journal of Logical and Algebraic Methods in Programming
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 interactive feedback to Web developers.
URI: https://hdl.handle.net/10356/82829
http://hdl.handle.net/10220/40320
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2016.02.006
Rights: © 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].
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:NBS Journal Articles

Files in This Item:
File Description SizeFormat 
jlamp-part2.pdf229.83 kBAdobe PDFThumbnail
View/Open

SCOPUSTM   
Citations 50

4
Updated on Oct 2, 2022

Web of ScienceTM
Citations 50

3
Updated on Sep 30, 2022

Page view(s) 50

370
Updated on Oct 6, 2022

Download(s) 20

145
Updated on Oct 6, 2022

Google ScholarTM

Check

Altmetric


Plumx

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.