A descriptive type foundation for RDF Schema

DOI10.1016/J.JLAMP.2016.02.006MaRDI QIDQ739626zbMATHOpenAlexWikidataFDO

Authors Gabriel Ciobanu, Ross Horne, Vladimiro Sassone

Publication date 18 August 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2016.02.006

zbMATH Keywords

type systemslinked dataoperational semanticsRDF Schema

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Descriptive types for linked data resources
• Minimal type inference for linked data consumers
• Logical Foundations of RDF(S) with Datatypes
• The next 700 data description languages
• The next 700 data description languages

Cites work

• scientific article; zbMATH DE number 1692942 (Why is no real title available?)
• scientific article; zbMATH DE number 2084318 (Why is no real title available?)
• scientific article; zbMATH DE number 3852463 (Why is no real title available?)
• scientific article; zbMATH DE number 1942450 (Why is no real title available?)
• An extension of system \(F\) with subtyping
• CDuce: an XML-centric general-purpose language
• Descriptive types for linked data resources
• Intersection and union types: Syntax and semantics
• Linked data privacy
• Minimal type inference for linked data consumers
• Operations on records
• Principles of programming with complex objects and collection types
• Proving termination with multiset orderings
• Tracing where and who provenance in linked data: a calculus
• Type inference with simple subtypes
• Types and programing languages

Cited in

(3)

• Logical Foundations of RDF(S) with Datatypes
• Descriptive types for linked data resources
• Minimal type inference for linked data consumers

Describes a project that uses

Uses Software

• Graphviz
• SPARQL
• YAGO
• CDuce
• XDuce
• BioPortal
• Kleisli
• Turtle
• Freebase
• DBpedia

This page was built for publication: A descriptive type foundation for RDF Schema

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