{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:5CPE64C2SMISB3U5XTGK3PICIX","short_pith_number":"pith:5CPE64C2","canonical_record":{"source":{"id":"2103.00418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-02-28T07:52:37Z","cross_cats_sorted":["cs.DB","cs.LG","cs.LO"],"title_canon_sha256":"5310484bfc869528a349a44c103ce7e1f267e9b85f3c5082e26eb400b95149d4","abstract_canon_sha256":"70e44775799c133bcff68533cabdde99225db64f96a7b50f9057db7dc664995f"},"schema_version":"1.0"},"canonical_sha256":"e89e4f705a931120ee9dbcccadbd0245cb502bb71d92fdf804d03c1e5c2f17cb","source":{"kind":"arxiv","id":"2103.00418","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.00418","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"2103.00418v1","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.00418","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"5CPE64C2SMIS","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"pith_short_16","alias_value":"5CPE64C2SMISB3U5","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"pith_short_8","alias_value":"5CPE64C2","created_at":"2026-07-05T02:19:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:5CPE64C2SMISB3U5XTGK3PICIX","target":"record","payload":{"canonical_record":{"source":{"id":"2103.00418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-02-28T07:52:37Z","cross_cats_sorted":["cs.DB","cs.LG","cs.LO"],"title_canon_sha256":"5310484bfc869528a349a44c103ce7e1f267e9b85f3c5082e26eb400b95149d4","abstract_canon_sha256":"70e44775799c133bcff68533cabdde99225db64f96a7b50f9057db7dc664995f"},"schema_version":"1.0"},"canonical_sha256":"e89e4f705a931120ee9dbcccadbd0245cb502bb71d92fdf804d03c1e5c2f17cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:19:05.611034Z","signature_b64":"EKQNiPtU8UMZVDITi0eiFxrBaCaakvR3cQCjoWzHmlOv3p1mIxKK88pidD3QZNcSwEeWL0oaaCrrhbVooXmYCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e89e4f705a931120ee9dbcccadbd0245cb502bb71d92fdf804d03c1e5c2f17cb","last_reissued_at":"2026-07-05T02:19:05.610606Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:19:05.610606Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.00418","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-07-05T02:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xc3Msl75d/PhTKt3xAeF6luRXkU5QF7C7VImUZn314DXLuIk0ixACUzpzTkEubXw/Z3vnrDBYfVM2bK9hPAPAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T22:02:39.739206Z"},"content_sha256":"0199bfb7d61bf1de5c7b0a0d48357bc0e11f75ab78c7b911fac461c8b9ef2ea2","schema_version":"1.0","event_id":"sha256:0199bfb7d61bf1de5c7b0a0d48357bc0e11f75ab78c7b911fac461c8b9ef2ea2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:5CPE64C2SMISB3U5XTGK3PICIX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic Embeddings for Complex Query Answering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB","cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Alexander Gray, Francois Luus, Ndivhuwo Makondo, Pavan Kapanipathi, Prithviraj Sen, Ryan Riegel, Thabang Lebese","submitted_at":"2021-02-28T07:52:37Z","abstract_excerpt":"Answering logical queries over incomplete knowledge bases is challenging because: 1) it calls for implicit link prediction, and 2) brute force answering of existential first-order logic queries is exponential in the number of existential variables. Recent work of query embeddings provides fast querying, but most approaches model set logic with closed regions, so lack negation. Query embeddings that do support negation use densities that suffer drawbacks: 1) only improvise logic, 2) use expensive distributions, and 3) poorly model answer uncertainty. In this paper, we propose Logic Embeddings, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.00418","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/2103.00418/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"},"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-07-05T02:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u7yWRzkRrm8HUKtt/GiGBkT3+KRt2YeN1aPORxqG9cD2DCdtLMYyXfwY2NjVoBHrAMhBczVvZBbh2t+wl41eAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T22:02:39.739609Z"},"content_sha256":"c381125653a1814fbeb003058b3f882ab258c0b5b43562dabf79849092695860","schema_version":"1.0","event_id":"sha256:c381125653a1814fbeb003058b3f882ab258c0b5b43562dabf79849092695860"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5CPE64C2SMISB3U5XTGK3PICIX/bundle.json","state_url":"https://pith.science/pith/5CPE64C2SMISB3U5XTGK3PICIX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5CPE64C2SMISB3U5XTGK3PICIX/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-07-20T22:02:39Z","links":{"resolver":"https://pith.science/pith/5CPE64C2SMISB3U5XTGK3PICIX","bundle":"https://pith.science/pith/5CPE64C2SMISB3U5XTGK3PICIX/bundle.json","state":"https://pith.science/pith/5CPE64C2SMISB3U5XTGK3PICIX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5CPE64C2SMISB3U5XTGK3PICIX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:5CPE64C2SMISB3U5XTGK3PICIX","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":"70e44775799c133bcff68533cabdde99225db64f96a7b50f9057db7dc664995f","cross_cats_sorted":["cs.DB","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-02-28T07:52:37Z","title_canon_sha256":"5310484bfc869528a349a44c103ce7e1f267e9b85f3c5082e26eb400b95149d4"},"schema_version":"1.0","source":{"id":"2103.00418","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.00418","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"2103.00418v1","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.00418","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"5CPE64C2SMIS","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"pith_short_16","alias_value":"5CPE64C2SMISB3U5","created_at":"2026-07-05T02:19:05Z"},{"alias_kind":"pith_short_8","alias_value":"5CPE64C2","created_at":"2026-07-05T02:19:05Z"}],"graph_snapshots":[{"event_id":"sha256:c381125653a1814fbeb003058b3f882ab258c0b5b43562dabf79849092695860","target":"graph","created_at":"2026-07-05T02:19:05Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2103.00418/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Answering logical queries over incomplete knowledge bases is challenging because: 1) it calls for implicit link prediction, and 2) brute force answering of existential first-order logic queries is exponential in the number of existential variables. Recent work of query embeddings provides fast querying, but most approaches model set logic with closed regions, so lack negation. Query embeddings that do support negation use densities that suffer drawbacks: 1) only improvise logic, 2) use expensive distributions, and 3) poorly model answer uncertainty. In this paper, we propose Logic Embeddings, ","authors_text":"Alexander Gray, Francois Luus, Ndivhuwo Makondo, Pavan Kapanipathi, Prithviraj Sen, Ryan Riegel, Thabang Lebese","cross_cats":["cs.DB","cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-02-28T07:52:37Z","title":"Logic Embeddings for Complex Query Answering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.00418","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:0199bfb7d61bf1de5c7b0a0d48357bc0e11f75ab78c7b911fac461c8b9ef2ea2","target":"record","created_at":"2026-07-05T02:19:05Z","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":"70e44775799c133bcff68533cabdde99225db64f96a7b50f9057db7dc664995f","cross_cats_sorted":["cs.DB","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-02-28T07:52:37Z","title_canon_sha256":"5310484bfc869528a349a44c103ce7e1f267e9b85f3c5082e26eb400b95149d4"},"schema_version":"1.0","source":{"id":"2103.00418","kind":"arxiv","version":1}},"canonical_sha256":"e89e4f705a931120ee9dbcccadbd0245cb502bb71d92fdf804d03c1e5c2f17cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e89e4f705a931120ee9dbcccadbd0245cb502bb71d92fdf804d03c1e5c2f17cb","first_computed_at":"2026-07-05T02:19:05.610606Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:19:05.610606Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EKQNiPtU8UMZVDITi0eiFxrBaCaakvR3cQCjoWzHmlOv3p1mIxKK88pidD3QZNcSwEeWL0oaaCrrhbVooXmYCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:19:05.611034Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.00418","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0199bfb7d61bf1de5c7b0a0d48357bc0e11f75ab78c7b911fac461c8b9ef2ea2","sha256:c381125653a1814fbeb003058b3f882ab258c0b5b43562dabf79849092695860"],"state_sha256":"6377315b7f6f72a18f7fa67f769c555a0d46d84afc6d22d75b195aaeea9be13e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vnmv9aHVnm6jIyXjiZprHXVYG0i7TYJ50HDmops0Aq4oSUVWq3MmwiSDm2aX9OKUyW6KChhPqiU0jBjMNeMiBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-20T22:02:39.741779Z","bundle_sha256":"2d45b84546b54472c6dc2a3352393438687889d5fe61ed61e449b35d02fe7754"}}