{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:P3UDMOUX3B4XEIWZFW7HN42CUF","short_pith_number":"pith:P3UDMOUX","canonical_record":{"source":{"id":"1804.07805","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-20T19:17:46Z","cross_cats_sorted":[],"title_canon_sha256":"e783ad6e75a34880864d52d7ffd4b0b1ec1ee4af73397c7eb9347084056793e6","abstract_canon_sha256":"c21925c5b336c3410b39e3469f7dabb0b00da0f6b8a0bd5acb67c7de82773b8c"},"schema_version":"1.0"},"canonical_sha256":"7ee8363a97d8797222d92dbe76f342a15d8ec07fb3e497ab08f63b1a33b543e4","source":{"kind":"arxiv","id":"1804.07805","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.07805","created_at":"2026-05-18T00:17:52Z"},{"alias_kind":"arxiv_version","alias_value":"1804.07805v1","created_at":"2026-05-18T00:17:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07805","created_at":"2026-05-18T00:17:52Z"},{"alias_kind":"pith_short_12","alias_value":"P3UDMOUX3B4X","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"P3UDMOUX3B4XEIWZ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"P3UDMOUX","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:P3UDMOUX3B4XEIWZFW7HN42CUF","target":"record","payload":{"canonical_record":{"source":{"id":"1804.07805","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-20T19:17:46Z","cross_cats_sorted":[],"title_canon_sha256":"e783ad6e75a34880864d52d7ffd4b0b1ec1ee4af73397c7eb9347084056793e6","abstract_canon_sha256":"c21925c5b336c3410b39e3469f7dabb0b00da0f6b8a0bd5acb67c7de82773b8c"},"schema_version":"1.0"},"canonical_sha256":"7ee8363a97d8797222d92dbe76f342a15d8ec07fb3e497ab08f63b1a33b543e4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:52.715391Z","signature_b64":"iEepcKQnFLapgMy1/nUCe7F3nWVyHJsRFmzY14oIqiqzwKQY/BN8sIKPTz48Gu5hB/HhciNAaf6QdOWTjaQ+CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ee8363a97d8797222d92dbe76f342a15d8ec07fb3e497ab08f63b1a33b543e4","last_reissued_at":"2026-05-18T00:17:52.714807Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:52.714807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.07805","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-18T00:17:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ge25CEPrKF2aEUnWOnH+aAnXnVmeAK/F937RVRNi7F/p9S3+nnRIVLv3NbUxqfP9qJ4qSpt29eJlk2ITwni4CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:19:29.703675Z"},"content_sha256":"7050250558eb5d7b7c1cd248dbd2cd80d0f5be9ba3ab613a0d19022e4494e930","schema_version":"1.0","event_id":"sha256:7050250558eb5d7b7c1cd248dbd2cd80d0f5be9ba3ab613a0d19022e4494e930"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:P3UDMOUX3B4XEIWZFW7HN42CUF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Boris Konev, Carsten Lutz, Elena Botoeva, Frank Wolter, Michael Zakharyaschev, Vladislav Ryzhikov","submitted_at":"2018-04-20T19:17:46Z","abstract_excerpt":"The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization, forgetting, and knowledge exchange. What safe replacement means depends on the intended application of the ontology. If, for example, it is used to query data, then the answers to any relevant ontology-mediated query should be the same over any relevant data set; if, in contrast, the ontology is used for conceptual reasoning, then the entailed subsumptions between co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07805","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-18T00:17:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7kBqCnyx7DG62kg3bUkHR/McgoddJdhnYgcH65PxuX8zHQMvMp7vBRrvp2/KmXyUR1auiEkKoKuYTREG+3uHDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:19:29.704282Z"},"content_sha256":"047c4634887f81c0b81bf01b08f547ad9c691bd85d0fa98592dea60578246306","schema_version":"1.0","event_id":"sha256:047c4634887f81c0b81bf01b08f547ad9c691bd85d0fa98592dea60578246306"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P3UDMOUX3B4XEIWZFW7HN42CUF/bundle.json","state_url":"https://pith.science/pith/P3UDMOUX3B4XEIWZFW7HN42CUF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P3UDMOUX3B4XEIWZFW7HN42CUF/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-27T05:19:29Z","links":{"resolver":"https://pith.science/pith/P3UDMOUX3B4XEIWZFW7HN42CUF","bundle":"https://pith.science/pith/P3UDMOUX3B4XEIWZFW7HN42CUF/bundle.json","state":"https://pith.science/pith/P3UDMOUX3B4XEIWZFW7HN42CUF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P3UDMOUX3B4XEIWZFW7HN42CUF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:P3UDMOUX3B4XEIWZFW7HN42CUF","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":"c21925c5b336c3410b39e3469f7dabb0b00da0f6b8a0bd5acb67c7de82773b8c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-20T19:17:46Z","title_canon_sha256":"e783ad6e75a34880864d52d7ffd4b0b1ec1ee4af73397c7eb9347084056793e6"},"schema_version":"1.0","source":{"id":"1804.07805","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.07805","created_at":"2026-05-18T00:17:52Z"},{"alias_kind":"arxiv_version","alias_value":"1804.07805v1","created_at":"2026-05-18T00:17:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07805","created_at":"2026-05-18T00:17:52Z"},{"alias_kind":"pith_short_12","alias_value":"P3UDMOUX3B4X","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"P3UDMOUX3B4XEIWZ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"P3UDMOUX","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:047c4634887f81c0b81bf01b08f547ad9c691bd85d0fa98592dea60578246306","target":"graph","created_at":"2026-05-18T00:17:52Z","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 question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization, forgetting, and knowledge exchange. What safe replacement means depends on the intended application of the ontology. If, for example, it is used to query data, then the answers to any relevant ontology-mediated query should be the same over any relevant data set; if, in contrast, the ontology is used for conceptual reasoning, then the entailed subsumptions between co","authors_text":"Boris Konev, 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":"2018-04-20T19:17:46Z","title":"Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07805","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:7050250558eb5d7b7c1cd248dbd2cd80d0f5be9ba3ab613a0d19022e4494e930","target":"record","created_at":"2026-05-18T00:17:52Z","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":"c21925c5b336c3410b39e3469f7dabb0b00da0f6b8a0bd5acb67c7de82773b8c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-20T19:17:46Z","title_canon_sha256":"e783ad6e75a34880864d52d7ffd4b0b1ec1ee4af73397c7eb9347084056793e6"},"schema_version":"1.0","source":{"id":"1804.07805","kind":"arxiv","version":1}},"canonical_sha256":"7ee8363a97d8797222d92dbe76f342a15d8ec07fb3e497ab08f63b1a33b543e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ee8363a97d8797222d92dbe76f342a15d8ec07fb3e497ab08f63b1a33b543e4","first_computed_at":"2026-05-18T00:17:52.714807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:52.714807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iEepcKQnFLapgMy1/nUCe7F3nWVyHJsRFmzY14oIqiqzwKQY/BN8sIKPTz48Gu5hB/HhciNAaf6QdOWTjaQ+CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:52.715391Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.07805","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7050250558eb5d7b7c1cd248dbd2cd80d0f5be9ba3ab613a0d19022e4494e930","sha256:047c4634887f81c0b81bf01b08f547ad9c691bd85d0fa98592dea60578246306"],"state_sha256":"47ae3d9e5e867a0ce6bcdcf5382153a60d0d242b6a0cfabac462092ef35a7d30"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jckMSlfcoAZp0C59Yx1tgUZor2qvVdIKQWScZBNsBUnNof4OZBhGQ7iRFmkzLYetejLoh/JloPXHbXda99bnDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T05:19:29.707419Z","bundle_sha256":"fe32615af1aeac05468236b0b1ecee31474254d81c5e787d726c0c2046fa711a"}}