Title Type-safe programming for the semantic web / Martin Leinberger.

Publication Info.

Online access
Online ebook via EBSCO. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading the EBSCO version of this ebook

Item Status

Description	1 online resource.
Physical Medium	polychrome
Description	text file
Series	Studies on the semantic web ; volume 52
	Studies on the Semantic Web ; v. 052.
Bibliography	Includes bibliographical references.
Contents	Intro -- Title Page -- Abstract -- Contents -- Part I. Introduction and Preliminaries -- Chapter 1. Introduction -- Chapter 2. Preliminaries -- Part II. Type-systems for the Semantic Web -- Chapter 3. A Basic Programming Language (lambda-calculus) -- Chapter 4. Type Checking with Description Logics -- Chapter 5. Type Checking with SHACL -- Chapter 6. Shape Containment -- Part III. Related Work and Conclusion -- Chapter 7. Related Work -- Chapter 8. Conclusion -- Bibliography -- Appendix A. Soundness of the lambda calculus
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Semantic computing.
	Semantic computing.
	Semantic Web.
	Semantic Web.
Genre/Form	Electronic books.
	Electronic books.
Added Author	IOS Press.
ISBN	9781643681979 (electronic book)
	1643681974 (electronic book)
	9781643681962