Dataset for Logical Redundancy Reduction in Shape Constraints for Knowledge Graph Validation

This dataset accompanies the paper "Logical Redundancy Reduction in Shape Constraints for Knowledge Graph Validation" (LogRed-SHACL). It contains the knowledge graphs and SHACL shape schemas used in the experimental evaluation, covering LUBM, DBpedia, Wikidata, and YAGO-4 in small/medium/large size variants where applicable. The shape schemas for these knowledge graphs originate from "Extraction of Validating Shapes from very large Knowledge Graphs"; the versions uploaded here fix isolated syntax errors present in the original files and remove non-constraining metadata that was only used for record counting.