{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:DX6TKFLNZH5Z7OGQL3WAQWWMFG","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":"0cf501ca98626229c44c1df373b71ff86dd08686801d2ca15e3276150673d77e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-10-31T22:01:42Z","title_canon_sha256":"7d8d8a327c3a77fe09e4fdfc6502c4253cd4819624998c9e2d6bdbc14470b865"},"schema_version":"1.0","source":{"id":"1111.0049","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.0049","created_at":"2026-05-18T04:09:46Z"},{"alias_kind":"arxiv_version","alias_value":"1111.0049v1","created_at":"2026-05-18T04:09:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.0049","created_at":"2026-05-18T04:09:46Z"},{"alias_kind":"pith_short_12","alias_value":"DX6TKFLNZH5Z","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DX6TKFLNZH5Z7OGQ","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DX6TKFLN","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:265268c3a762e555bca2766c13a85eef30127cbfa31c3d3a84a58825dc321ca1","target":"graph","created_at":"2026-05-18T04:09:46Z","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":"Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive roles are admitted in the query. In this paper, we consider unions of conjunctive queries over knowledge bases formulated in the prominent DL SHIQ and allow transitive roles in both the query and the knowledge base. We show decidability of query answering in this setting and establish two tight complexity bounds: regarding combined complexity,","authors_text":"Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-10-31T22:01:42Z","title":"Conjunctive Query Answering for the Description Logic SHIQ"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.0049","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:2dcd279a39eb00a06c01855f96face3aa8d21bc63c70f77f36fd4fbc9a74f07d","target":"record","created_at":"2026-05-18T04:09:46Z","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":"0cf501ca98626229c44c1df373b71ff86dd08686801d2ca15e3276150673d77e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-10-31T22:01:42Z","title_canon_sha256":"7d8d8a327c3a77fe09e4fdfc6502c4253cd4819624998c9e2d6bdbc14470b865"},"schema_version":"1.0","source":{"id":"1111.0049","kind":"arxiv","version":1}},"canonical_sha256":"1dfd35156dc9fb9fb8d05eec085acc29b0f5d0977dcabfc5472e3bb8a0f926cc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1dfd35156dc9fb9fb8d05eec085acc29b0f5d0977dcabfc5472e3bb8a0f926cc","first_computed_at":"2026-05-18T04:09:46.563771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:09:46.563771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BUeiR0s+c+PvXcad/pRcg0zH055h84VWhyrG7HxlIZT/9mOje4S2gMylSJ6VQAm2yhPpQyHjmci7YYztIeppAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:09:46.564260Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.0049","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2dcd279a39eb00a06c01855f96face3aa8d21bc63c70f77f36fd4fbc9a74f07d","sha256:265268c3a762e555bca2766c13a85eef30127cbfa31c3d3a84a58825dc321ca1"],"state_sha256":"89766975f403f8becdb0578c0bcf850ccb43788768b4a5d54e474dc910b93a96"}