{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:W56BXVJF3IMLKZV3ZTFID4GC6M","short_pith_number":"pith:W56BXVJF","canonical_record":{"source":{"id":"1004.5339","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-29T16:46:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f3f57c4c0c22d39c5501dc22ca4900c4075fd46cb9ee5506660d519cbf2dbd6c","abstract_canon_sha256":"57f2d363c5c7ae6e167f784909dd82ddcf7bc4f257bfcdb5b377d198d3dfaa94"},"schema_version":"1.0"},"canonical_sha256":"b77c1bd525da18b566bbccca81f0c2f31cebaf8e601011a80a954abe9065d0a9","source":{"kind":"arxiv","id":"1004.5339","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.5339","created_at":"2026-05-18T02:24:14Z"},{"alias_kind":"arxiv_version","alias_value":"1004.5339v3","created_at":"2026-05-18T02:24:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.5339","created_at":"2026-05-18T02:24:14Z"},{"alias_kind":"pith_short_12","alias_value":"W56BXVJF3IML","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"W56BXVJF3IMLKZV3","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"W56BXVJF","created_at":"2026-05-18T12:26:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:W56BXVJF3IMLKZV3ZTFID4GC6M","target":"record","payload":{"canonical_record":{"source":{"id":"1004.5339","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-29T16:46:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f3f57c4c0c22d39c5501dc22ca4900c4075fd46cb9ee5506660d519cbf2dbd6c","abstract_canon_sha256":"57f2d363c5c7ae6e167f784909dd82ddcf7bc4f257bfcdb5b377d198d3dfaa94"},"schema_version":"1.0"},"canonical_sha256":"b77c1bd525da18b566bbccca81f0c2f31cebaf8e601011a80a954abe9065d0a9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:24:14.952168Z","signature_b64":"DKxZekQwr/bXKQ3+xkWr4vhAyVqMsbUVYXvnC4vOG3Rs5qtv37GlKsV1EZVUjfgQCvQtYG3oeFd1saLTHAFuAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b77c1bd525da18b566bbccca81f0c2f31cebaf8e601011a80a954abe9065d0a9","last_reissued_at":"2026-05-18T02:24:14.951580Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:24:14.951580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1004.5339","source_version":3,"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-18T02:24:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fFJBe2yvnS8KDEbURIxIOBwTUIsurpEDrRxwcbVYfxa+LvbW7Jn3Pugcu4K95spuxHDhh4ReY48VTfXT7vxqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:52:36.880666Z"},"content_sha256":"55abe802215d758622f3c37d8e5462834bdb77ada0e08faf0d12b1879708191a","schema_version":"1.0","event_id":"sha256:55abe802215d758622f3c37d8e5462834bdb77ada0e08faf0d12b1879708191a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:W56BXVJF3IMLKZV3ZTFID4GC6M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Query strategy for sequential ontology debugging","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Gerhard Friedrich, Kostyantyn Shchekotykhin, Patrick Rodler, Philipp Fleiss","submitted_at":"2010-04-29T16:46:09Z","abstract_excerpt":"Debugging of ontologies is an important prerequisite for their wide-spread application, especially in areas that rely upon everyday users to create and maintain knowledge bases, as in the case of the Semantic Web. Recent approaches use diagnosis methods to identify causes of inconsistent or incoherent ontologies. However, in most debugging scenarios these methods return many alternative diagnoses, thus placing the burden of fault localization on the user. This paper demonstrates how the target diagnosis can be identified by performing a sequence of observations, that is, by querying an oracle "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.5339","kind":"arxiv","version":3},"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-18T02:24:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K62CJzwqZxzPhnvzDVmGxIBEqoRpIe60XkktHPlBYmg9mtKhPm7/wyC+stJfajpyLTiaADPmXC5THWzto0fDDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:52:36.881367Z"},"content_sha256":"6c913b957081936381059c6f1a6578c0a71f1b1c90552b5cb0bb97753dedbcf5","schema_version":"1.0","event_id":"sha256:6c913b957081936381059c6f1a6578c0a71f1b1c90552b5cb0bb97753dedbcf5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W56BXVJF3IMLKZV3ZTFID4GC6M/bundle.json","state_url":"https://pith.science/pith/W56BXVJF3IMLKZV3ZTFID4GC6M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W56BXVJF3IMLKZV3ZTFID4GC6M/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-06-11T16:52:36Z","links":{"resolver":"https://pith.science/pith/W56BXVJF3IMLKZV3ZTFID4GC6M","bundle":"https://pith.science/pith/W56BXVJF3IMLKZV3ZTFID4GC6M/bundle.json","state":"https://pith.science/pith/W56BXVJF3IMLKZV3ZTFID4GC6M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W56BXVJF3IMLKZV3ZTFID4GC6M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:W56BXVJF3IMLKZV3ZTFID4GC6M","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":"57f2d363c5c7ae6e167f784909dd82ddcf7bc4f257bfcdb5b377d198d3dfaa94","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-29T16:46:09Z","title_canon_sha256":"f3f57c4c0c22d39c5501dc22ca4900c4075fd46cb9ee5506660d519cbf2dbd6c"},"schema_version":"1.0","source":{"id":"1004.5339","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.5339","created_at":"2026-05-18T02:24:14Z"},{"alias_kind":"arxiv_version","alias_value":"1004.5339v3","created_at":"2026-05-18T02:24:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.5339","created_at":"2026-05-18T02:24:14Z"},{"alias_kind":"pith_short_12","alias_value":"W56BXVJF3IML","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"W56BXVJF3IMLKZV3","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"W56BXVJF","created_at":"2026-05-18T12:26:15Z"}],"graph_snapshots":[{"event_id":"sha256:6c913b957081936381059c6f1a6578c0a71f1b1c90552b5cb0bb97753dedbcf5","target":"graph","created_at":"2026-05-18T02:24:14Z","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":"Debugging of ontologies is an important prerequisite for their wide-spread application, especially in areas that rely upon everyday users to create and maintain knowledge bases, as in the case of the Semantic Web. Recent approaches use diagnosis methods to identify causes of inconsistent or incoherent ontologies. However, in most debugging scenarios these methods return many alternative diagnoses, thus placing the burden of fault localization on the user. This paper demonstrates how the target diagnosis can be identified by performing a sequence of observations, that is, by querying an oracle ","authors_text":"Gerhard Friedrich, Kostyantyn Shchekotykhin, Patrick Rodler, Philipp Fleiss","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-29T16:46:09Z","title":"Query strategy for sequential ontology debugging"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.5339","kind":"arxiv","version":3},"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:55abe802215d758622f3c37d8e5462834bdb77ada0e08faf0d12b1879708191a","target":"record","created_at":"2026-05-18T02:24:14Z","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":"57f2d363c5c7ae6e167f784909dd82ddcf7bc4f257bfcdb5b377d198d3dfaa94","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-29T16:46:09Z","title_canon_sha256":"f3f57c4c0c22d39c5501dc22ca4900c4075fd46cb9ee5506660d519cbf2dbd6c"},"schema_version":"1.0","source":{"id":"1004.5339","kind":"arxiv","version":3}},"canonical_sha256":"b77c1bd525da18b566bbccca81f0c2f31cebaf8e601011a80a954abe9065d0a9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b77c1bd525da18b566bbccca81f0c2f31cebaf8e601011a80a954abe9065d0a9","first_computed_at":"2026-05-18T02:24:14.951580Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:24:14.951580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DKxZekQwr/bXKQ3+xkWr4vhAyVqMsbUVYXvnC4vOG3Rs5qtv37GlKsV1EZVUjfgQCvQtYG3oeFd1saLTHAFuAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:24:14.952168Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.5339","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55abe802215d758622f3c37d8e5462834bdb77ada0e08faf0d12b1879708191a","sha256:6c913b957081936381059c6f1a6578c0a71f1b1c90552b5cb0bb97753dedbcf5"],"state_sha256":"b5ca952cdcc3fdd0a519f76c7122624c764bfb547af3a59346556eff328133be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FPzp8xWwuCj1/YGeldnqev4JznZ8xgK8U6hOY05NTx9m/1JA+rE1uj/YVN47ytqesMYaNQ79aJPeFEqYmX9lAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T16:52:36.885408Z","bundle_sha256":"6161eba674a432e99cc25ac47f6e259350d9333ec25e6d5afdff10ec3f00c299"}}