A descriptive type foundation for RDF Schema

DOI10.1016/j.jlamp.2016.02.006zbMath1348.68032OpenAlexW2305960706WikidataQ57936287 ScholiaQ57936287MaRDI QIDQ739626

Ross Horne, Gabriel Ciobanu, 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

operational semanticstype systemslinked dataRDF Schema

Mathematics Subject Classification ID

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

Uses Software

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

Cites Work

• Principles of programming with complex objects and collection types
• Intersection and union types: Syntax and semantics
• Tracing where and who provenance in linked data: a calculus
• Minimal type inference for linked data consumers
• Linked data privacy
• Operations on records
• Descriptive Types for Linked Data Resources
• Proving termination with multiset orderings
• Type inference with simple subtypes
• An extension of system F with subtyping
• CDuce
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item