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.2018 - 10:15