{"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"}