{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:LTMWAFOHSOYKB65PQFR366F43F","short_pith_number":"pith:LTMWAFOH","canonical_record":{"source":{"id":"1810.02132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:09:11Z","cross_cats_sorted":[],"title_canon_sha256":"2f40ee7d6adbe49f74da56a19c0109399b0ef4e5b0cbe16a8978ec55e42993f8","abstract_canon_sha256":"a1aa636d26720a3e145fc74ecf7fa0c9ed4e47870eaef0396a30e293e04e27f5"},"schema_version":"1.0"},"canonical_sha256":"5cd96015c793b0a0fbaf8163bf78bcd95f346ae0938d4f3509b5b53768fc4b0e","source":{"kind":"arxiv","id":"1810.02132","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.02132","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"1810.02132v1","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.02132","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"LTMWAFOHSOYK","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LTMWAFOHSOYKB65P","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LTMWAFOH","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:LTMWAFOHSOYKB65PQFR366F43F","target":"record","payload":{"canonical_record":{"source":{"id":"1810.02132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:09:11Z","cross_cats_sorted":[],"title_canon_sha256":"2f40ee7d6adbe49f74da56a19c0109399b0ef4e5b0cbe16a8978ec55e42993f8","abstract_canon_sha256":"a1aa636d26720a3e145fc74ecf7fa0c9ed4e47870eaef0396a30e293e04e27f5"},"schema_version":"1.0"},"canonical_sha256":"5cd96015c793b0a0fbaf8163bf78bcd95f346ae0938d4f3509b5b53768fc4b0e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:06.141401Z","signature_b64":"EFWH18NI5o0GgY8ZaYdu59IDfoNpHD5wXv6dJhmGYNT2WcMu/l1ZQVFosz7QIcJFsGTIoBfkWhwA37eVWa/RBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5cd96015c793b0a0fbaf8163bf78bcd95f346ae0938d4f3509b5b53768fc4b0e","last_reissued_at":"2026-05-18T00:04:06.140734Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:06.140734Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.02132","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:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"61Nb5G2oUS3kuJy0IzaxglQ5nJshUddDIx2YvosyqTSzVTEvOwY4z/yGSS5gdZ133i1elj75nPh66JDp1n5mBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T23:24:35.331375Z"},"content_sha256":"e03dc8f88098f3015084c9e386c5a1a3d94f01c74615a2f081b8adaf3d9e8955","schema_version":"1.0","event_id":"sha256:e03dc8f88098f3015084c9e386c5a1a3d94f01c74615a2f081b8adaf3d9e8955"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:LTMWAFOHSOYKB65PQFR366F43F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Single Approach to Decide Chase Termination on Linear Existential Rules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Federico Ulliana, Marie-Laure Mugnier, Michael Thomazo, Michel Leclere","submitted_at":"2018-10-04T10:09:11Z","abstract_excerpt":"Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological knowledge in the context of ontology-based query answering. A knowledge base is then composed of an instance that contains incomplete data and a set of existential rules, and answers to queries are logically entailed from the knowledge base. This brought again to light the fundamental chase tool, and its different variants that have been proposed in the literature. It is well-known that the problem of determining, g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.02132","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:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+myolsmzy0NndwzmiEF1CqL769tfIKBfXW1edJhuWCg9DIa52f8ku10TPp6RaNTKG7xt1XVchOEnHcs9OMqSDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T23:24:35.331985Z"},"content_sha256":"df8809395a8b07312cd6b2080c5a678125b2da10551687d97d0e94c46d6f5b3a","schema_version":"1.0","event_id":"sha256:df8809395a8b07312cd6b2080c5a678125b2da10551687d97d0e94c46d6f5b3a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LTMWAFOHSOYKB65PQFR366F43F/bundle.json","state_url":"https://pith.science/pith/LTMWAFOHSOYKB65PQFR366F43F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LTMWAFOHSOYKB65PQFR366F43F/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-09T23:24:35Z","links":{"resolver":"https://pith.science/pith/LTMWAFOHSOYKB65PQFR366F43F","bundle":"https://pith.science/pith/LTMWAFOHSOYKB65PQFR366F43F/bundle.json","state":"https://pith.science/pith/LTMWAFOHSOYKB65PQFR366F43F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LTMWAFOHSOYKB65PQFR366F43F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:LTMWAFOHSOYKB65PQFR366F43F","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":"a1aa636d26720a3e145fc74ecf7fa0c9ed4e47870eaef0396a30e293e04e27f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:09:11Z","title_canon_sha256":"2f40ee7d6adbe49f74da56a19c0109399b0ef4e5b0cbe16a8978ec55e42993f8"},"schema_version":"1.0","source":{"id":"1810.02132","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.02132","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"1810.02132v1","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.02132","created_at":"2026-05-18T00:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"LTMWAFOHSOYK","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LTMWAFOHSOYKB65P","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LTMWAFOH","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:df8809395a8b07312cd6b2080c5a678125b2da10551687d97d0e94c46d6f5b3a","target":"graph","created_at":"2026-05-18T00:04:06Z","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":"Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological knowledge in the context of ontology-based query answering. A knowledge base is then composed of an instance that contains incomplete data and a set of existential rules, and answers to queries are logically entailed from the knowledge base. This brought again to light the fundamental chase tool, and its different variants that have been proposed in the literature. It is well-known that the problem of determining, g","authors_text":"Federico Ulliana, Marie-Laure Mugnier, Michael Thomazo, Michel Leclere","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:09:11Z","title":"A Single Approach to Decide Chase Termination on Linear Existential Rules"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.02132","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:e03dc8f88098f3015084c9e386c5a1a3d94f01c74615a2f081b8adaf3d9e8955","target":"record","created_at":"2026-05-18T00:04:06Z","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":"a1aa636d26720a3e145fc74ecf7fa0c9ed4e47870eaef0396a30e293e04e27f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-04T10:09:11Z","title_canon_sha256":"2f40ee7d6adbe49f74da56a19c0109399b0ef4e5b0cbe16a8978ec55e42993f8"},"schema_version":"1.0","source":{"id":"1810.02132","kind":"arxiv","version":1}},"canonical_sha256":"5cd96015c793b0a0fbaf8163bf78bcd95f346ae0938d4f3509b5b53768fc4b0e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5cd96015c793b0a0fbaf8163bf78bcd95f346ae0938d4f3509b5b53768fc4b0e","first_computed_at":"2026-05-18T00:04:06.140734Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:06.140734Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EFWH18NI5o0GgY8ZaYdu59IDfoNpHD5wXv6dJhmGYNT2WcMu/l1ZQVFosz7QIcJFsGTIoBfkWhwA37eVWa/RBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:06.141401Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.02132","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e03dc8f88098f3015084c9e386c5a1a3d94f01c74615a2f081b8adaf3d9e8955","sha256:df8809395a8b07312cd6b2080c5a678125b2da10551687d97d0e94c46d6f5b3a"],"state_sha256":"3e7381d0873be1b4a5dcc6c1efafe43a57df1174c99fcce42d72f9aeaea6ba2d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2bZIjvjfu7LmBIaoQ+xjJRrtOqCCRTUMJDEah6JbKTBmgEWsCkHm579SjvVwE7H7MuMu5NYZ2xk37TQ8WegnAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T23:24:35.336662Z","bundle_sha256":"003a8d5d4dfa05cb39f2afed75f5a9b38e51778e8876bcf3a4f5fd6b36baf74c"}}