{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:QDCNJDBTXPEJJVQZYFS5FTYRAC","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":"370c3ecab467d4fc7d4f91973a3a04b3bef6f1db32c1f661dc80d87daf7d4e49","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-15T07:46:19Z","title_canon_sha256":"3a2a8e214a3124a932d3b3f013dc46bb4432a492102ef65db66afc32457745c0"},"schema_version":"1.0","source":{"id":"1412.4485","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.4485","created_at":"2026-05-18T02:31:19Z"},{"alias_kind":"arxiv_version","alias_value":"1412.4485v1","created_at":"2026-05-18T02:31:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.4485","created_at":"2026-05-18T02:31:19Z"},{"alias_kind":"pith_short_12","alias_value":"QDCNJDBTXPEJ","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"QDCNJDBTXPEJJVQZ","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"QDCNJDBT","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:5d98b87c6130509700065ce6fb4037002bcbe5e09aa8fc313192a787c4a09cbd","target":"graph","created_at":"2026-05-18T02:31:19Z","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":"The need for an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit the semantics encoded in ontologies, has been acknowledged both in the database and knowledge representation communities. We focus in this paper on the ontological query answering problem, which consists of querying data while taking ontological knowledge into account. More specifically, we establish complexities of the conjunctive query entailment problem for classes of existential rules (also called tuple-generating dependencies, Datalog+/- rules, or forall-exists-rules. Our contri","authors_text":"Jean-Fran\\c{c}ois Baget, Marie-Laure Mugnier, Micha\\\"el Thomazo, Sebastian Rudolph","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-15T07:46:19Z","title":"Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.4485","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:895b337ca959f801f205fbff884b7f555b6c018290092801605656abe1a8700c","target":"record","created_at":"2026-05-18T02:31:19Z","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":"370c3ecab467d4fc7d4f91973a3a04b3bef6f1db32c1f661dc80d87daf7d4e49","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-15T07:46:19Z","title_canon_sha256":"3a2a8e214a3124a932d3b3f013dc46bb4432a492102ef65db66afc32457745c0"},"schema_version":"1.0","source":{"id":"1412.4485","kind":"arxiv","version":1}},"canonical_sha256":"80c4d48c33bbc894d619c165d2cf1100b48d25161e682daba50792f4060a2e1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"80c4d48c33bbc894d619c165d2cf1100b48d25161e682daba50792f4060a2e1a","first_computed_at":"2026-05-18T02:31:19.058247Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:19.058247Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YInSjh/XRhFWgglM3jmeSrE/w8QRJAkVrVkuLyMHqreYUCDAhD0eJWEbu4qw12itRw+H+N20cBcdicLl9i3hAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:19.058902Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.4485","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:895b337ca959f801f205fbff884b7f555b6c018290092801605656abe1a8700c","sha256:5d98b87c6130509700065ce6fb4037002bcbe5e09aa8fc313192a787c4a09cbd"],"state_sha256":"c26aef17360a21080ba4b6f119e14e3ec16a57092302bdebd5a62684cb5885e4"}