Type-Safe Programming for the Semantic Web

Type-Safe Programming for the Semantic Web
Author :
Publisher : IOS Press
Total Pages : 170
Release :
ISBN-10 : 9781643681979
ISBN-13 : 1643681974
Rating : 4/5 (974 Downloads)

Book Synopsis Type-Safe Programming for the Semantic Web by : M. Leinberger

Download or read book Type-Safe Programming for the Semantic Web written by M. Leinberger and published by IOS Press. This book was released on 2021-10-14 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graph-based data formats are a flexible way of representing data – semantic data models in particular – where the schema is part of the data, and have become more popular and had some commercial success in recent years. Semantic data models are also the basis for the Semantic Web – a Web of data governed by open standards in which computer programs can freely access the data provided. This book is about checking the correctness of programs that can access semantic data. Although the flexibility of semantic data models is one of their greatest strengths, it can lead programmers to accidentally fail to account for unintuitive edge cases, leading to run-time errors or unintended side-effects during program execution. A program may even run for a long time before such an error occurs and the program crashes. Providing a type system is an established methodology for proving the absence of run-time errors in programs without requiring execution. The book defines type systems that can detect and avoid such run-time errors based on schema languages available for the Semantic Web. Using the Web Ontology Language (OWL) and its theoretic underpinnings i.e. description logics, and the Shapes Constraint Language (SHACL) in particular, the book defines systems that can provide type-safe data access to semantic data graphs. The book is divided into 3 parts: Part I contains an introduction and preliminaries; Part II covers type systems for the Semantic Web; and Part III includes related work and conclusions.


Type-Safe Programming for the Semantic Web Related Books

Type-Safe Programming for the Semantic Web
Language: en
Pages: 170
Authors: M. Leinberger
Categories: Computers
Type: BOOK - Published: 2021-10-14 - Publisher: IOS Press

GET EBOOK

Graph-based data formats are a flexible way of representing data – semantic data models in particular – where the schema is part of the data, and have becom
Type-safe Programming for the Semantic Web
Language: en
Pages:
Authors: Martin Leinberger
Categories:
Type: BOOK - Published: 2021 - Publisher:

GET EBOOK

The Semantic Web
Language: en
Pages: 517
Authors: Paul Groth
Categories: Computers
Type: BOOK - Published: 2022-05-30 - Publisher: Springer Nature

GET EBOOK

Chapters “No. 10 and No. 21” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Data Management and Query Processing in Semantic Web Databases
Language: en
Pages: 270
Authors: Sven Groppe
Categories: Computers
Type: BOOK - Published: 2011-04-29 - Publisher: Springer Science & Business Media

GET EBOOK

The Semantic Web, which is intended to establish a machine-understandable Web, is currently changing from being an emerging trend to a technology used in comple
Semantic Web Programming
Language: en
Pages: 662
Authors: John Hebeler
Categories: Computers
Type: BOOK - Published: 2011-02-25 - Publisher: John Wiley & Sons

GET EBOOK

The next major advance in the Web-Web 3.0-will be built on semantic Web technologies, which will allow data to be shared and reused across application, enterpri