The University of Southampton
University of Southampton Institutional Repository

Semantic query integration with reason

Semantic query integration with reason
Semantic query integration with reason
Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific domains. The flexibility of such approaches, however, makes programming with semantic data tedious and error-prone. In particular the logics-based data descriptions employed by OWL are problematic for existing error-detecting techniques, such as type systems. In this paper, we present DOTSpa, an advanced integration of semantic data into programming. We embed description logics, the logical foundations of OWL, into the type checking process of a statically typed programming language and provide typed data access through an embedding of the query language SPARQL. In addition, we demonstrate a concrete implementation of the approach, by extending the Scala programming language. We qualitatively compare programs using our approach to equivalent programs using a state-of-the-art library, in terms of how both frameworks aid users in the handling of typical failure scenarios.
2473-7321
1-28
Seifer, Philipp
cf4777a9-262b-4de1-bda4-46e4a989bfbc
Leinberger, Martin
a660c10c-241c-4e0e-8cd1-f03cc8d98bd2
Lämmel, Ralf
88466e78-a512-4c70-ad31-7d50c4006b7f
Staab, Steffen
bf48d51b-bd11-4d58-8e1c-4e6e03b30c49
Seifer, Philipp
cf4777a9-262b-4de1-bda4-46e4a989bfbc
Leinberger, Martin
a660c10c-241c-4e0e-8cd1-f03cc8d98bd2
Lämmel, Ralf
88466e78-a512-4c70-ad31-7d50c4006b7f
Staab, Steffen
bf48d51b-bd11-4d58-8e1c-4e6e03b30c49

Seifer, Philipp, Leinberger, Martin, Lämmel, Ralf and Staab, Steffen (2019) Semantic query integration with reason. The Art, Science, and Engineering of Programming, 3 (3), 1-28. (doi:10.22152/programming-journal.org/2019/3/13). (In Press)

Record type: Article

Abstract

Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific domains. The flexibility of such approaches, however, makes programming with semantic data tedious and error-prone. In particular the logics-based data descriptions employed by OWL are problematic for existing error-detecting techniques, such as type systems. In this paper, we present DOTSpa, an advanced integration of semantic data into programming. We embed description logics, the logical foundations of OWL, into the type checking process of a statically typed programming language and provide typed data access through an embedding of the query language SPARQL. In addition, we demonstrate a concrete implementation of the approach, by extending the Scala programming language. We qualitatively compare programs using our approach to equivalent programs using a state-of-the-art library, in terms of how both frameworks aid users in the handling of typical failure scenarios.

Text
scaspa-camera-ready - Accepted Manuscript
Available under License Creative Commons Attribution.
Download (687kB)
Text
1902.00545 - Version of Record
Available under License Creative Commons Attribution.
Download (644kB)

More information

Accepted/In Press date: 10 January 2019

Identifiers

Local EPrints ID: 427637
URI: https://eprints.soton.ac.uk/id/eprint/427637
ISSN: 2473-7321
PURE UUID: 2f648690-e76a-4c38-89bb-d3b2f0518940
ORCID for Steffen Staab: ORCID iD orcid.org/0000-0002-0780-4154

Catalogue record

Date deposited: 24 Jan 2019 17:30
Last modified: 14 Mar 2019 01:32

Export record

Altmetrics

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 https://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.

×