A descriptive type foundation for RDF Schema

DOI10.1016/J.JLAMP.2016.02.006zbMATH Open1348.68032OpenAlexW2305960706WikidataQ57936287 ScholiaQ57936287MaRDI QIDQ739626FDOQ739626

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

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

zbMATH Keywords

type systemslinked dataoperational semanticsRDF Schema

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• CDuce: an XML-centric general-purpose language
• Proving termination with multiset orderings
• Types and programing languages
• Operations on records
• Title not available (Why is that?)
• Intersection and union types: Syntax and semantics
• Principles of programming with complex objects and collection types
• Tracing where and who provenance in linked data: a calculus
• Minimal type inference for linked data consumers
• Title not available (Why is that?)
• Linked data privacy
• Descriptive types for linked data resources
• Title not available (Why is that?)
• Type inference with simple subtypes
• An extension of system F with subtyping

Cited In (3)

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

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)