The University of Southampton
University of Southampton Institutional Repository

The essence of functional programming on semantic data

The essence of functional programming on semantic data
The essence of functional programming on semantic data
Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone. Mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present lambda-DL, a typed lambda-calculus with constructs for operating on semantic data. This is achieved by the integration of description logics into the lambda-calculus for both typing and data access or querying. The language is centered around several key design principles, in particular: (1) the usage of semantic conceptualizations as types, (2) subtype inference for these types, and (3) type-checked query access to the data by both ensuring the satisfiability of queries as well as typing query results precisely. The paper motivates the use of a designated type system for semantic data and it provides the theoretic foundation for the integration of description logics as well as the core formal definition of lambda-DL including a proof of type safety.
750-776
Springer
Leinberger, Martin
a660c10c-241c-4e0e-8cd1-f03cc8d98bd2
Lämmel, Ralf
88466e78-a512-4c70-ad31-7d50c4006b7f
Staab, Steffen
bf48d51b-bd11-4d58-8e1c-4e6e03b30c49
Yang, Hongseok
Leinberger, Martin
a660c10c-241c-4e0e-8cd1-f03cc8d98bd2
Lämmel, Ralf
88466e78-a512-4c70-ad31-7d50c4006b7f
Staab, Steffen
bf48d51b-bd11-4d58-8e1c-4e6e03b30c49
Yang, Hongseok

Leinberger, Martin, Lämmel, Ralf and Staab, Steffen (2017) The essence of functional programming on semantic data. Yang, Hongseok (ed.) In Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. vol. 10201, Springer. pp. 750-776 . (doi:10.1007/978-3-662-54434-1_28).

Record type: Conference or Workshop Item (Paper)

Abstract

Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone. Mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present lambda-DL, a typed lambda-calculus with constructs for operating on semantic data. This is achieved by the integration of description logics into the lambda-calculus for both typing and data access or querying. The language is centered around several key design principles, in particular: (1) the usage of semantic conceptualizations as types, (2) subtype inference for these types, and (3) type-checked query access to the data by both ensuring the satisfiability of queries as well as typing query results precisely. The paper motivates the use of a designated type system for semantic data and it provides the theoretic foundation for the integration of description logics as well as the core formal definition of lambda-DL including a proof of type safety.

Text
ESOP_2017_paper_39.pdf - Accepted Manuscript
Available under License Other.
Download (511kB)

More information

Accepted/In Press date: 17 December 2016
e-pub ahead of print date: 19 March 2017
Published date: 2017
Venue - Dates: 26th European Symposium on Programming, , Uppsala, Sweden, 2017-04-22 - 2017-04-29
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 404009
URI: http://eprints.soton.ac.uk/id/eprint/404009
PURE UUID: 1b46214d-a7f7-4e10-aa17-03256cda1f97
ORCID for Steffen Staab: ORCID iD orcid.org/0000-0002-0780-4154

Catalogue record

Date deposited: 19 Dec 2016 16:19
Last modified: 16 Mar 2024 06:42

Export record

Altmetrics

Contributors

Author: Martin Leinberger
Author: Ralf Lämmel
Author: Steffen Staab ORCID iD
Editor: Hongseok Yang

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×