{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KYSUDEOS5L4XL7RBOICFGZIKMK","short_pith_number":"pith:KYSUDEOS","canonical_record":{"source":{"id":"1406.0893","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-03T22:20:05Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c2abcce4baadc927c2fb974448715c388eae9a1fe9523473736cb41b959b1843","abstract_canon_sha256":"0eea937105f2feb4791525641460cef5958ac345dfceee09609756102d272a83"},"schema_version":"1.0"},"canonical_sha256":"56254191d2eaf975fe21720453650a62b93b6185010ec2480f1659648fb4e638","source":{"kind":"arxiv","id":"1406.0893","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.0893","created_at":"2026-05-18T02:50:30Z"},{"alias_kind":"arxiv_version","alias_value":"1406.0893v1","created_at":"2026-05-18T02:50:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.0893","created_at":"2026-05-18T02:50:30Z"},{"alias_kind":"pith_short_12","alias_value":"KYSUDEOS5L4X","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KYSUDEOS5L4XL7RB","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KYSUDEOS","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KYSUDEOS5L4XL7RBOICFGZIKMK","target":"record","payload":{"canonical_record":{"source":{"id":"1406.0893","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-03T22:20:05Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c2abcce4baadc927c2fb974448715c388eae9a1fe9523473736cb41b959b1843","abstract_canon_sha256":"0eea937105f2feb4791525641460cef5958ac345dfceee09609756102d272a83"},"schema_version":"1.0"},"canonical_sha256":"56254191d2eaf975fe21720453650a62b93b6185010ec2480f1659648fb4e638","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:30.791900Z","signature_b64":"Jy7Qk+f8jhxjEkVDm22Sq0Uz2FpoCtdbARJOFur9N+0Tk/41B7Jm0omn446AVkuyOmBrHYhRrI6w/0eG3BgECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56254191d2eaf975fe21720453650a62b93b6185010ec2480f1659648fb4e638","last_reissued_at":"2026-05-18T02:50:30.791331Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:30.791331Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.0893","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-18T02:50:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KPXYXmBXWytvmRsP8O6LVYsGfH3anx4J6i4i5s1pxjkeSPNQVK+kf95pfP1z2SenG/yEId99URpHzGTpERjSCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T10:44:21.046059Z"},"content_sha256":"9b89438e09039a974fc59023cf0608ac564b5eb5f3a803103d9fb1ca40aea0d3","schema_version":"1.0","event_id":"sha256:9b89438e09039a974fc59023cf0608ac564b5eb5f3a803103d9fb1ca40aea0d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KYSUDEOS5L4XL7RBOICFGZIKMK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Gabriel Kuper, Luciano Serafini, Mathew Joseph","submitted_at":"2014-06-03T22:20:05Z","abstract_excerpt":"The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the `context' of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts. Although this distinction separates the triples in an RDF graph into various contexts, and allows the reasoning to be decoupled across various contexts, bridge rules need to be provided for inter-operating the knowledge across these contexts. We call a set of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.0893","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-18T02:50:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zphxtCeM3IN+4/N9clPnnZ98TdN4R77Nvi3Y2I8b785ql7ORX/NwODr+alPa0kupaObhFoqa58+BBH5A2xDTBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T10:44:21.046757Z"},"content_sha256":"b51176d7d360b700c5db7a3557a6afcd498c0102bd6dc753ae6967a210b2da11","schema_version":"1.0","event_id":"sha256:b51176d7d360b700c5db7a3557a6afcd498c0102bd6dc753ae6967a210b2da11"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KYSUDEOS5L4XL7RBOICFGZIKMK/bundle.json","state_url":"https://pith.science/pith/KYSUDEOS5L4XL7RBOICFGZIKMK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KYSUDEOS5L4XL7RBOICFGZIKMK/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-05-26T10:44:21Z","links":{"resolver":"https://pith.science/pith/KYSUDEOS5L4XL7RBOICFGZIKMK","bundle":"https://pith.science/pith/KYSUDEOS5L4XL7RBOICFGZIKMK/bundle.json","state":"https://pith.science/pith/KYSUDEOS5L4XL7RBOICFGZIKMK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KYSUDEOS5L4XL7RBOICFGZIKMK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KYSUDEOS5L4XL7RBOICFGZIKMK","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":"0eea937105f2feb4791525641460cef5958ac345dfceee09609756102d272a83","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-03T22:20:05Z","title_canon_sha256":"c2abcce4baadc927c2fb974448715c388eae9a1fe9523473736cb41b959b1843"},"schema_version":"1.0","source":{"id":"1406.0893","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.0893","created_at":"2026-05-18T02:50:30Z"},{"alias_kind":"arxiv_version","alias_value":"1406.0893v1","created_at":"2026-05-18T02:50:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.0893","created_at":"2026-05-18T02:50:30Z"},{"alias_kind":"pith_short_12","alias_value":"KYSUDEOS5L4X","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KYSUDEOS5L4XL7RB","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KYSUDEOS","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:b51176d7d360b700c5db7a3557a6afcd498c0102bd6dc753ae6967a210b2da11","target":"graph","created_at":"2026-05-18T02:50:30Z","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":"The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the `context' of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts. Although this distinction separates the triples in an RDF graph into various contexts, and allows the reasoning to be decoupled across various contexts, bridge rules need to be provided for inter-operating the knowledge across these contexts. We call a set of","authors_text":"Gabriel Kuper, Luciano Serafini, Mathew Joseph","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-03T22:20:05Z","title":"Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.0893","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:9b89438e09039a974fc59023cf0608ac564b5eb5f3a803103d9fb1ca40aea0d3","target":"record","created_at":"2026-05-18T02:50:30Z","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":"0eea937105f2feb4791525641460cef5958ac345dfceee09609756102d272a83","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-03T22:20:05Z","title_canon_sha256":"c2abcce4baadc927c2fb974448715c388eae9a1fe9523473736cb41b959b1843"},"schema_version":"1.0","source":{"id":"1406.0893","kind":"arxiv","version":1}},"canonical_sha256":"56254191d2eaf975fe21720453650a62b93b6185010ec2480f1659648fb4e638","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56254191d2eaf975fe21720453650a62b93b6185010ec2480f1659648fb4e638","first_computed_at":"2026-05-18T02:50:30.791331Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:30.791331Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jy7Qk+f8jhxjEkVDm22Sq0Uz2FpoCtdbARJOFur9N+0Tk/41B7Jm0omn446AVkuyOmBrHYhRrI6w/0eG3BgECw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:30.791900Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.0893","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b89438e09039a974fc59023cf0608ac564b5eb5f3a803103d9fb1ca40aea0d3","sha256:b51176d7d360b700c5db7a3557a6afcd498c0102bd6dc753ae6967a210b2da11"],"state_sha256":"1bf387461404528cf2faf8c67ba7274bac8cda03f3f7e5bd5ce3f75b2f8725cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eY2QZwkNPCO7lUxwZSYEGRwhbVpYSWAPh0laqn02a/ZN0McoIGfpADCgeB1zpxjZtyy4eSOgLbCyRUFYJmECBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T10:44:21.050868Z","bundle_sha256":"0a2177f5b2a3b3a085fb2f56ec439c7981f60bd3827d5d28bfa093a050384d8f"}}