{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5TD5X5IN66AX5IRPAYUYZCSLUB","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":"58777a054e41d4e60cc56ed57a4bf3a82f7b7e26e9935c4ba13eea38f8c8f754","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-02-04T01:44:16Z","title_canon_sha256":"9f2223c1659144f9ff3638a786020577bb72c1b8a04b85ca873179405c259d02"},"schema_version":"1.0","source":{"id":"1406.4110","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.4110","created_at":"2026-05-18T02:49:39Z"},{"alias_kind":"arxiv_version","alias_value":"1406.4110v1","created_at":"2026-05-18T02:49:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.4110","created_at":"2026-05-18T02:49:39Z"},{"alias_kind":"pith_short_12","alias_value":"5TD5X5IN66AX","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"5TD5X5IN66AX5IRP","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"5TD5X5IN","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:5660d00a76ae9d9270798e420bdec0420e59befb6da47cf4020df6d5dd0258af","target":"graph","created_at":"2026-05-18T02:49:39Z","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":"Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved using the chase algorithm, which extends the given set of facts with fresh facts in order to satisfy the rules. If the chase terminates, then CQs can be evaluated directly in the resulting set of facts. The chase, however, does not terminate necessarily, and checking whether the chase terminates on a given set of rules and facts is undecidable. Numerous acyclicity notions were proposed as sufficient conditions for c","authors_text":"Bernardo Cuenca Grau, Boris Motik, Clemens Kupke, Despoina Magka, Ian Horrocks, Markus Kr\\\"otzsch, Zhe Wang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-02-04T01:44:16Z","title":"Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.4110","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:baa7e6f29c44442333978c4764f9f975e06a27c187afce4204c0077ae5345977","target":"record","created_at":"2026-05-18T02:49:39Z","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":"58777a054e41d4e60cc56ed57a4bf3a82f7b7e26e9935c4ba13eea38f8c8f754","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-02-04T01:44:16Z","title_canon_sha256":"9f2223c1659144f9ff3638a786020577bb72c1b8a04b85ca873179405c259d02"},"schema_version":"1.0","source":{"id":"1406.4110","kind":"arxiv","version":1}},"canonical_sha256":"ecc7dbf50df7817ea22f06298c8a4ba065dbdc9bdf9c53827efba5a5ffd2f6f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ecc7dbf50df7817ea22f06298c8a4ba065dbdc9bdf9c53827efba5a5ffd2f6f0","first_computed_at":"2026-05-18T02:49:39.230370Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:39.230370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IG8LmuQD5wninGCM0fcqVPblg1M5V1k0iCaZNFWZuYqtStG5VzYcMwAnkU0rIJSL+MpMFHsWA4QfOnc7lu8gCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:39.230691Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.4110","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:baa7e6f29c44442333978c4764f9f975e06a27c187afce4204c0077ae5345977","sha256:5660d00a76ae9d9270798e420bdec0420e59befb6da47cf4020df6d5dd0258af"],"state_sha256":"78ed6fbc099389a55936fb94f079fb944515b2053a551a71e289eb58f7f45bc7"}