School of Computing

Oct 15, 2018
15:00 - 16:00
PLAS: Ralf Laemmel (Facebook & Uni Koblenz-Landau)
PLAS Group Seminar
Lambdas Query with Reason

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.


Cornwallis South West,
University of Kent,
United Kingdom


Contact: O.Chitil
School of Computing

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015