A descriptive type foundation for RDF Schema
type: Item
instance of: scholarly article
title: A descriptive type foundation for RDF Schema
zbMATH Open document ID: 1348.68032
author: Gabriel Ciobanu
author: Ross Horne
author: Vladimiro Sassone
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2016-08-18T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6618150
zbMATH Keywords: linked data
zbMATH Keywords: RDF Schema
zbMATH Keywords: type systems
zbMATH Keywords: operational semantics
describes a project that uses: Graphviz
describes a project that uses: SPARQL
describes a project that uses: YAGO
describes a project that uses: BioPortal
describes a project that uses: Kleisli
describes a project that uses: CDuce
describes a project that uses: XDuce
describes a project that uses: Turtle
describes a project that uses: Freebase
describes a project that uses: DBpedia
MaRDI profile type: Publication
full work available at URL: j.jlamp.2016.02.006
OpenAlex ID: W2305960706
Wikidata QID: Q57936287
cites work: Intersection and union types: Syntax and semantics
cites work: CDuce
cites work: Principles of programming with complex objects and collection types
cites work: An extension of system F with subtyping
cites work: Operations on records
cites work: Descriptive Types for Linked Data Resources
cites work: Minimal type inference for linked data consumers
cites work: Q2763675
cites work: Proving termination with multiset orderings
cites work: Tracing where and who provenance in linked data: a calculus
cites work: Q3043788
cites work: Linked data privacy
cites work: Type inference with simple subtypes
cites work: Types and programing languages
cites work: Q4409150
cites work: Q3321495
DOI: 10.1016/J.JLAMP.2016.02.006
description: scientific article; zbMATH DE number 6618150