Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Martin Leinberger is active.

Publication


Featured researches published by Martin Leinberger.


international semantic web conference | 2014

Semantic Web Application Development with LITEQ

Martin Leinberger; Stefan Scheglmann; Ralf Lämmel; Steffen Staab; Matthias Thimm; Evelyne Viegas

The Semantic Web is intended as a web of machine readable data where every data source can be the data provider for different kinds of applications. However, due to a lack of support it is still cumbersome to work with RDF data in modern, object-oriented programming languages, in particular if the data source is only available through a SPARQL endpoint without further documentation or published schema information. In this setting, it is desirable to have an integrated tool-chain that helps to understand the data source during development and supports the developer in the creation of persistent data objects. To tackle these issues, we introduce LITEQ, a paradigm for integrating RDF data sources into programming languages and strongly typing the data. Additionally, we report on two use cases and show that compared to existing approaches LITEQ performs competitively according to the Halstead metric.


european symposium on programming | 2017

The Essence of Functional Programming on Semantic Data

Martin Leinberger; Ralf Lämmel; Steffen Staab

Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone. Mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present


european semantic web conference | 2014

IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ

Stefan Scheglmann; Ralf Lämmel; Martin Leinberger; Steffen Staab; Matthias Thimm; Evelyne Viegas


Künstliche Intelligenz | 2016

SEPAL: Schema Enhanced Programming for Linked Data

Stefan Scheglmann; Martin Leinberger; Thomas Gottron; Steffen Staab; Ralf Lämmel

\lambda _{DL}


european semantic web conference | 2014

Programming the Semantic Web

Steffen Staab; Stefan Scheglmann; Martin Leinberger; Thomas Gottron


working conference on reverse engineering | 2012

Linking Documentation and Source Code in a Software Chrestomathy

Jean-Marie Favre; Ralf Lämmel; Martin Leinberger; Thomas Schmorleiz; Andrei Varanovich

, a typed


conference on software maintenance and reengineering | 2014

Comparison of feature implementations across languages, technologies, and styles

Ralf Lämmel; Martin Leinberger; Thomas Schmorleiz; Andrei Varanovich


international semantic web conference | 2017

Type-Safe Programming with OWL in Semantics4J.

Carsten Hartenfels; Martin Leinberger; Ralf Lämmel; Steffen Staab

\lambda


arXiv: Programming Languages | 2016

LambdaDL: Syntax and Semantics (Preliminary Report)

Martin Leinberger; Ralf Lämmel; Steffen Staab


principles and practice of declarative programming | 2014

Declarative Software Development: Distilled Tutorial

Ralf Lämmel; Andrei Varanovich; Martin Leinberger; Thomas Schmorleiz; Jean-Marie Favre

-calculus with constructs for operating on semantic data. This is achieved by the integration of description logics into the

Collaboration


Dive into the Martin Leinberger's collaboration.

Top Co-Authors

Avatar

Ralf Lämmel

University of Koblenz and Landau

View shared research outputs
Top Co-Authors

Avatar

Steffen Staab

University of Koblenz and Landau

View shared research outputs
Top Co-Authors

Avatar

Stefan Scheglmann

University of Koblenz and Landau

View shared research outputs
Top Co-Authors

Avatar

Andrei Varanovich

University of Koblenz and Landau

View shared research outputs
Top Co-Authors

Avatar

Matthias Thimm

University of Koblenz and Landau

View shared research outputs
Top Co-Authors

Avatar

Thomas Schmorleiz

University of Koblenz and Landau

View shared research outputs
Top Co-Authors

Avatar

Thomas Gottron

University of Koblenz and Landau

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge