{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SSRLSALJZSC3RZBBEJW25SCTSZ","short_pith_number":"pith:SSRLSALJ","canonical_record":{"source":{"id":"1404.1270","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-04-04T14:39:48Z","cross_cats_sorted":[],"title_canon_sha256":"6a9a815f3d47284ecdb7bd8f768eb6db3079ca4e46d9ce5ef2865f2e25e1bf43","abstract_canon_sha256":"13ca7d61586f77b10f344c511025665d1f18e78b8242d6037b8563d3c548a1c7"},"schema_version":"1.0"},"canonical_sha256":"94a2b90169cc85b8e421226daec853967963cea839a826b782afea30614c083b","source":{"kind":"arxiv","id":"1404.1270","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.1270","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"arxiv_version","alias_value":"1404.1270v3","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1270","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"pith_short_12","alias_value":"SSRLSALJZSC3","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SSRLSALJZSC3RZBB","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SSRLSALJ","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SSRLSALJZSC3RZBBEJW25SCTSZ","target":"record","payload":{"canonical_record":{"source":{"id":"1404.1270","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-04-04T14:39:48Z","cross_cats_sorted":[],"title_canon_sha256":"6a9a815f3d47284ecdb7bd8f768eb6db3079ca4e46d9ce5ef2865f2e25e1bf43","abstract_canon_sha256":"13ca7d61586f77b10f344c511025665d1f18e78b8242d6037b8563d3c548a1c7"},"schema_version":"1.0"},"canonical_sha256":"94a2b90169cc85b8e421226daec853967963cea839a826b782afea30614c083b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:58.240832Z","signature_b64":"ZMymdcW+Sc3gkm/cnWclOI1us3jkT0ZWB/oRqRXLwrD8kPHHdO/pyvBqN74FERQXX0vXvXIikbu08dlImnmUBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94a2b90169cc85b8e421226daec853967963cea839a826b782afea30614c083b","last_reissued_at":"2026-05-18T00:34:58.240042Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:58.240042Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.1270","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:34:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uUXfwQtcWKXpfVnstz8arzH8JVbJZXTo10Lvpyk49noZfbQLnuT+LE5u7oR24KUowLU6e9Q2DSQWjmBtW2IrDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:36:06.271634Z"},"content_sha256":"c0e084a791f82b8fc6de88e20764a36b32eae68871d45f314e31ff5b045a19c2","schema_version":"1.0","event_id":"sha256:c0e084a791f82b8fc6de88e20764a36b32eae68871d45f314e31ff5b045a19c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SSRLSALJZSC3RZBBEJW25SCTSZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantics and Validation of Shapes Schemas for RDF","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Eric G. Prud'hommeau, Iovka Boneva, Jose Emilio Labra Gayo","submitted_at":"2014-04-04T14:39:48Z","abstract_excerpt":"We present a formal semantics and proof of soundness for shapes schemas, an expressive schema language for RDF graphs that is the foundation of Shape Expressions Language 2.0. It can be used to describe the vocabulary and the structure of an RDF graph, and to constrain the admissible properties and values for nodes in that graph. The language defines a typing mechanism called shapes against which nodes of the graph can be checked. It includes an algebraic grouping operator, a choice operator and cardinality constraints for the number of allowed occurrences of a property. Shapes can be combined"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1270","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:34:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JjJZL92c8UQICEvyFKnRbV/Po3+MnB6t7buZthjJ3u2Ow7CbAmPvCt20nW/U/Cgp66qJO84d+GVX8S3Dzk/8BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:36:06.272079Z"},"content_sha256":"55254b24749d6bdf14dbd4dbaef5df10dcd556daeacb89ce389ab763df7b4fd9","schema_version":"1.0","event_id":"sha256:55254b24749d6bdf14dbd4dbaef5df10dcd556daeacb89ce389ab763df7b4fd9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SSRLSALJZSC3RZBBEJW25SCTSZ/bundle.json","state_url":"https://pith.science/pith/SSRLSALJZSC3RZBBEJW25SCTSZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SSRLSALJZSC3RZBBEJW25SCTSZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T04:36:06Z","links":{"resolver":"https://pith.science/pith/SSRLSALJZSC3RZBBEJW25SCTSZ","bundle":"https://pith.science/pith/SSRLSALJZSC3RZBBEJW25SCTSZ/bundle.json","state":"https://pith.science/pith/SSRLSALJZSC3RZBBEJW25SCTSZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SSRLSALJZSC3RZBBEJW25SCTSZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SSRLSALJZSC3RZBBEJW25SCTSZ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"13ca7d61586f77b10f344c511025665d1f18e78b8242d6037b8563d3c548a1c7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-04-04T14:39:48Z","title_canon_sha256":"6a9a815f3d47284ecdb7bd8f768eb6db3079ca4e46d9ce5ef2865f2e25e1bf43"},"schema_version":"1.0","source":{"id":"1404.1270","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.1270","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"arxiv_version","alias_value":"1404.1270v3","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1270","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"pith_short_12","alias_value":"SSRLSALJZSC3","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SSRLSALJZSC3RZBB","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SSRLSALJ","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:55254b24749d6bdf14dbd4dbaef5df10dcd556daeacb89ce389ab763df7b4fd9","target":"graph","created_at":"2026-05-18T00:34:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We present a formal semantics and proof of soundness for shapes schemas, an expressive schema language for RDF graphs that is the foundation of Shape Expressions Language 2.0. It can be used to describe the vocabulary and the structure of an RDF graph, and to constrain the admissible properties and values for nodes in that graph. The language defines a typing mechanism called shapes against which nodes of the graph can be checked. It includes an algebraic grouping operator, a choice operator and cardinality constraints for the number of allowed occurrences of a property. Shapes can be combined","authors_text":"Eric G. Prud'hommeau, Iovka Boneva, Jose Emilio Labra Gayo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-04-04T14:39:48Z","title":"Semantics and Validation of Shapes Schemas for RDF"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1270","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c0e084a791f82b8fc6de88e20764a36b32eae68871d45f314e31ff5b045a19c2","target":"record","created_at":"2026-05-18T00:34:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"13ca7d61586f77b10f344c511025665d1f18e78b8242d6037b8563d3c548a1c7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-04-04T14:39:48Z","title_canon_sha256":"6a9a815f3d47284ecdb7bd8f768eb6db3079ca4e46d9ce5ef2865f2e25e1bf43"},"schema_version":"1.0","source":{"id":"1404.1270","kind":"arxiv","version":3}},"canonical_sha256":"94a2b90169cc85b8e421226daec853967963cea839a826b782afea30614c083b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"94a2b90169cc85b8e421226daec853967963cea839a826b782afea30614c083b","first_computed_at":"2026-05-18T00:34:58.240042Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:58.240042Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZMymdcW+Sc3gkm/cnWclOI1us3jkT0ZWB/oRqRXLwrD8kPHHdO/pyvBqN74FERQXX0vXvXIikbu08dlImnmUBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:58.240832Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.1270","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0e084a791f82b8fc6de88e20764a36b32eae68871d45f314e31ff5b045a19c2","sha256:55254b24749d6bdf14dbd4dbaef5df10dcd556daeacb89ce389ab763df7b4fd9"],"state_sha256":"b2a8ef7e029e3429c6aa320dae823d9412e99fa2b355bc73573860867ec6b601"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6PmQf6M2zturn5WhxhBZQNdRkwipxiw1OzSPsRErbANTdo6uho0bRulnGnqT2CPWO5tCCkekV6CWDEDpOH7OBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T04:36:06.274344Z","bundle_sha256":"ee3f8a67251971f50ddacbdd11e59644edcd8bf3b014a6f0f27bccbf52f0c088"}}