Lambdas Query with Reason

I will be visiting Simon Thompson and the PLAS seminar organized by Olaf Chitil at University of Kent on 15 Oct 2018.

Speaker

Ralf Lämmel, Facebook London and University of Koblenz-Landau (on leave)

Title

Lambdas Query with Reason

Abstract

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.

Joint Work


Disclaimer

The research discussed here is carried out outside my mandate at Facebook, as part of my continued research affiliation with the SoftLang Team and collaboration with the WeST Institute at University of Koblenz-Landau. 


Slides of the talk

PDF

Further Reading


Bio

http://www.softlang.org/rlaemmel:bio


Comments

Popular posts from this blog

SWI-Prolog's Java Interface JPL

Software Engineering Teaching Meets LLMs

Artificial General Intelligence obsoletes Software Reverse/Re-Engineering research as we know it!?