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 | 26 | 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 | 5 | 2021 |
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 | 1 | 2024 |
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 Hernández, R Lämmel, S Staab | | 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 |