{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:DMQP2PC2L3SNNBXWCNLH66HWZG","short_pith_number":"pith:DMQP2PC2","canonical_record":{"source":{"id":"1108.0229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-01T03:58:02Z","cross_cats_sorted":["cs.NI","cs.PL"],"title_canon_sha256":"f175902c3d24df0b4c38919e2b677cad725cc72c36b49464ec5ecee5b0c60409","abstract_canon_sha256":"61a01aea01662a4ec2386c4f013ca5d2488fadd44efd347d15c6e0c5c0f4bc16"},"schema_version":"1.0"},"canonical_sha256":"1b20fd3c5a5ee4d686f613567f78f6c9a24cfe8e70a9c9cd7eb8b029297015bd","source":{"kind":"arxiv","id":"1108.0229","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0229","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0229v1","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0229","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"DMQP2PC2L3SN","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DMQP2PC2L3SNNBXW","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DMQP2PC2","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:DMQP2PC2L3SNNBXWCNLH66HWZG","target":"record","payload":{"canonical_record":{"source":{"id":"1108.0229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-01T03:58:02Z","cross_cats_sorted":["cs.NI","cs.PL"],"title_canon_sha256":"f175902c3d24df0b4c38919e2b677cad725cc72c36b49464ec5ecee5b0c60409","abstract_canon_sha256":"61a01aea01662a4ec2386c4f013ca5d2488fadd44efd347d15c6e0c5c0f4bc16"},"schema_version":"1.0"},"canonical_sha256":"1b20fd3c5a5ee4d686f613567f78f6c9a24cfe8e70a9c9cd7eb8b029297015bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:31.460990Z","signature_b64":"yUBbcbJ6JgkIwV5kBHtyHokGxauAo7ug8cQiiyGA8AxWM/jYkUejq/eC8gCBre0YUpeL8XLMvGi24T3ZOG9/Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1b20fd3c5a5ee4d686f613567f78f6c9a24cfe8e70a9c9cd7eb8b029297015bd","last_reissued_at":"2026-05-18T04:16:31.460580Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:31.460580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.0229","source_version":1,"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-18T04:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"amyevGsNSWAHF9/4tTRdYYkFhCbJpMcg3YFFAQTssISh6I43LwHURTZV2ZAgl69Pm7BGg/J5HYkzdtEj7uR0Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T06:35:34.490487Z"},"content_sha256":"c5f210342cc39336d1eb394b6ef5593452071605b69e7e949e390bb841090c52","schema_version":"1.0","event_id":"sha256:c5f210342cc39336d1eb394b6ef5593452071605b69e7e949e390bb841090c52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:DMQP2PC2L3SNNBXWCNLH66HWZG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Verified Algebra for Linked Data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NI","cs.PL"],"primary_cat":"cs.LO","authors_text":"Ross Horne (University of Southampton), Vladimiro Sassone (University of Southampton)","submitted_at":"2011-08-01T03:58:02Z","abstract_excerpt":"A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational sem"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0229","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":""},"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-18T04:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sRyhUsME892D6MAkOm8EbDjaaBa/oG/N5GFp7DVYpN7kNHqeFNhGogcK/i/hlzzHpAtQ61UlQ4OHF9pYADsgAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T06:35:34.490830Z"},"content_sha256":"7c3a265f02f7313b31aeda594c69a0cc44c5e0ccd61f407bc4d7414675b9a825","schema_version":"1.0","event_id":"sha256:7c3a265f02f7313b31aeda594c69a0cc44c5e0ccd61f407bc4d7414675b9a825"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DMQP2PC2L3SNNBXWCNLH66HWZG/bundle.json","state_url":"https://pith.science/pith/DMQP2PC2L3SNNBXWCNLH66HWZG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DMQP2PC2L3SNNBXWCNLH66HWZG/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-29T06:35:34Z","links":{"resolver":"https://pith.science/pith/DMQP2PC2L3SNNBXWCNLH66HWZG","bundle":"https://pith.science/pith/DMQP2PC2L3SNNBXWCNLH66HWZG/bundle.json","state":"https://pith.science/pith/DMQP2PC2L3SNNBXWCNLH66HWZG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DMQP2PC2L3SNNBXWCNLH66HWZG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:DMQP2PC2L3SNNBXWCNLH66HWZG","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":"61a01aea01662a4ec2386c4f013ca5d2488fadd44efd347d15c6e0c5c0f4bc16","cross_cats_sorted":["cs.NI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-01T03:58:02Z","title_canon_sha256":"f175902c3d24df0b4c38919e2b677cad725cc72c36b49464ec5ecee5b0c60409"},"schema_version":"1.0","source":{"id":"1108.0229","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0229","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0229v1","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0229","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"DMQP2PC2L3SN","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DMQP2PC2L3SNNBXW","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DMQP2PC2","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:7c3a265f02f7313b31aeda594c69a0cc44c5e0ccd61f407bc4d7414675b9a825","target":"graph","created_at":"2026-05-18T04:16:31Z","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":"A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational sem","authors_text":"Ross Horne (University of Southampton), Vladimiro Sassone (University of Southampton)","cross_cats":["cs.NI","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-01T03:58:02Z","title":"A Verified Algebra for Linked Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0229","kind":"arxiv","version":1},"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:c5f210342cc39336d1eb394b6ef5593452071605b69e7e949e390bb841090c52","target":"record","created_at":"2026-05-18T04:16:31Z","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":"61a01aea01662a4ec2386c4f013ca5d2488fadd44efd347d15c6e0c5c0f4bc16","cross_cats_sorted":["cs.NI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-01T03:58:02Z","title_canon_sha256":"f175902c3d24df0b4c38919e2b677cad725cc72c36b49464ec5ecee5b0c60409"},"schema_version":"1.0","source":{"id":"1108.0229","kind":"arxiv","version":1}},"canonical_sha256":"1b20fd3c5a5ee4d686f613567f78f6c9a24cfe8e70a9c9cd7eb8b029297015bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b20fd3c5a5ee4d686f613567f78f6c9a24cfe8e70a9c9cd7eb8b029297015bd","first_computed_at":"2026-05-18T04:16:31.460580Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:31.460580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yUBbcbJ6JgkIwV5kBHtyHokGxauAo7ug8cQiiyGA8AxWM/jYkUejq/eC8gCBre0YUpeL8XLMvGi24T3ZOG9/Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:31.460990Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.0229","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5f210342cc39336d1eb394b6ef5593452071605b69e7e949e390bb841090c52","sha256:7c3a265f02f7313b31aeda594c69a0cc44c5e0ccd61f407bc4d7414675b9a825"],"state_sha256":"c9fd91a846620ff2d52f67329d65e4788e4fef1f1fcde7cc76d249f935948ad3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HmZyC0/G3zxsFg46i6/in1/2ZIWnI2Y096QbF5pggtA/TsaJE+uFKIXyoOuvSjqugblXxDx7pMEnc/IIR5HGDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T06:35:34.492696Z","bundle_sha256":"762828aba6c44e3e29e171ddf2000afeae987143dd384871066ac211e53f71f0"}}