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...

Full description

Saved in:
Bibliographic Details
Main Authors: Horne, Ross, Sassone, Vladimiro, Ciobanu, Gabriel
Other Authors: Voronkov, Andrei
Format: Conference or Workshop Item
Language:English
Published: 2015
Online Access:https://hdl.handle.net/10356/80953
http://hdl.handle.net/10220/39005
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
id sg-ntu-dr.10356-80953
record_format dspace
spelling sg-ntu-dr.10356-809532020-05-28T07:17:29Z Descriptive Types for Linked Data Resources Horne, Ross Sassone, Vladimiro Ciobanu, Gabriel Voronkov, Andrei Virbitskaite, Irina School of Computer Engineering Lecture Notes in Computer Science 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. Resources are represented by URIs that have no internal structure, hence there is no a priori type for a resource. Instead of raising compile time errors, a descriptive type system raises runtime warnings with a menu of options that make suggestions to the programmer. We introduce a subtype system, algorithmic type system and operational semantics that work together to characterise how descriptive types are used. The type system enables RDF Schema inference and several other modes of inference that are new to Linked Data. Accepted version 2015-12-08T09:08:14Z 2019-12-06T14:18:11Z 2015-12-08T09:08:14Z 2019-12-06T14:18:11Z 2015 Conference Paper Ciobanu, G., Horne, R., & Sassone, V. (2015). Descriptive Types for Linked Data Resources. Lecture Notes in Computer Science, 8974, 1-25. https://hdl.handle.net/10356/80953 http://hdl.handle.net/10220/39005 10.1007/978-3-662-46823-4_1 en © 2015 Springer-Verlag Berlin Heidelberg. This is the author created version of a work that has been peer reviewed and accepted for publication by Proceedings of the 9th International Ershov Informatics Conference (PSI 2014), Lecture Notes in Computer Science, Springer. 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.1007/978-3-662-46823-4_1]. 24 p. application/pdf
institution Nanyang Technological University
building NTU Library
country Singapore
collection DR-NTU
language English
description 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. Resources are represented by URIs that have no internal structure, hence there is no a priori type for a resource. Instead of raising compile time errors, a descriptive type system raises runtime warnings with a menu of options that make suggestions to the programmer. We introduce a subtype system, algorithmic type system and operational semantics that work together to characterise how descriptive types are used. The type system enables RDF Schema inference and several other modes of inference that are new to Linked Data.
author2 Voronkov, Andrei
author_facet Voronkov, Andrei
Horne, Ross
Sassone, Vladimiro
Ciobanu, Gabriel
format Conference or Workshop Item
author Horne, Ross
Sassone, Vladimiro
Ciobanu, Gabriel
spellingShingle Horne, Ross
Sassone, Vladimiro
Ciobanu, Gabriel
Descriptive Types for Linked Data Resources
author_sort Horne, Ross
title Descriptive Types for Linked Data Resources
title_short Descriptive Types for Linked Data Resources
title_full Descriptive Types for Linked Data Resources
title_fullStr Descriptive Types for Linked Data Resources
title_full_unstemmed Descriptive Types for Linked Data Resources
title_sort descriptive types for linked data resources
publishDate 2015
url https://hdl.handle.net/10356/80953
http://hdl.handle.net/10220/39005
_version_ 1681056281035538432