Type Checking Program Code Using SHACL. - Martin Leinberger; Philipp Seifer; Claudia Schon; Ralf Lämmel; Steffen Staab (ISWC (1), 2019)

Empirical study on the usage of graph query languages in open source Java projects. - Philipp Seifer; Johannes Härtel; Martin Leinberger; Ralf Lämmel; Steffen Staab (SLE, 2019)

Type Checking Program Code using SHACL (Extended Version). - Martin Leinberger; Philipp Seifer; Claudia Schon; Ralf Lämmel; Steffen Staab (CoRR, 2019)

Semantic Query Integration With Reason. - Philipp Seifer; Martin Leinberger; Ralf Lämmel; Steffen Staab (Art Sci. Eng. Program., 2019)

Deciding SHACL Shape Containment Through Description Logics Reasoning. - Martin Leinberger; Philipp Seifer; Tjitze Rienstra; Ralf Lämmel; Steffen Staab (ISWC (1), 2020)

Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version). - Martin Leinberger; Philipp Seifer; Tjitze Rienstra; Ralf Lämmel; Steffen Staab (CoRR, 2020)

ProGS: Property Graph Shapes Language. - Philipp Seifer; Ralf Lämmel; Steffen Staab (ISWC, 2021)

ProGS: Property Graph Shapes Language (Extended Version). - Philipp Seifer; Ralf Lämmel; Steffen Staab (CoRR, 2021)

Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract). - Philipp Seifer; Daniel Hernández 002; Ralf Lämmel; Steffen Staab (Description Logics, 2024)

eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs. - Xiny Pan; Daniel Hernández 002; Philipp Seifer; Ralf Lämmel; Steffen Staab (ISWC (2), 2024)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries. - Philipp Seifer; Daniel Hernández 002; Ralf Lämmel; Steffen Staab (WWW, 2024)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version). - Philipp Seifer; Daniel Hernández 002; Ralf Lämmel; Steffen Staab (CoRR, 2024)

Code for From Shapes to Shapes. - Philipp Seifer; Daniel Hernández 002; Ralf Lämmel; Steffen Staab (DaRUS, 2024)