Information-Rich Programming in F# with Semantic Data


February 6, 2014


Programming with rich data frequently implies that one needs to search for, understand, integrate and program with new data – with each of these steps constituting a major obstacle to successful data use. In this talk we will explain and demonstrate how our approach, LITEQ – Language Integrated Types, Extensions and Queries for RDF Graphs, which is realized as part of the F# / Visual Studio-environment, supports the software developer. Using the extended IDE the developer may now 1.explore new, previously unseen data sources, which are either natively in RDF or mapped into RDF; 2.use the exploration of schemata and data in order to construct types and objects in the F# environment; 3.automatically map between data and programming language objects in order to make them persistent in the data source; Have extended typing functionality added to the F# environment and resulting from the exploration of the data source and its mapping into F#.

Core to this approach is the novel node path query language, NPQL that allows for interactive, intuitive exploration of data schemata and data proper as well as for the mapping and definition of types, object collections and individual objects.

Beyond the existing type provider mechanism for F# our approach also allows for property-based navigation and runtime querying for data objects.


Steffan Staab and Martin Leinberger

Steffen Staab is professor for databases and information systems at the University of Koblenz-Landau, Germany. He has studied at the University of Erlangen (Germany), the University of Pennsylvania (Philadelphia) and University of Freiburg (Germany) and has founded the Institute for Web Science and Technologies (WeST) in 2009. Steffen has been programme chair of World Wide Web-2012 and of Int. Semantic Web Conf. in 2008. Microsoft Academics lists him among the top ten cited researchers in WWW and Semantic Web. Next to some other topics, he has worked on how to use semantic technologies to support software modeling and development over the last couple of years.