{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:6IERTI465PSDMKHJJ5V2ICKTAJ","short_pith_number":"pith:6IERTI46","schema_version":"1.0","canonical_sha256":"f20919a39eebe43628e94f6ba409530275e5381349a04e9830295303aab14da7","source":{"kind":"arxiv","id":"2507.08432","version":1},"attestation_state":"computed","paper":{"title":"xpSHACL: Explainable SHACL Validation using Retrieval-Augmented Generation and Large Language Models","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.DB","authors_text":"Gustavo Correa Publio, Jos\\'e Emilio Labra Gayo","submitted_at":"2025-07-11T09:18:41Z","abstract_excerpt":"Shapes Constraint Language (SHACL) is a powerful language for validating RDF data. Given the recent industry attention to Knowledge Graphs (KGs), more users need to validate linked data properly. However, traditional SHACL validation engines often provide terse reports in English that are difficult for non-technical users to interpret and act upon. This paper presents xpSHACL, an explainable SHACL validation system that addresses this issue by combining rule-based justification trees with retrieval-augmented generation (RAG) and large language models (LLMs) to produce detailed, multilanguage, "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2507.08432","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2025-07-11T09:18:41Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"ca5e5a31f32ea83c0673b99cac8704bc4a9cdd1187ee1c5cdb82d64e3d185751","abstract_canon_sha256":"79df54a383125805d39f87797b10ae1cf5a4498538b2e807d1f013f2a307cc40"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:35:38.088024Z","signature_b64":"ef5A6tXPLtgECFp/Z2NbTcYjzwVWvDGiq9P9fO+LnG4loWxv9tj0ekVKZxLxOkYNFFQU/vJ0a8X6QZlGf1c4Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f20919a39eebe43628e94f6ba409530275e5381349a04e9830295303aab14da7","last_reissued_at":"2026-07-05T11:35:38.087485Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:35:38.087485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"xpSHACL: Explainable SHACL Validation using Retrieval-Augmented Generation and Large Language Models","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.DB","authors_text":"Gustavo Correa Publio, Jos\\'e Emilio Labra Gayo","submitted_at":"2025-07-11T09:18:41Z","abstract_excerpt":"Shapes Constraint Language (SHACL) is a powerful language for validating RDF data. Given the recent industry attention to Knowledge Graphs (KGs), more users need to validate linked data properly. However, traditional SHACL validation engines often provide terse reports in English that are difficult for non-technical users to interpret and act upon. This paper presents xpSHACL, an explainable SHACL validation system that addresses this issue by combining rule-based justification trees with retrieval-augmented generation (RAG) and large language models (LLMs) to produce detailed, multilanguage, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.08432","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.08432/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2507.08432","created_at":"2026-07-05T11:35:38.087569+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.08432v1","created_at":"2026-07-05T11:35:38.087569+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.08432","created_at":"2026-07-05T11:35:38.087569+00:00"},{"alias_kind":"pith_short_12","alias_value":"6IERTI465PSD","created_at":"2026-07-05T11:35:38.087569+00:00"},{"alias_kind":"pith_short_16","alias_value":"6IERTI465PSDMKHJ","created_at":"2026-07-05T11:35:38.087569+00:00"},{"alias_kind":"pith_short_8","alias_value":"6IERTI46","created_at":"2026-07-05T11:35:38.087569+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ","json":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ.json","graph_json":"https://pith.science/api/pith-number/6IERTI465PSDMKHJJ5V2ICKTAJ/graph.json","events_json":"https://pith.science/api/pith-number/6IERTI465PSDMKHJJ5V2ICKTAJ/events.json","paper":"https://pith.science/paper/6IERTI46"},"agent_actions":{"view_html":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ","download_json":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ.json","view_paper":"https://pith.science/paper/6IERTI46","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.08432&json=true","fetch_graph":"https://pith.science/api/pith-number/6IERTI465PSDMKHJJ5V2ICKTAJ/graph.json","fetch_events":"https://pith.science/api/pith-number/6IERTI465PSDMKHJJ5V2ICKTAJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ/action/storage_attestation","attest_author":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ/action/author_attestation","sign_citation":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ/action/citation_signature","submit_replication":"https://pith.science/pith/6IERTI465PSDMKHJJ5V2ICKTAJ/action/replication_record"}},"created_at":"2026-07-05T11:35:38.087569+00:00","updated_at":"2026-07-05T11:35:38.087569+00:00"}