Code for From Shapes to Shapes

DOI

This dataset contains the implementation code for an algorithm to infer SHACL shapes that the graph returned by an SPARQL CONSTRUCT query must satisfy if the input satisfies a given set of SHACL shapes. This dataset also includes an evaluation for the algorithm.

The algorithm implemented in this dataset is proposed in the paper From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries.

To execute the code, follow the instructions in the README.md file. For more info, please check the paper, and please have no hesitation to contact the authors for any inquiries.

Further information can be found in the README.md. The code of this repository is also on GitHub.

Identifier
DOI https://doi.org/10.18419/darus-3977
Related Identifier IsCitedBy https://doi.org/10.1145/3589334.3645550
Metadata Access https://darus.uni-stuttgart.de/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=doi:10.18419/darus-3977
Provenance
Creator Seifer, Philipp ORCID logo; Hernández, Daniel ORCID logo; Lämmel, Ralf ORCID logo; Staab, Steffen ORCID logo
Publisher DaRUS
Contributor Seifer Philipp; Hernández, Daniel
Publication Year 2024
Funding Reference DFG SPP 1921 - 318363223 ; DFG EXC 2120/1 - 390831618
Rights MIT License; info:eu-repo/semantics/openAccess; https://spdx.org/licenses/MIT.html
OpenAccess true
Contact Seifer Philipp (University of Koblenz); Hernández, Daniel (University of Stuttgart)
Representation
Resource Type Dataset
Format application/octet-stream; application/x-sh; text/plain; charset=US-ASCII; text/x-makefile; text/csv; text/plain; text/markdown; application/json; application/x-msdownload
Size 1098; 3162; 11082; 3678; 878; 3160; 18; 2419; 931; 248; 3235; 7863; 3268; 2149; 4208; 15432; 998; 3684; 2363; 4918; 1706; 353; 1294; 1067; 639; 11282; 3929; 9626; 14258; 31262; 2470; 3116; 354; 107; 7335; 8829; 1071; 5410; 339; 240; 2847; 3296; 368; 2084; 4710; 65; 318; 3535; 8137; 842446; 1240; 5076917; 1253; 13682160; 1278; 552089; 1264; 989217; 1257; 1317639; 1267; 5981; 3114; 2428; 2061; 3349; 5686; 961; 1876; 2212; 94; 120; 77; 133; 92; 75; 90; 422435; 298077; 8574; 6995; 10798; 742; 293; 252; 843; 19; 42; 392; 317; 103; 2038; 15; 1268; 243; 9; 25; 0; 879; 5522; 4375; 1182; 122; 2377; 2520; 2508; 1032; 4529; 676; 1389; 1774; 6877; 2140; 2220; 4233; 7875; 5607; 1726; 513; 7461; 7289; 1076; 492; 2320
Version 1.0
Discipline Logic; Mathematics; Natural Sciences