Author of the publication

Type Checking Program Code Using SHACL

, , , , and . The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, volume 11778 of Lecture Notes in Computer Science, page 399--417. Springer, (2019)
DOI: 10.1007/978-3-030-30793-6\_23

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Type Checking Program Code using SHACL (Extended Version)., , , , and . CoRR, (2019)Deciding SHACL Shape Containment Through Description Logics Reasoning., , , , and . ISWC (1), volume 12506 of Lecture Notes in Computer Science, page 366-383. Springer, (2020)Code for From Shapes to Shapes., , , and . (February 2024)Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)., , , , and . CoRR, (2020)Type Checking Program Code Using SHACL, , , , and . The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, volume 11778 of Lecture Notes in Computer Science, page 399--417. Springer, (2019)From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)., , , and . CoRR, (2024)Empirical study on the usage of graph query languages in open source Java projects., , , , and . SLE, page 152-166. ACM, (2019)ProGS: Property Graph Shapes Language., , and . ISWC, volume 12922 of Lecture Notes in Computer Science, page 392-409. Springer, (2021)Type Checking Program Code Using SHACL., , , , and . ISWC (1), volume 11778 of Lecture Notes in Computer Science, page 399-417. Springer, (2019)ProGS: Property Graph Shapes Language (Extended Version)., , and . CoRR, (2021)