Much of the Big Data hype focuses on the size of data and on the use of ML/AI to get something out of the data and on the programming technologies and infrastructure to deal with size, ML, and AI. Our research focuses on a complementary problem: the ontological semantics of data and how to use it for querying data programmatically and to help programmers in the tradition of static typing.In this talk, I present two strongly connected pieces of work: i) $\lambda_{\mathit{DL}}$ - a lambda calculus with description logic-aware type system and means of querying semantic data ('triples'); ii) a completed language integration such that description logic and a subset of the standardized Sparql language are embedded into Scala. The integration reuses existing components -- triple store, ontological reasoner, and Sparql query engine -- and it extends the Scala type system appropriately.

Location

SW101, Cornwallis South West, University of Kent, Canterbury, Kent, CT2 7NF
United KingdomMap