{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XTPN3MS222BBSMCOFBMLMCIFRN","short_pith_number":"pith:XTPN3MS2","canonical_record":{"source":{"id":"1711.05227","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-14T18:00:38Z","cross_cats_sorted":[],"title_canon_sha256":"c3c9fd460373d7ccd5209102c067d9abe7bc144c409016a13a26a621beb9df02","abstract_canon_sha256":"ecc42a5c2cfb494b522e515b019f93dc2d76708b27d3b397da36a154d5ae9b50"},"schema_version":"1.0"},"canonical_sha256":"bcdeddb25ad68219304e2858b609058b6d6245a65fb6b2d0b2e6c8069062ce8e","source":{"kind":"arxiv","id":"1711.05227","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.05227","created_at":"2026-05-18T00:29:59Z"},{"alias_kind":"arxiv_version","alias_value":"1711.05227v2","created_at":"2026-05-18T00:29:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.05227","created_at":"2026-05-18T00:29:59Z"},{"alias_kind":"pith_short_12","alias_value":"XTPN3MS222BB","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XTPN3MS222BBSMCO","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XTPN3MS2","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XTPN3MS222BBSMCOFBMLMCIFRN","target":"record","payload":{"canonical_record":{"source":{"id":"1711.05227","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-14T18:00:38Z","cross_cats_sorted":[],"title_canon_sha256":"c3c9fd460373d7ccd5209102c067d9abe7bc144c409016a13a26a621beb9df02","abstract_canon_sha256":"ecc42a5c2cfb494b522e515b019f93dc2d76708b27d3b397da36a154d5ae9b50"},"schema_version":"1.0"},"canonical_sha256":"bcdeddb25ad68219304e2858b609058b6d6245a65fb6b2d0b2e6c8069062ce8e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:59.016985Z","signature_b64":"dgYCuhSiyx3nKSqnXm7XlBLxvnl3C1mwvcFe6+rfadzdMrIk91xmWoXXuJB6+g8pTkyB0e4rD8B0h0sNM496CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bcdeddb25ad68219304e2858b609058b6d6245a65fb6b2d0b2e6c8069062ce8e","last_reissued_at":"2026-05-18T00:29:59.016610Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:59.016610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.05227","source_version":2,"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:29:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0zwWiQuj/2865RF1HeZJ5o1Hn+UVzLiguJ5GC1lYZ7Ib6Jy+f8pkRx2TqOJc5dTn6HFzvx83xVlghneoRG58Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:47:32.675156Z"},"content_sha256":"f8a6ac6ec84dd129c92ce3a42987d6f382893b22e6879485092a63cf9ecdffb2","schema_version":"1.0","event_id":"sha256:f8a6ac6ec84dd129c92ce3a42987d6f382893b22e6879485092a63cf9ecdffb2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XTPN3MS222BBSMCOFBMLMCIFRN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Goal-Driven Query Answering for Existential Rules with Equality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Boris Motik, Efthymia Tsamoura, Michael Benedikt","submitted_at":"2017-11-14T18:00:38Z","abstract_excerpt":"Inspired by the magic sets for Datalog, we present a novel goal-driven approach for answering queries over terminating existential rules with equality (aka TGDs and EGDs). Our technique improves the performance of query answering by pruning the consequences that are not relevant for the query. This is challenging in our setting because equalities can potentially affect all predicates in a dataset. We address this problem by combining the existing singularization technique with two new ingredients: an algorithm for identifying the rules relevant to a query and a new magic sets algorithm. We sho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.05227","kind":"arxiv","version":2},"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:29:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v7g0Doqy4AZYBYjXv08m1hdKDZf+a60dJ3YpUKAjHn68CVTM8/0DFfkvZbBCAFFg+8FYIvN38sAkYWITEuDwBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:47:32.675518Z"},"content_sha256":"17a1ee095c8535568fdee92a77ea81d489d51cab2bba1a0cb8bed43faa211a30","schema_version":"1.0","event_id":"sha256:17a1ee095c8535568fdee92a77ea81d489d51cab2bba1a0cb8bed43faa211a30"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XTPN3MS222BBSMCOFBMLMCIFRN/bundle.json","state_url":"https://pith.science/pith/XTPN3MS222BBSMCOFBMLMCIFRN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XTPN3MS222BBSMCOFBMLMCIFRN/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-25T18:47:32Z","links":{"resolver":"https://pith.science/pith/XTPN3MS222BBSMCOFBMLMCIFRN","bundle":"https://pith.science/pith/XTPN3MS222BBSMCOFBMLMCIFRN/bundle.json","state":"https://pith.science/pith/XTPN3MS222BBSMCOFBMLMCIFRN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XTPN3MS222BBSMCOFBMLMCIFRN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XTPN3MS222BBSMCOFBMLMCIFRN","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":"ecc42a5c2cfb494b522e515b019f93dc2d76708b27d3b397da36a154d5ae9b50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-14T18:00:38Z","title_canon_sha256":"c3c9fd460373d7ccd5209102c067d9abe7bc144c409016a13a26a621beb9df02"},"schema_version":"1.0","source":{"id":"1711.05227","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.05227","created_at":"2026-05-18T00:29:59Z"},{"alias_kind":"arxiv_version","alias_value":"1711.05227v2","created_at":"2026-05-18T00:29:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.05227","created_at":"2026-05-18T00:29:59Z"},{"alias_kind":"pith_short_12","alias_value":"XTPN3MS222BB","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XTPN3MS222BBSMCO","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XTPN3MS2","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:17a1ee095c8535568fdee92a77ea81d489d51cab2bba1a0cb8bed43faa211a30","target":"graph","created_at":"2026-05-18T00:29:59Z","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":"Inspired by the magic sets for Datalog, we present a novel goal-driven approach for answering queries over terminating existential rules with equality (aka TGDs and EGDs). Our technique improves the performance of query answering by pruning the consequences that are not relevant for the query. This is challenging in our setting because equalities can potentially affect all predicates in a dataset. We address this problem by combining the existing singularization technique with two new ingredients: an algorithm for identifying the rules relevant to a query and a new magic sets algorithm. We sho","authors_text":"Boris Motik, Efthymia Tsamoura, Michael Benedikt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-14T18:00:38Z","title":"Goal-Driven Query Answering for Existential Rules with Equality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.05227","kind":"arxiv","version":2},"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:f8a6ac6ec84dd129c92ce3a42987d6f382893b22e6879485092a63cf9ecdffb2","target":"record","created_at":"2026-05-18T00:29:59Z","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":"ecc42a5c2cfb494b522e515b019f93dc2d76708b27d3b397da36a154d5ae9b50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-14T18:00:38Z","title_canon_sha256":"c3c9fd460373d7ccd5209102c067d9abe7bc144c409016a13a26a621beb9df02"},"schema_version":"1.0","source":{"id":"1711.05227","kind":"arxiv","version":2}},"canonical_sha256":"bcdeddb25ad68219304e2858b609058b6d6245a65fb6b2d0b2e6c8069062ce8e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bcdeddb25ad68219304e2858b609058b6d6245a65fb6b2d0b2e6c8069062ce8e","first_computed_at":"2026-05-18T00:29:59.016610Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:59.016610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dgYCuhSiyx3nKSqnXm7XlBLxvnl3C1mwvcFe6+rfadzdMrIk91xmWoXXuJB6+g8pTkyB0e4rD8B0h0sNM496CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:59.016985Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.05227","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f8a6ac6ec84dd129c92ce3a42987d6f382893b22e6879485092a63cf9ecdffb2","sha256:17a1ee095c8535568fdee92a77ea81d489d51cab2bba1a0cb8bed43faa211a30"],"state_sha256":"1c86db327c984deeb0d0c4cb490a44a0543bd838afdda1adbb6c80c18634be76"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jFR7y34Ko8OgkMI90JnVfZiQ87M1ormfz9EG+/e3Qdn+N1P4smIio2l8XgBofw8UCCTNVUacJ1PvhMEvjVSFAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T18:47:32.677483Z","bundle_sha256":"5929187b9767f18536f34bbe4318e09f53cdd7d673b0922590c9141bb5e19917"}}