Descriptive types for linked data resources

DOI10.1007/978-3-662-46823-4_1MaRDI QIDQ3455049zbMATH OpenOpenAlexWikidataFDO

Authors Gabriel Ciobanu, Ross Horne, Vladimiro Sassone

Publication date 3 December 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/10356/80953

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A descriptive type foundation for RDF Schema
• Minimal type inference for linked data consumers
• The next 700 data description languages
• The next 700 data description languages
• Logical Foundations of RDF(S) with Datatypes

Cited in

(3)

• Minimal type inference for linked data consumers
• The essence of functional programming on semantic data
• A descriptive type foundation for RDF Schema

This page was built for publication: Descriptive types for linked data resources

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455049)