{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:MQY25D5ZQ6IER4P2UZ2RR7TK74","short_pith_number":"pith:MQY25D5Z","canonical_record":{"source":{"id":"1904.12533","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-04-29T09:34:54Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"49c13315fab627306efebb125bfba74c7a0ac1d2529cdc19ad82d18f0c51c3dd","abstract_canon_sha256":"873e6ddce33e7813ce6c6eeffce6a840150112d1f1d6fa34bcb6af935733ac0d"},"schema_version":"1.0"},"canonical_sha256":"6431ae8fb9879048f1faa67518fe6aff1fe866ddf2e93127f4f42d948a2a3067","source":{"kind":"arxiv","id":"1904.12533","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.12533","created_at":"2026-05-17T23:47:15Z"},{"alias_kind":"arxiv_version","alias_value":"1904.12533v1","created_at":"2026-05-17T23:47:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.12533","created_at":"2026-05-17T23:47:15Z"},{"alias_kind":"pith_short_12","alias_value":"MQY25D5ZQ6IE","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MQY25D5ZQ6IER4P2","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MQY25D5Z","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:MQY25D5ZQ6IER4P2UZ2RR7TK74","target":"record","payload":{"canonical_record":{"source":{"id":"1904.12533","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-04-29T09:34:54Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"49c13315fab627306efebb125bfba74c7a0ac1d2529cdc19ad82d18f0c51c3dd","abstract_canon_sha256":"873e6ddce33e7813ce6c6eeffce6a840150112d1f1d6fa34bcb6af935733ac0d"},"schema_version":"1.0"},"canonical_sha256":"6431ae8fb9879048f1faa67518fe6aff1fe866ddf2e93127f4f42d948a2a3067","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:15.399881Z","signature_b64":"P2VLb9w8rd7mq7GBiqDjVTuTuq73sihMK5TV6a4X0BynjL9fpbea3XIES858Oi5vHwgG17f3ZOQ5LuN6dM5ECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6431ae8fb9879048f1faa67518fe6aff1fe866ddf2e93127f4f42d948a2a3067","last_reissued_at":"2026-05-17T23:47:15.399506Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:15.399506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.12533","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-17T23:47:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XzRf2GkPw1j1DSukzbSYZKoEdSE6J67CbFqeuWhX7ciUSYPizblCiOwiluUs+He9SJV0HyRB4t9ULCs2CP+uAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:53:08.181785Z"},"content_sha256":"f75a50078c7ced8118c3d7094625b4cfbfd31e2cd12e738abaf479ce97646dda","schema_version":"1.0","event_id":"sha256:f75a50078c7ced8118c3d7094625b4cfbfd31e2cd12e738abaf479ce97646dda"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:MQY25D5ZQ6IER4P2UZ2RR7TK74","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.CC","authors_text":"Carsten Lutz, Leif Sabellek","submitted_at":"2019-04-29T09:34:54Z","abstract_excerpt":"We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0, NL-complete, or PTime-complete and that containment in NL coincides with rewritability into linear Datalog (whereas containment in AC0 coincides with rewritability into first-order logic). We establish natural characterizations of the three cases in terms of bounded depth and (un)bounded pathwidth, and show that every of the associated meta problems such as deciding w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.12533","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-17T23:47:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4qsZ8OklNW2zxFHhq6bgHVSez9o3NrIqgg3G3U1DV4TEMTanG91FW6rhOj7SApjljoa3/WLeQfnzEVsmS3YcDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:53:08.182436Z"},"content_sha256":"1bcff97007c47055540493f81835daee5e5891d8b947b77ef4d3f1effa7d6ee9","schema_version":"1.0","event_id":"sha256:1bcff97007c47055540493f81835daee5e5891d8b947b77ef4d3f1effa7d6ee9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MQY25D5ZQ6IER4P2UZ2RR7TK74/bundle.json","state_url":"https://pith.science/pith/MQY25D5ZQ6IER4P2UZ2RR7TK74/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MQY25D5ZQ6IER4P2UZ2RR7TK74/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-05-26T04:53:08Z","links":{"resolver":"https://pith.science/pith/MQY25D5ZQ6IER4P2UZ2RR7TK74","bundle":"https://pith.science/pith/MQY25D5ZQ6IER4P2UZ2RR7TK74/bundle.json","state":"https://pith.science/pith/MQY25D5ZQ6IER4P2UZ2RR7TK74/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MQY25D5ZQ6IER4P2UZ2RR7TK74/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:MQY25D5ZQ6IER4P2UZ2RR7TK74","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":"873e6ddce33e7813ce6c6eeffce6a840150112d1f1d6fa34bcb6af935733ac0d","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-04-29T09:34:54Z","title_canon_sha256":"49c13315fab627306efebb125bfba74c7a0ac1d2529cdc19ad82d18f0c51c3dd"},"schema_version":"1.0","source":{"id":"1904.12533","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.12533","created_at":"2026-05-17T23:47:15Z"},{"alias_kind":"arxiv_version","alias_value":"1904.12533v1","created_at":"2026-05-17T23:47:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.12533","created_at":"2026-05-17T23:47:15Z"},{"alias_kind":"pith_short_12","alias_value":"MQY25D5ZQ6IE","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MQY25D5ZQ6IER4P2","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MQY25D5Z","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:1bcff97007c47055540493f81835daee5e5891d8b947b77ef4d3f1effa7d6ee9","target":"graph","created_at":"2026-05-17T23:47:15Z","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":"We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0, NL-complete, or PTime-complete and that containment in NL coincides with rewritability into linear Datalog (whereas containment in AC0 coincides with rewritability into first-order logic). We establish natural characterizations of the three cases in terms of bounded depth and (un)bounded pathwidth, and show that every of the associated meta problems such as deciding w","authors_text":"Carsten Lutz, Leif Sabellek","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-04-29T09:34:54Z","title":"A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.12533","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:f75a50078c7ced8118c3d7094625b4cfbfd31e2cd12e738abaf479ce97646dda","target":"record","created_at":"2026-05-17T23:47:15Z","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":"873e6ddce33e7813ce6c6eeffce6a840150112d1f1d6fa34bcb6af935733ac0d","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2019-04-29T09:34:54Z","title_canon_sha256":"49c13315fab627306efebb125bfba74c7a0ac1d2529cdc19ad82d18f0c51c3dd"},"schema_version":"1.0","source":{"id":"1904.12533","kind":"arxiv","version":1}},"canonical_sha256":"6431ae8fb9879048f1faa67518fe6aff1fe866ddf2e93127f4f42d948a2a3067","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6431ae8fb9879048f1faa67518fe6aff1fe866ddf2e93127f4f42d948a2a3067","first_computed_at":"2026-05-17T23:47:15.399506Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:15.399506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P2VLb9w8rd7mq7GBiqDjVTuTuq73sihMK5TV6a4X0BynjL9fpbea3XIES858Oi5vHwgG17f3ZOQ5LuN6dM5ECw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:15.399881Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.12533","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f75a50078c7ced8118c3d7094625b4cfbfd31e2cd12e738abaf479ce97646dda","sha256:1bcff97007c47055540493f81835daee5e5891d8b947b77ef4d3f1effa7d6ee9"],"state_sha256":"f973cc068cd0bc859c4a77daf1f4b4de5d791737198a9ec586d7989818e965a6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4TU65qmUA6sj2en8BYxU6/+INjVUFvs1FUskqH09x6HvSPmkjS0v20uMIlOO0ruaR14T9vvLlxaPU5+Yt9YOAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T04:53:08.187856Z","bundle_sha256":"6e3ea5409562d82d33252bfd956ac9655dc307cdc1265c9ae90795be06114719"}}