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.
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), .
(doi:10.22152/programming-journal.org/2019/3/13).
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
Text
1902.00545
- Version of Record
More information
Accepted/In Press date: 10 January 2019
e-pub ahead of print date: 1 February 2019
Identifiers
Local EPrints ID: 427637
URI: http://eprints.soton.ac.uk/id/eprint/427637
ISSN: 2473-7321
PURE UUID: 2f648690-e76a-4c38-89bb-d3b2f0518940
Catalogue record
Date deposited: 24 Jan 2019 17:30
Last modified: 16 Mar 2024 04:22
Export record
Altmetrics
Contributors
Author:
Philipp Seifer
Author:
Martin Leinberger
Author:
Ralf Lämmel
Author:
Steffen Staab
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