{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WG6AHYGTPRA4AZCSBMT2MQ2URT","short_pith_number":"pith:WG6AHYGT","canonical_record":{"source":{"id":"1902.00014","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-31T13:58:48Z","cross_cats_sorted":[],"title_canon_sha256":"9d3e60161e30df199ff88c2deafacea0dba41ade28f66bef687b7cb52c5a47e9","abstract_canon_sha256":"eba69bfd821c04d4bf55149c9f9794810a6eceddba8475a20fa65d40b0f7c6d0"},"schema_version":"1.0"},"canonical_sha256":"b1bc03e0d37c41c064520b27a643548cec5ea9e44d74ce4278303a66fec7d4e0","source":{"kind":"arxiv","id":"1902.00014","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00014","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00014v1","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00014","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"pith_short_12","alias_value":"WG6AHYGTPRA4","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WG6AHYGTPRA4AZCS","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WG6AHYGT","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WG6AHYGTPRA4AZCSBMT2MQ2URT","target":"record","payload":{"canonical_record":{"source":{"id":"1902.00014","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-31T13:58:48Z","cross_cats_sorted":[],"title_canon_sha256":"9d3e60161e30df199ff88c2deafacea0dba41ade28f66bef687b7cb52c5a47e9","abstract_canon_sha256":"eba69bfd821c04d4bf55149c9f9794810a6eceddba8475a20fa65d40b0f7c6d0"},"schema_version":"1.0"},"canonical_sha256":"b1bc03e0d37c41c064520b27a643548cec5ea9e44d74ce4278303a66fec7d4e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:01.585738Z","signature_b64":"TjDSmQCJ9KrTBdm0O7FHwEfZRN9yB8KUTRthTJtlczj3gM2QW+YVsrC7hbT6nHW7E5gg3goxNIXhG6EysPl3Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b1bc03e0d37c41c064520b27a643548cec5ea9e44d74ce4278303a66fec7d4e0","last_reissued_at":"2026-05-17T23:55:01.585237Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:01.585237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.00014","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:55:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LHCtz2F0Az6nsm1pzZqLtgqG70FZi+HsSxjRN6jpyV6d3Jstj1p3mWBZ4rjWXl4zc5PlK8AH1IDF9BSh6OReBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:01:53.676658Z"},"content_sha256":"246aae15e6079122b77ea247d60336e55718d611873e4242e568bf70b468eded","schema_version":"1.0","event_id":"sha256:246aae15e6079122b77ea247d60336e55718d611873e4242e568bf70b468eded"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WG6AHYGTPRA4AZCSBMT2MQ2URT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Query Inseparability for ALC Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Carsten Lutz, Elena Botoeva, Frank Wolter, Michael Zakharyaschev, Vladislav Ryzhikov","submitted_at":"2019-01-31T13:58:48Z","abstract_excerpt":"We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering tasks such as ontology versioning, modularisation, update, and forgetting. We consider both knowledge base (KB) and TBox inseparability. For KBs, we give model-theoretic criteria in terms of (finite partial) homomorphisms and products and prove that this problem is undecidable for conjunctive queries (CQs), but 2ExpTime-complete for unions of CQs (UCQs). The same results hold if (U)CQs are replaced by rooted (U)CQs,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00014","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:55:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IPw/KxJkiotQJ/mz7T+INOmb+ESZdh8sMZYPqVtx2TsnciaIyHXRBRKS4+W5ymUhMH/H+ngKZOhkHzY5owrJBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:01:53.677326Z"},"content_sha256":"57be661d0496e1cd2f97c123d2fecb1ac87aa3cbb1f52652636c6535b54474a2","schema_version":"1.0","event_id":"sha256:57be661d0496e1cd2f97c123d2fecb1ac87aa3cbb1f52652636c6535b54474a2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WG6AHYGTPRA4AZCSBMT2MQ2URT/bundle.json","state_url":"https://pith.science/pith/WG6AHYGTPRA4AZCSBMT2MQ2URT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WG6AHYGTPRA4AZCSBMT2MQ2URT/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-25T15:01:53Z","links":{"resolver":"https://pith.science/pith/WG6AHYGTPRA4AZCSBMT2MQ2URT","bundle":"https://pith.science/pith/WG6AHYGTPRA4AZCSBMT2MQ2URT/bundle.json","state":"https://pith.science/pith/WG6AHYGTPRA4AZCSBMT2MQ2URT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WG6AHYGTPRA4AZCSBMT2MQ2URT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WG6AHYGTPRA4AZCSBMT2MQ2URT","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":"eba69bfd821c04d4bf55149c9f9794810a6eceddba8475a20fa65d40b0f7c6d0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-31T13:58:48Z","title_canon_sha256":"9d3e60161e30df199ff88c2deafacea0dba41ade28f66bef687b7cb52c5a47e9"},"schema_version":"1.0","source":{"id":"1902.00014","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00014","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00014v1","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00014","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"pith_short_12","alias_value":"WG6AHYGTPRA4","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WG6AHYGTPRA4AZCS","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WG6AHYGT","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:57be661d0496e1cd2f97c123d2fecb1ac87aa3cbb1f52652636c6535b54474a2","target":"graph","created_at":"2026-05-17T23:55:01Z","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 investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering tasks such as ontology versioning, modularisation, update, and forgetting. We consider both knowledge base (KB) and TBox inseparability. For KBs, we give model-theoretic criteria in terms of (finite partial) homomorphisms and products and prove that this problem is undecidable for conjunctive queries (CQs), but 2ExpTime-complete for unions of CQs (UCQs). The same results hold if (U)CQs are replaced by rooted (U)CQs,","authors_text":"Carsten Lutz, Elena Botoeva, Frank Wolter, Michael Zakharyaschev, Vladislav Ryzhikov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-31T13:58:48Z","title":"Query Inseparability for ALC Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00014","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:246aae15e6079122b77ea247d60336e55718d611873e4242e568bf70b468eded","target":"record","created_at":"2026-05-17T23:55:01Z","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":"eba69bfd821c04d4bf55149c9f9794810a6eceddba8475a20fa65d40b0f7c6d0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-31T13:58:48Z","title_canon_sha256":"9d3e60161e30df199ff88c2deafacea0dba41ade28f66bef687b7cb52c5a47e9"},"schema_version":"1.0","source":{"id":"1902.00014","kind":"arxiv","version":1}},"canonical_sha256":"b1bc03e0d37c41c064520b27a643548cec5ea9e44d74ce4278303a66fec7d4e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1bc03e0d37c41c064520b27a643548cec5ea9e44d74ce4278303a66fec7d4e0","first_computed_at":"2026-05-17T23:55:01.585237Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:01.585237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TjDSmQCJ9KrTBdm0O7FHwEfZRN9yB8KUTRthTJtlczj3gM2QW+YVsrC7hbT6nHW7E5gg3goxNIXhG6EysPl3Dw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:01.585738Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.00014","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:246aae15e6079122b77ea247d60336e55718d611873e4242e568bf70b468eded","sha256:57be661d0496e1cd2f97c123d2fecb1ac87aa3cbb1f52652636c6535b54474a2"],"state_sha256":"69cf7bcd2a9b331093711bf280f37653af1c063c07a9232cc27dabe78ea8739e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c1CFOYouswWkO2M+HIQSfKPMuUA3Y5RwNCB/kxLc3yboLu/3NE36AuMZNz4s20sHnAFY7wKJWd15La/aVkQuAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T15:01:53.680887Z","bundle_sha256":"50b38c381551dc2f9f2bdfb6510b53db1649c0999f692d626bb9f8fff021e378"}}