Type-Safe Programming for the Semantic Web
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 gov...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
London :
SAGE Publications
2021.
Paris : Cyberlibris |
| Sarrera elektronikoa: | Accès Université d'Orléans et IFPM |
| Oharra: |
Couverture. https://static2.cyberlibris.com/books_upload/300pix/9781643681979.jpg Cyberlibris (ScholarVox) corpus Informatique |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Type-Safe Programming for the Semantic Web, Martin Leinberger, London, SAGE Publications, 2021, 1 vol. (170 p.), 978-16-4368-196-2 |
| LEADER | 02660nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 1361273 | ||
| 008 | 251023s2021 xxg ||| |||| 00| 0 eng d | ||
| 009 | PPN291418554 | ||
| 020 | |a 9781643681979 | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Leinberger, Martin. | |
| 245 | 1 | 0 | |a Type-Safe Programming for the Semantic Web |c Martin Leinberger. |
| 260 | |a London : |b SAGE Publications. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2021. | ||
| 500 | |a Couverture. https://static2.cyberlibris.com/books_upload/300pix/9781643681979.jpg | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Informatique | ||
| 506 | |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris | ||
| 520 | |a 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 | ||
| 776 | 0 | |t Type-Safe Programming for the Semantic Web |f Martin Leinberger |c London |n SAGE Publications |d 2021 |p 1 vol. (170 p.) |z 978-16-4368-196-2 | |
| 856 | 4 | |5 452349901:867116463 |u https://ezproxy.univ-orleans.fr/login?url=https://univ.scholarvox.com/book/88973945 |z Accès Université d'Orléans et IFPM | |
| 997 | |0 1361273 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||