| Deciding SHACL shape containment through description logics reasoning M Leinberger, P Seifer, T Rienstra, R Lämmel, S Staab The Semantic Web–ISWC 2020: 19th International Semantic Web Conference …, 2020 | 25 | 2020 |
| Empirical study on the usage of graph query languages in open source Java projects P Seifer, J Härtel, M Leinberger, R Lämmel, S Staab Proceedings of the 12th ACM SIGPLAN international conference on software …, 2019 | 19 | 2019 |
| Type checking program code using SHACL M Leinberger, P Seifer, C Schon, R Lämmel, S Staab The Semantic Web–ISWC 2019: 18th International Semantic Web Conference …, 2019 | 16 | 2019 |
| Semantic query integration with reason P Seifer, M Leinberger, R Lämmel, S Staab arXiv preprint arXiv:1902.00545, 2019 | 8 | 2019 |
| ProGS: Property Graph Shapes Language P Seifer, R Lämmel, S Staab International Semantic Web Conference, 392-409, 2021 | 4 | 2021 |
| Understanding the Purpose of Source-Code Scopes Based on API Classifications P Seifer, K Gorjatschev, R Lämmel | | 2024 |
| From shapes to shapes: inferring SHACL shapes for results of SPARQL CONSTRUCT queries P Seifer, D Hernandez, R Lämmel, S Staab | | 2024 |
| From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version) P Seifer, D Hernández, R Lämmel, S Staab arXiv preprint arXiv:2402.08509, 2024 | | 2024 |
| Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version) M Leinberger, P Seifer, T Rienstra, R Lämmel, S Staab arXiv preprint arXiv:2008.13603, 2020 | | 2020 |
| Type Checking Program Code using SHACL (Extended Version) M Leinberger, P Seifer, C Schon, R Lämmel, S Staab arXiv preprint arXiv:1907.00855, 2019 | | 2019 |
