Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/80953
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHorne, Rossen
dc.contributor.authorSassone, Vladimiroen
dc.contributor.authorCiobanu, Gabrielen
dc.contributor.editorVoronkov, Andreien
dc.contributor.editorVirbitskaite, Irinaen
dc.date.accessioned2015-12-08T09:08:14Zen
dc.date.accessioned2019-12-06T14:18:11Z-
dc.date.available2015-12-08T09:08:14Zen
dc.date.available2019-12-06T14:18:11Z-
dc.date.issued2015en
dc.identifier.citationCiobanu, G., Horne, R., & Sassone, V. (2015). Descriptive Types for Linked Data Resources. Lecture Notes in Computer Science, 8974, 1-25.en
dc.identifier.urihttps://hdl.handle.net/10356/80953-
dc.description.abstractThis 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.en
dc.format.extent24 p.en
dc.language.isoenen
dc.rights© 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].en
dc.titleDescriptive Types for Linked Data Resourcesen
dc.typeConference Paperen
dc.contributor.schoolSchool of Computer Engineeringen
dc.contributor.conferenceLecture Notes in Computer Scienceen
dc.identifier.doi10.1007/978-3-662-46823-4_1en
dc.description.versionAccepted versionen
item.grantfulltextopen-
item.fulltextWith Fulltext-
Appears in Collections:SCSE Conference Papers
Files in This Item:
File Description SizeFormat 
psi.pdf154.9 kBAdobe PDFThumbnail
View/Open

SCOPUSTM   
Citations 50

3
Updated on Jan 22, 2023

Web of ScienceTM
Citations 50

1
Updated on Jan 28, 2023

Page view(s)

323
Updated on Jan 31, 2023

Download(s) 20

153
Updated on Jan 31, 2023

Google ScholarTM

Check

Altmetric


Plumx

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