Martin Leinberger

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 13

Top Topics

Description Logics

Open Source Java

Top Venues

ESWC (Satellite Events)

Art Sci. Eng. Program.

Publications

Tobias Wamhof, Ansgar Bernardi, Daniel Martini, Martin Leinberger, Arka Sinha, Heiko Tapken, Andreas Schliebitz, Henri Graf
Metadata Management and Asset Exchange in the Agricultural Data Ecosystem of the Project Agri-Gaia. Datenbank-Spektrum 23 (2) (2023)
Daniel Janke, Steffen Staab, Martin Leinberger
Data placement strategies that speed-up distributed graph query processing. SBD@SIGMOD (2020)
Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab
Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version). CoRR (2020)
Martin Leinberger, Philipp Seifer, Tjitze Rienstra, Ralf Lämmel, Steffen Staab
Deciding SHACL Shape Containment Through Description Logics Reasoning. ISWC (1) (2020)
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
Type Checking Program Code Using SHACL. ISWC (1) (2019)
Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab
Semantic Query Integration With Reason. Art Sci. Eng. Program. 3 (3) (2019)
Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, Steffen Staab
Empirical study on the usage of graph query languages in open source Java projects. SLE (2019)
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
Type Checking Program Code using SHACL (Extended Version). CoRR (2019)
Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab
Semantic Query Integration With Reason. CoRR (2019)
Martin Leinberger, Ralf Lämmel, Steffen Staab
The Essence of Functional Programming on Semantic Data. ESOP (2017)
Carsten Hartenfels, Martin Leinberger, Ralf Lämmel, Steffen Staab
Type-Safe Programming with OWL in Semantics4J. ISWC (Posters, Demos & Industry Tracks) (2017)
Martin Leinberger, Ralf Lämmel, Steffen Staab
LambdaDL: Syntax and Semantics (Preliminary Report). CoRR (2016)
Stefan Scheglmann, Martin Leinberger, Thomas Gottron, Steffen Staab, Ralf Lämmel
SEPAL: Schema Enhanced Programming for Linked Data. Künstliche Intell. 30 (2) (2016)
Stefan Scheglmann, Ralf Lämmel, Martin Leinberger, Steffen Staab, Matthias Thimm, Evelyne Viegas
IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ. ESWC (Satellite Events) (2014)
Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas
Semantic Web Application Development with LITEQ. ISWC (2) (2014)
Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich
Comparison of feature implementations across languages, technologies, and styles. CSMR-WCRE (2014)
Steffen Staab, Stefan Scheglmann, Martin Leinberger, Thomas Gottron
Programming the Semantic Web. ESWC (2014)
Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre
Declarative Software Development: Distilled Tutorial. PPDP (2014)
Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm
Property-based typing with LITEQ. ISWC (Posters & Demos) (2014)
Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich
Linking Documentation and Source Code in a Software Chrestomathy. WCRE (2012)