Descriptive types for linked data resources

Gabriel Ciobanu; Ross Horne; Vladimiro Sassone

doi:10.1007/978-3-662-46823-4_1

Descriptive types for linked data resources

Gabriel Ciobanu, Ross Horne^*, Vladimiro Sassone

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

3 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Perspectives of System Informatics
Subtitle of host publication	9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Editors	Andrei Voronkov, Irina Virbitskaite
Place of Publication	Cham, Switzerland
Publisher	Springer
Pages	1-25
Number of pages	25
ISBN (Electronic)	9783662468234
ISBN (Print)	9783662468227
DOIs	https://doi.org/10.1007/978-3-662-46823-4_1
Publication status	Published - 1 Jan 2015
Event	9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014 - St. Petersburg, Russian Federation Duration: 24 Jun 2014 → 27 Jun 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8974
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014
Country/Territory	Russian Federation
City	St. Petersburg
Period	24/06/14 → 27/06/14

Funding

We are grateful to the organisers of the Ershov memorial conference, PSI 2014, for inviting this work to be presented as a keynote speech. The work of the first and second authors was supported by a grant of the Romanian National Authority for Scientific Research, project number PN-II-ID-PCE-2011-3-0919.

Keywords

type system
resource description framework (RDF)
link data
operational semantic
atomic type

Access to Document

10.1007/978-3-662-46823-4_1

Cite this

Ciobanu, G., Horne, R., & Sassone, V. (2015). Descriptive types for linked data resources. In A. Voronkov, & I. Virbitskaite (Eds.), Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (pp. 1-25). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8974). Springer. https://doi.org/10.1007/978-3-662-46823-4_1

Ciobanu, Gabriel ; Horne, Ross ; Sassone, Vladimiro. / Descriptive types for linked data resources. Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. editor / Andrei Voronkov ; Irina Virbitskaite. Cham, Switzerland : Springer, 2015. pp. 1-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e8a7a5f5973d48ce876c2f3d4956cc4c,

title = "Descriptive types for linked data resources",

abstract = "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.",

keywords = "type system, resource description framework (RDF), link data, operational semantic, atomic type",

author = "Gabriel Ciobanu and Ross Horne and Vladimiro Sassone",

year = "2015",

month = jan,

day = "1",

doi = "10.1007/978-3-662-46823-4_1",

language = "English",

isbn = "9783662468227",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "1--25",

editor = "Andrei Voronkov and Irina Virbitskaite",

booktitle = "Perspectives of System Informatics",

note = "9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014 ; Conference date: 24-06-2014 Through 27-06-2014",

}

Ciobanu, G, Horne, R & Sassone, V 2015, Descriptive types for linked data resources. in A Voronkov & I Virbitskaite (eds), Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8974, Springer, Cham, Switzerland, pp. 1-25, 9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014, St. Petersburg, Russian Federation, 24/06/14. https://doi.org/10.1007/978-3-662-46823-4_1

Descriptive types for linked data resources. / Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro.
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. ed. / Andrei Voronkov; Irina Virbitskaite. Cham, Switzerland: Springer, 2015. p. 1-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8974).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

TY - GEN

T1 - Descriptive types for linked data resources

AU - Ciobanu, Gabriel

AU - Horne, Ross

AU - Sassone, Vladimiro

PY - 2015/1/1

Y1 - 2015/1/1

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

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

KW - type system

KW - resource description framework (RDF)

KW - link data

KW - operational semantic

KW - atomic type

U2 - 10.1007/978-3-662-46823-4_1

DO - 10.1007/978-3-662-46823-4_1

M3 - Conference contribution book

AN - SCOPUS:84942516409

SN - 9783662468227

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 25

BT - Perspectives of System Informatics

A2 - Voronkov, Andrei

A2 - Virbitskaite, Irina

PB - Springer

CY - Cham, Switzerland

T2 - 9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014

Y2 - 24 June 2014 through 27 June 2014

ER -

Ciobanu G, Horne R, Sassone V. Descriptive types for linked data resources. In Voronkov A, Virbitskaite I, editors, Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Cham, Switzerland: Springer. 2015. p. 1-25. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-46823-4_1

Descriptive types for linked data resources

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Fingerprint

Cite this