Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

Integrating SPARQL into Scala

[zur Übersicht]
Philipp Seifer

While semantic data models are increasingly relevant for scientific and business tasks, working with semantic data still remains complex and error-prone. This, in part, is due to the inadequate integration of related technologies in common programming languages. The research language λDL was developed to remedy this concern, by introducing static checks: It uses description logics, the underlying formalism of OWL ontologies, to provide a type system for semantic data. This thesis is based on λDL and aims to transfer the approach to the functional programming language Scala and the widely used semantic query language SPARQL. In order to allow description logics to be employed for specifying the types of SPARQL queries, Scala's type system is extended via a compiler plugin, which refers the required concept subsumption checks to an OWL reasoner.

12.04.18 - 10:15
B 016