{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:54:04Z","timestamp":1773248044855,"version":"3.50.1"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"11","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2024,7]]},"abstract":"<jats:p>As the usage of knowledge graphs (KGs) becomes more pervasive in practical applications, there is a burgeoning need for high-quality data. The SHApes Constraint Language (SHACL) allows for expressing certain types of quality constraints that define sub-structures and correct values in KGs modelled with RDF. Nevertheless, performing SHACL validation without entailment often yields onesided outcomes, as it falls short of validating crucial implicit data encoded in the KG ontology. Current solutions that incorporate entailment into SHACL validation are inefficient, due to the time-intensive process of applying inference rules to the entire dataset. Moreover, applying entailment for SHACL validation can generate large amounts of redundant triples, exacerbating the validation workload and resulting in erroneous or redundant validation results. In light of these challenges, we propose Re-SHACL, an approach that combines targeted reasoning and entity merging techniques to generate a concise, consolidated RDF graph devoid of redundancy. Re-SHACL significantly reduces execution time and improves the accuracy of the validation reports. Our experiments demonstrate that Re-SHACL can be combined with state-of-the-art validators to deliver accurate validation reports efficiently.<\/jats:p>","DOI":"10.14778\/3681954.3682023","type":"journal-article","created":{"date-parts":[[2024,8,30]],"date-time":"2024-08-30T16:23:36Z","timestamp":1725035016000},"page":"3589-3601","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Efficient Validation of SHACL Shapes with Reasoning"],"prefix":"10.14778","volume":"17","author":[{"given":"Jin","family":"Ke","sequence":"first","affiliation":[{"name":"Technical University of Munich, Heilbronn, Germany"}]},{"given":"Zenon","family":"Zacouris","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Heilbronn, Germany"}]},{"given":"Maribel","family":"Acosta","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Heilbronn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2024,8,30]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA230250"},{"key":"e_1_2_1_2_1","unstructured":"Dan Brickley and R. V. Guha. 2014. RDF Schema 1.1. W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2023.101942"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/373626.373697"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536258.2536262"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, Industry, and Outrageous Ideas) (CEUR Workshop Proceedings)","volume":"2456","author":"Corman Julien","year":"2019","unstructured":"Julien Corman, Fernando Florenzano, Juan L. Reutter, and Ognjen Savkovic. 2019. SHACL2SPARQL: Validating a SPARQL Endpoint against Recursive SHACL Constraints.. In Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, Industry, and Outrageous Ideas) (CEUR Workshop Proceedings), Vol. 2456. CEUR-WS.org, Auckland, New Zealand, 165--168."},{"key":"e_1_2_1_7_1","volume-title":"International Semantic Web Conference (Lecture Notes in Computer Science)","volume":"11778","author":"Corman Julien","year":"2019","unstructured":"Julien Corman, Fernando Florenzano, Juan L. Reutter, and Ognjen Savkovic. 2019. Validating Shacl Constraints over a Sparql Endpoint. In The Semantic Web, International Semantic Web Conference (Lecture Notes in Computer Science), Vol. 11778. Springer, Auckland, New Zealand, 145--163."},{"key":"e_1_2_1_8_1","volume-title":"Retrieved","author":"Corman Julien","year":"2024","unstructured":"Julien Corman, Fernando Florenzano, Juan L Reutter, and Ognjen Savkovic. 2021. SHACL2SPARQL. Retrieved 10 July 2024 from https:\/\/github.com\/rdfshapes\/shacl-sparql"},{"key":"e_1_2_1_9_1","volume-title":"International Semantic Web Conference (Lecture Notes in Computer Science)","volume":"11136","author":"Corman Julien","year":"2018","unstructured":"Julien Corman, Juan L. Reutter, and Ognjen Savkovic. 2018. Semantics and Validation of Recursive SHACL. In The Semantic Web, International Semantic Web Conference (Lecture Notes in Computer Science), Vol. 11136. Springer, Monterey, CA, USA, 318--336."},{"key":"e_1_2_1_10_1","volume-title":"Foundations of data quality management","author":"Fan Wenfei","unstructured":"Wenfei Fan and Floris Geerts. 2012. Foundations of data quality management. Morgan & Claypool Publishers."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1412331.1412337"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335172"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1976.10481472"},{"key":"e_1_2_1_14_1","volume-title":"Trav-SHACL: Efficiently Validating Networks of SHACL Constraints. In WWW: The Web Conference. ACM \/ IW3C2","author":"Figuera M\u00f3nica","year":"2021","unstructured":"M\u00f3nica Figuera, Philipp D. Rohde, and Maria-Esther Vidal. 2021. Trav-SHACL: Efficiently Validating Networks of SHACL Constraints. In WWW: The Web Conference. ACM \/ IW3C2, Ljubljana, Slovenia, 3337--3348."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.25835\/0035739"},{"key":"e_1_2_1_16_1","volume-title":"Reasoning Web. Semantic Technologies for the Web of Data (Lecture Notes in Computer Science)","author":"Glimm Birte","unstructured":"Birte Glimm. 2011. Using SPARQL with RDFS and OWL Entailment. In Reasoning Web. Semantic Technologies for the Web of Data (Lecture Notes in Computer Science), Vol. 6848. Springer, Galway, Ireland, 137--201."},{"key":"e_1_2_1_17_1","volume-title":"WWW (CEUR Workshop Proceedings)","volume":"937","author":"Glimm Birte","year":"2012","unstructured":"Birte Glimm, Aidan Hogan, Markus Kr\u00f6tzsch, and Axel Polleres. 2012. OWL: Yet to arrive on the Web of Data?. In WWW (CEUR Workshop Proceedings), Vol. 937. CEUR-WS.org, Lyon, France."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2011.5767965"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"e_1_2_1_21_1","volume-title":"Patel-Schneider","author":"Hayes Patrick J.","year":"2014","unstructured":"Patrick J. Hayes and Peter F. Patel-Schneider. 2014. Patterns of RDFS entailment. W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/rdf11-mt\/\/#patterns-of-rdfs-entailment-informative"},{"key":"e_1_2_1_22_1","volume-title":"Patel-Schneider","author":"Hayes Patrick J.","year":"2014","unstructured":"Patrick J. Hayes and Peter F. Patel-Schneider. 2014. RDF 1.1 Semantics. W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/rdf11-mt\/"},{"key":"e_1_2_1_23_1","volume-title":"OWL 2 Web Ontology Language Primer. W3C. Retrieved","author":"Hitzler Pascal","year":"2024","unstructured":"Pascal Hitzler, Markus Kr\u00f6tzsch, Bijan Parsia, Peter F. Patel-Schneider, and Sebastian Rudolph. 2012. OWL 2 Web Ontology Language Primer. W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/owl2-primer\/"},{"key":"e_1_2_1_24_1","volume-title":"Deserno","author":"Keuchel Daniel","year":"2021","unstructured":"Daniel Keuchel, Nicolai Spicher, Ju Wang, Michael V\u00f6lcker, Yang Gong, and Thomas M. Deserno. 2021. SHACL-Based Report Quality Evaluation for Health IT-Induced Medication Errors. In MEDINFO World Congress on Medical and Health Informatics (Studies in Health Technology and Informatics), Vol. 290. IOS Press, 414--418."},{"key":"e_1_2_1_25_1","volume-title":"Shapes Constraint Language (SHACL). W3C. Retrieved","author":"Knublauch Holger","year":"2024","unstructured":"Holger Knublauch and Dimitris Kontokostas. 2017. Shapes Constraint Language (SHACL). W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/shacl-js\/"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514901"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536360.2536361"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW-140134"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360904"},{"key":"e_1_2_1_30_1","volume-title":"Automation of Electronic Invoice Validation Using Knowledge Graph Technologies. In The Semantic Web: International Conference, ESWC 2024 (Lecture Notes in Computer Science)","volume":"14664","author":"M\u00e4kelburg Johannes","year":"2024","unstructured":"Johannes M\u00e4kelburg, Christian John, and Maribel Acosta. 2024. Automation of Electronic Invoice Validation Using Knowledge Graph Technologies. In The Semantic Web: International Conference, ESWC 2024 (Lecture Notes in Computer Science), Vol. 14664. Springer, Hersonissos, Crete, Greece, 253--269."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW-200384"},{"key":"e_1_2_1_32_1","volume-title":"Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz.","author":"Motik Boris","year":"2012","unstructured":"Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz. 2012. OWL 2 Profiles: Computational Properties. W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/owl2-profiles\/#Computational_Properties"},{"key":"e_1_2_1_33_1","volume-title":"Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz.","author":"Motik Boris","year":"2012","unstructured":"Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz. 2012. OWL 2 Web Ontology Language Profiles. W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"e_1_2_1_34_1","volume-title":"Reasoning Web. Declarative Artificial Intelligence (Lecture Notes in Computer Science)","author":"Pareti Paolo","unstructured":"Paolo Pareti and George Konstantinidis. 2021. A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs. In Reasoning Web. Declarative Artificial Intelligence (Lecture Notes in Computer Science), Vol. 13100. Springer, Leuven, Belgium, 115--144."},{"key":"e_1_2_1_35_1","volume-title":"SHACL Constraints with Inference Rules. In The Semantic Web - ISWC International Semantic Web Conference (Lecture Notes in Computer Science)","volume":"11778","author":"Pareti Paolo","year":"2019","unstructured":"Paolo Pareti, George Konstantinidis, Timothy J. Norman, and Murat Sensoy. 2019. SHACL Constraints with Inference Rules. In The Semantic Web - ISWC International Semantic Web Conference (Lecture Notes in Computer Science), Vol. 11778. Springer, Auckland, New Zealand, 539--557."},{"key":"e_1_2_1_36_1","volume-title":"OWL Web Ontology Language Semantics and Abstract Syntax. W3C. Retrieved","author":"Patel-Schneider Peter F.","year":"2024","unstructured":"Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. 2004. OWL Web Ontology Language Semantics and Abstract Syntax. W3C. Retrieved 10 July 2024 from https:\/\/www.w3.org\/TR\/2004\/REC-owl-semantics-20040210\/"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.14778\/3377369.3377377"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.14778\/3579075.3579078"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21348-0_21"},{"key":"e_1_2_1_40_1","volume-title":"pySHACL. Retrieved","author":"Sommer Ashley","year":"2024","unstructured":"Ashley Sommer, Nicholas Car, and Jonathan Yu. 2018. pySHACL. Retrieved 10 July 2024 from https:\/\/pypi.org\/project\/pyshacl\/0.9.5\/"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the Linked Data in Architecture and Construction Workshop (CEUR Workshop Proceedings)","volume":"2636","author":"Stolk Sander","year":"2020","unstructured":"Sander Stolk and Kris McGlinn. 2020. Validation of IfcOWL datasets using SHACL. In Proceedings of the Linked Data in Architecture and Construction Workshop (CEUR Workshop Proceedings), Vol. 2636. CEUR-WS.org, Dublin, Ireland, 91--104."},{"key":"e_1_2_1_42_1","volume-title":"Extending FAIR to FAIREr: Cognitive Interoperability and the Human Explorability of Data and Metadata. CoRR abs\/2301.04202","author":"Vogt Lars","year":"2023","unstructured":"Lars Vogt. 2023. Extending FAIR to FAIREr: Cognitive Interoperability and the Human Explorability of Data and Metadata. CoRR abs\/2301.04202 (2023)."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629489"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/1341681.1341690"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3681954.3682023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:27:57Z","timestamp":1725474477000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3681954.3682023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":43,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2024,7]]}},"alternative-id":["10.14778\/3681954.3682023"],"URL":"https:\/\/doi.org\/10.14778\/3681954.3682023","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2024,7]]},"assertion":[{"value":"2024-08-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}