The essence of functional programming on semantic data[go to overview]
Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone while mapping approaches cannot fully capture the conceptualization of semantic data. In this talk, I present λ-DL, λ-calculus with a modified type system to provide effortless type-safe integration of semantic data. This is achieved by the integration of description logics into the λ-calculus for typing and data access. It is centered around several key design principles. Among these are (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 typing query results precisely in DL.
01.09.16 - 10:15