{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XEBYYKYJ7ZJIH5DJPBKLLLGSTC","short_pith_number":"pith:XEBYYKYJ","canonical_record":{"source":{"id":"1601.04980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-01-19T16:24:43Z","cross_cats_sorted":[],"title_canon_sha256":"970bad4be0ea06d4627190fc790d5b757c2564c2216e99346d992b51ef2dbb80","abstract_canon_sha256":"0fbe0f10d39623082bd3cc91fca0a0884971e386edc90be55ff6bb7607375ec9"},"schema_version":"1.0"},"canonical_sha256":"b9038c2b09fe5283f4697854b5acd29890a1a8302e458885246e1ebca3d63e0f","source":{"kind":"arxiv","id":"1601.04980","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.04980","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"arxiv_version","alias_value":"1601.04980v1","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.04980","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"pith_short_12","alias_value":"XEBYYKYJ7ZJI","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XEBYYKYJ7ZJIH5DJ","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XEBYYKYJ","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XEBYYKYJ7ZJIH5DJPBKLLLGSTC","target":"record","payload":{"canonical_record":{"source":{"id":"1601.04980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-01-19T16:24:43Z","cross_cats_sorted":[],"title_canon_sha256":"970bad4be0ea06d4627190fc790d5b757c2564c2216e99346d992b51ef2dbb80","abstract_canon_sha256":"0fbe0f10d39623082bd3cc91fca0a0884971e386edc90be55ff6bb7607375ec9"},"schema_version":"1.0"},"canonical_sha256":"b9038c2b09fe5283f4697854b5acd29890a1a8302e458885246e1ebca3d63e0f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:31.435003Z","signature_b64":"IMafoE6WfCo5/eRTNZj+O55L3DR9FMa1vH2oDqt1FRHo0cPEikhkNwwae19MTD0koR5DzWGuH8He7JVL2NEbCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9038c2b09fe5283f4697854b5acd29890a1a8302e458885246e1ebca3d63e0f","last_reissued_at":"2026-05-18T00:38:31.434570Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:31.434570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.04980","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-18T00:38:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4EZAP1XHMQ+AwGahiHEJlYnh4ksy1g0OkV3gN9EVZCR/ainu6dwsmhaI3ncsJ5qsCg1LuO3+KmuoPCQoqDCdBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T16:50:16.307759Z"},"content_sha256":"a4ef814daf2d4746350d4f807380bd63e14eff26bd61a5929de349ad9eefb8c8","schema_version":"1.0","event_id":"sha256:a4ef814daf2d4746350d4f807380bd63e14eff26bd61a5929de349ad9eefb8c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XEBYYKYJ7ZJIH5DJPBKLLLGSTC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integrity Constraints for General-Purpose Knowledge Bases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Isabel Nunes, Lu\\'is Cruz-Filipe, Peter Schneider-Kamp","submitted_at":"2016-01-19T16:24:43Z","abstract_excerpt":"Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system's consistency, but are kept separate from the reasoning mechanisms.\n  In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.04980","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-18T00:38:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xUqaSz3HrkWQ2Dc7VC1tYN+fTIH69BGwZWbspZKAUIL4uMHa8EwsYhFCRQHKJnf4lnWIDt+zegkAcwyC1KuYAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T16:50:16.308097Z"},"content_sha256":"ab07d9865ddd5e151b194cb2fa01082efd00ab34797b9068027e3b02715b67e0","schema_version":"1.0","event_id":"sha256:ab07d9865ddd5e151b194cb2fa01082efd00ab34797b9068027e3b02715b67e0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XEBYYKYJ7ZJIH5DJPBKLLLGSTC/bundle.json","state_url":"https://pith.science/pith/XEBYYKYJ7ZJIH5DJPBKLLLGSTC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XEBYYKYJ7ZJIH5DJPBKLLLGSTC/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-23T16:50:16Z","links":{"resolver":"https://pith.science/pith/XEBYYKYJ7ZJIH5DJPBKLLLGSTC","bundle":"https://pith.science/pith/XEBYYKYJ7ZJIH5DJPBKLLLGSTC/bundle.json","state":"https://pith.science/pith/XEBYYKYJ7ZJIH5DJPBKLLLGSTC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XEBYYKYJ7ZJIH5DJPBKLLLGSTC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XEBYYKYJ7ZJIH5DJPBKLLLGSTC","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":"0fbe0f10d39623082bd3cc91fca0a0884971e386edc90be55ff6bb7607375ec9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-01-19T16:24:43Z","title_canon_sha256":"970bad4be0ea06d4627190fc790d5b757c2564c2216e99346d992b51ef2dbb80"},"schema_version":"1.0","source":{"id":"1601.04980","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.04980","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"arxiv_version","alias_value":"1601.04980v1","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.04980","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"pith_short_12","alias_value":"XEBYYKYJ7ZJI","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XEBYYKYJ7ZJIH5DJ","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XEBYYKYJ","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:ab07d9865ddd5e151b194cb2fa01082efd00ab34797b9068027e3b02715b67e0","target":"graph","created_at":"2026-05-18T00:38: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":"Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system's consistency, but are kept separate from the reasoning mechanisms.\n  In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresp","authors_text":"Isabel Nunes, Lu\\'is Cruz-Filipe, Peter Schneider-Kamp","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-01-19T16:24:43Z","title":"Integrity Constraints for General-Purpose Knowledge Bases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.04980","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:a4ef814daf2d4746350d4f807380bd63e14eff26bd61a5929de349ad9eefb8c8","target":"record","created_at":"2026-05-18T00:38: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":"0fbe0f10d39623082bd3cc91fca0a0884971e386edc90be55ff6bb7607375ec9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-01-19T16:24:43Z","title_canon_sha256":"970bad4be0ea06d4627190fc790d5b757c2564c2216e99346d992b51ef2dbb80"},"schema_version":"1.0","source":{"id":"1601.04980","kind":"arxiv","version":1}},"canonical_sha256":"b9038c2b09fe5283f4697854b5acd29890a1a8302e458885246e1ebca3d63e0f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9038c2b09fe5283f4697854b5acd29890a1a8302e458885246e1ebca3d63e0f","first_computed_at":"2026-05-18T00:38:31.434570Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:31.434570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IMafoE6WfCo5/eRTNZj+O55L3DR9FMa1vH2oDqt1FRHo0cPEikhkNwwae19MTD0koR5DzWGuH8He7JVL2NEbCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:31.435003Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.04980","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a4ef814daf2d4746350d4f807380bd63e14eff26bd61a5929de349ad9eefb8c8","sha256:ab07d9865ddd5e151b194cb2fa01082efd00ab34797b9068027e3b02715b67e0"],"state_sha256":"c6859f6f75a37ac7940eb3174a8148ecbe6925ae44b568946af9808e64e7120e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Trko13duGEgTnYaw/D8oNon7zu7jrtzJapC6f6jM/ELLyr8H9DhXX9GzMq4yreyFHgNrGSOzTheY9N/067cCDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T16:50:16.310005Z","bundle_sha256":"8ea0109f15053564231b6b9d0a1227c8192e73998ed649cbe18d26129ba23099"}}