{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UAPVGGLP73LOVPQT5IQBNG6NSJ","short_pith_number":"pith:UAPVGGLP","canonical_record":{"source":{"id":"1412.7585","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-24T02:18:01Z","cross_cats_sorted":[],"title_canon_sha256":"2235c53d6bbcb29c51b9244e079ada15e2c46d1745aad52ac3541a9fe15f7d0b","abstract_canon_sha256":"ceca3f7c729f3577274d9d31c1db81dcf7e53a96ff5e73b04e9a326b1c6fa7b6"},"schema_version":"1.0"},"canonical_sha256":"a01f53196ffed6eabe13ea20169bcd924971792f9b22ffe6d41ea6cca9ee23ed","source":{"kind":"arxiv","id":"1412.7585","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.7585","created_at":"2026-05-18T02:26:10Z"},{"alias_kind":"arxiv_version","alias_value":"1412.7585v3","created_at":"2026-05-18T02:26:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.7585","created_at":"2026-05-18T02:26:10Z"},{"alias_kind":"pith_short_12","alias_value":"UAPVGGLP73LO","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UAPVGGLP73LOVPQT","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UAPVGGLP","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UAPVGGLP73LOVPQT5IQBNG6NSJ","target":"record","payload":{"canonical_record":{"source":{"id":"1412.7585","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-24T02:18:01Z","cross_cats_sorted":[],"title_canon_sha256":"2235c53d6bbcb29c51b9244e079ada15e2c46d1745aad52ac3541a9fe15f7d0b","abstract_canon_sha256":"ceca3f7c729f3577274d9d31c1db81dcf7e53a96ff5e73b04e9a326b1c6fa7b6"},"schema_version":"1.0"},"canonical_sha256":"a01f53196ffed6eabe13ea20169bcd924971792f9b22ffe6d41ea6cca9ee23ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:10.294662Z","signature_b64":"2eVmjN88g4tqfmTRQU7O5ksK8xG/fiMv1uR6IHFRDTAlqZ/ObpeAe1wxAdRS1jDA8Pa1eQL9d+ZavSdzZGNTDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a01f53196ffed6eabe13ea20169bcd924971792f9b22ffe6d41ea6cca9ee23ed","last_reissued_at":"2026-05-18T02:26:10.294157Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:10.294157Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.7585","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:26:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eXICQcXe/1KoEbY+TLVo96HTcJOEEEdMMpLrp3J6fX6gLtXzrpFDvMMO9qh+2HtDZQyjpsgN1eGmeoaiyfV9BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T07:18:18.465571Z"},"content_sha256":"475f8bd996867aa791ecc1525c359ebda9cd4f6681d093235c6f67bfc748812f","schema_version":"1.0","event_id":"sha256:475f8bd996867aa791ecc1525c359ebda9cd4f6681d093235c6f67bfc748812f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UAPVGGLP73LOVPQT5IQBNG6NSJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jia Xu, Mansur Kabuka, Nigel John, Patrick Shironoshita, Ubbo Visser","submitted_at":"2014-12-24T02:18:01Z","abstract_excerpt":"Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checking can be realized by using the most specific concept (MSC) method, which converts instance checking into subsumption problems. This method, however, loses its simplicity and efficiency when applied to large and complex ontologies, as it tends to generate very large MSC's that could lead to intractable reasoning. In this paper, we propose a revision to this MSC method for DL SHI, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.7585","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:26:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5dv7YuSx9vZkKmk3jkOib30OZRsLDx5khIdit/rlxtchYi+gpa15bN/aabCRWWfnUIqma0wmHBxu2x9dkYllBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T07:18:18.465965Z"},"content_sha256":"d05ef2e28b07928019f68b40a5db624e402b3131de742c9c169c2ed195572852","schema_version":"1.0","event_id":"sha256:d05ef2e28b07928019f68b40a5db624e402b3131de742c9c169c2ed195572852"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UAPVGGLP73LOVPQT5IQBNG6NSJ/bundle.json","state_url":"https://pith.science/pith/UAPVGGLP73LOVPQT5IQBNG6NSJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UAPVGGLP73LOVPQT5IQBNG6NSJ/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-27T07:18:18Z","links":{"resolver":"https://pith.science/pith/UAPVGGLP73LOVPQT5IQBNG6NSJ","bundle":"https://pith.science/pith/UAPVGGLP73LOVPQT5IQBNG6NSJ/bundle.json","state":"https://pith.science/pith/UAPVGGLP73LOVPQT5IQBNG6NSJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UAPVGGLP73LOVPQT5IQBNG6NSJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UAPVGGLP73LOVPQT5IQBNG6NSJ","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":"ceca3f7c729f3577274d9d31c1db81dcf7e53a96ff5e73b04e9a326b1c6fa7b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-24T02:18:01Z","title_canon_sha256":"2235c53d6bbcb29c51b9244e079ada15e2c46d1745aad52ac3541a9fe15f7d0b"},"schema_version":"1.0","source":{"id":"1412.7585","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.7585","created_at":"2026-05-18T02:26:10Z"},{"alias_kind":"arxiv_version","alias_value":"1412.7585v3","created_at":"2026-05-18T02:26:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.7585","created_at":"2026-05-18T02:26:10Z"},{"alias_kind":"pith_short_12","alias_value":"UAPVGGLP73LO","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UAPVGGLP73LOVPQT","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UAPVGGLP","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:d05ef2e28b07928019f68b40a5db624e402b3131de742c9c169c2ed195572852","target":"graph","created_at":"2026-05-18T02:26:10Z","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":"Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checking can be realized by using the most specific concept (MSC) method, which converts instance checking into subsumption problems. This method, however, loses its simplicity and efficiency when applied to large and complex ontologies, as it tends to generate very large MSC's that could lead to intractable reasoning. In this paper, we propose a revision to this MSC method for DL SHI, ","authors_text":"Jia Xu, Mansur Kabuka, Nigel John, Patrick Shironoshita, Ubbo Visser","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-24T02:18:01Z","title":"Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.7585","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:475f8bd996867aa791ecc1525c359ebda9cd4f6681d093235c6f67bfc748812f","target":"record","created_at":"2026-05-18T02:26:10Z","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":"ceca3f7c729f3577274d9d31c1db81dcf7e53a96ff5e73b04e9a326b1c6fa7b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-24T02:18:01Z","title_canon_sha256":"2235c53d6bbcb29c51b9244e079ada15e2c46d1745aad52ac3541a9fe15f7d0b"},"schema_version":"1.0","source":{"id":"1412.7585","kind":"arxiv","version":3}},"canonical_sha256":"a01f53196ffed6eabe13ea20169bcd924971792f9b22ffe6d41ea6cca9ee23ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a01f53196ffed6eabe13ea20169bcd924971792f9b22ffe6d41ea6cca9ee23ed","first_computed_at":"2026-05-18T02:26:10.294157Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:26:10.294157Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2eVmjN88g4tqfmTRQU7O5ksK8xG/fiMv1uR6IHFRDTAlqZ/ObpeAe1wxAdRS1jDA8Pa1eQL9d+ZavSdzZGNTDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:26:10.294662Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.7585","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:475f8bd996867aa791ecc1525c359ebda9cd4f6681d093235c6f67bfc748812f","sha256:d05ef2e28b07928019f68b40a5db624e402b3131de742c9c169c2ed195572852"],"state_sha256":"1dfea242c431b35c786a1cda09d08ee96db6ec6941a5c8eca29013485e9ae646"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LcPvFVtJPZPQpzaV8n2pc4RUyr0soRXYysipG3w9i/+LsQVK2cRkfr1RiALJIbDckMW5GGGvwkFo63qvtgaDCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T07:18:18.467777Z","bundle_sha256":"91000cebc7ef97351d52fdc2f89dbd24c937d1cb33f02d324602ec73ae4bab05"}}