Type-safe programming for the semantic web /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Leinberger, Martin (Autor)
Autor Corporativo: IOS Press
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands : IOS Press, 2021.
Colección:Studies on the Semantic Web ; v. 052.
Temas:
Semantic computing.
Semantic Web.
Informatique sémantique.
Web sémantique.
Semantic computing
Semantic Web
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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

Ejemplares similares