{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:2CFQHZMYB2KNU3M342UOCJMQEG","short_pith_number":"pith:2CFQHZMY","canonical_record":{"source":{"id":"1305.4859","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-05-21T15:35:03Z","cross_cats_sorted":[],"title_canon_sha256":"50b0a044ea526dcbaca131d5375862c2b7c430754296cdc899c166d012db08be","abstract_canon_sha256":"c5569175ebb122ab2fae2ef6278109005b0a9bd47042f58179ec3405898855bc"},"schema_version":"1.0"},"canonical_sha256":"d08b03e5980e94da6d9be6a8e1259021afbe7d6a439d4b822ccf67ab8902b0d9","source":{"kind":"arxiv","id":"1305.4859","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.4859","created_at":"2026-05-18T02:50:00Z"},{"alias_kind":"arxiv_version","alias_value":"1305.4859v4","created_at":"2026-05-18T02:50:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.4859","created_at":"2026-05-18T02:50:00Z"},{"alias_kind":"pith_short_12","alias_value":"2CFQHZMYB2KN","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"2CFQHZMYB2KNU3M3","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"2CFQHZMY","created_at":"2026-05-18T12:27:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:2CFQHZMYB2KNU3M342UOCJMQEG","target":"record","payload":{"canonical_record":{"source":{"id":"1305.4859","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-05-21T15:35:03Z","cross_cats_sorted":[],"title_canon_sha256":"50b0a044ea526dcbaca131d5375862c2b7c430754296cdc899c166d012db08be","abstract_canon_sha256":"c5569175ebb122ab2fae2ef6278109005b0a9bd47042f58179ec3405898855bc"},"schema_version":"1.0"},"canonical_sha256":"d08b03e5980e94da6d9be6a8e1259021afbe7d6a439d4b822ccf67ab8902b0d9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:00.928214Z","signature_b64":"jFd6+ayfB+NxhjxIj6ZaknYpM/k4kt639UP9Ie7IuKcbT08XS1zychVFRepjotx/FB7FiQ5L/u+inyfFsuTfBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d08b03e5980e94da6d9be6a8e1259021afbe7d6a439d4b822ccf67ab8902b0d9","last_reissued_at":"2026-05-18T02:50:00.927571Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:00.927571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.4859","source_version":4,"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:50:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vz/Bjo/qspfWU2ALL/D+ErSpjHPFd+NRJJlwcCSIXAlHh8mFbX/YK+La8n2yaRU5ZwyIgEo2wN0ZY1W4i5FMBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T09:40:38.632217Z"},"content_sha256":"d8f51705f3c74402655d51d683b8dbd657fe79045eb6e2ab39a150db3b25b150","schema_version":"1.0","event_id":"sha256:d8f51705f3c74402655d51d683b8dbd657fe79045eb6e2ab39a150db3b25b150"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:2CFQHZMYB2KNU3M342UOCJMQEG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extract ABox Modules for Efficient Ontology Querying","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":"2013-05-21T15:35:03Z","abstract_excerpt":"The extraction of logically-independent fragments out of an ontology ABox can be useful for solving the tractability problem of querying ontologies with large ABoxes. In this paper, we propose a formal definition of an ABox module, such that it guarantees complete preservation of facts about a given set of individuals, and thus can be reasoned independently w.r.t. the ontology TBox. With ABox modules of this type, isolated or distributed (parallel) ABox reasoning becomes feasible, and more efficient data retrieval from ontology ABoxes can be attained. To compute such an ABox module, we present"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.4859","kind":"arxiv","version":4},"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:50:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RO2p6ooIu9tYCeEau60jLtzDiJCn8ixmBM5zRkfIojR+KT1yQvHudOda3f84trcOYKG3cGLIizc731Dq2GDRDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T09:40:38.632580Z"},"content_sha256":"413eeebb8f5babd0e4931e473c70391f7f3af9170983f6bd985dd1e5016fcae7","schema_version":"1.0","event_id":"sha256:413eeebb8f5babd0e4931e473c70391f7f3af9170983f6bd985dd1e5016fcae7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2CFQHZMYB2KNU3M342UOCJMQEG/bundle.json","state_url":"https://pith.science/pith/2CFQHZMYB2KNU3M342UOCJMQEG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2CFQHZMYB2KNU3M342UOCJMQEG/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-27T09:40:38Z","links":{"resolver":"https://pith.science/pith/2CFQHZMYB2KNU3M342UOCJMQEG","bundle":"https://pith.science/pith/2CFQHZMYB2KNU3M342UOCJMQEG/bundle.json","state":"https://pith.science/pith/2CFQHZMYB2KNU3M342UOCJMQEG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2CFQHZMYB2KNU3M342UOCJMQEG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:2CFQHZMYB2KNU3M342UOCJMQEG","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":"c5569175ebb122ab2fae2ef6278109005b0a9bd47042f58179ec3405898855bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-05-21T15:35:03Z","title_canon_sha256":"50b0a044ea526dcbaca131d5375862c2b7c430754296cdc899c166d012db08be"},"schema_version":"1.0","source":{"id":"1305.4859","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.4859","created_at":"2026-05-18T02:50:00Z"},{"alias_kind":"arxiv_version","alias_value":"1305.4859v4","created_at":"2026-05-18T02:50:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.4859","created_at":"2026-05-18T02:50:00Z"},{"alias_kind":"pith_short_12","alias_value":"2CFQHZMYB2KN","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"2CFQHZMYB2KNU3M3","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"2CFQHZMY","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:413eeebb8f5babd0e4931e473c70391f7f3af9170983f6bd985dd1e5016fcae7","target":"graph","created_at":"2026-05-18T02:50:00Z","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 extraction of logically-independent fragments out of an ontology ABox can be useful for solving the tractability problem of querying ontologies with large ABoxes. In this paper, we propose a formal definition of an ABox module, such that it guarantees complete preservation of facts about a given set of individuals, and thus can be reasoned independently w.r.t. the ontology TBox. With ABox modules of this type, isolated or distributed (parallel) ABox reasoning becomes feasible, and more efficient data retrieval from ontology ABoxes can be attained. To compute such an ABox module, we present","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":"2013-05-21T15:35:03Z","title":"Extract ABox Modules for Efficient Ontology Querying"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.4859","kind":"arxiv","version":4},"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:d8f51705f3c74402655d51d683b8dbd657fe79045eb6e2ab39a150db3b25b150","target":"record","created_at":"2026-05-18T02:50:00Z","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":"c5569175ebb122ab2fae2ef6278109005b0a9bd47042f58179ec3405898855bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-05-21T15:35:03Z","title_canon_sha256":"50b0a044ea526dcbaca131d5375862c2b7c430754296cdc899c166d012db08be"},"schema_version":"1.0","source":{"id":"1305.4859","kind":"arxiv","version":4}},"canonical_sha256":"d08b03e5980e94da6d9be6a8e1259021afbe7d6a439d4b822ccf67ab8902b0d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d08b03e5980e94da6d9be6a8e1259021afbe7d6a439d4b822ccf67ab8902b0d9","first_computed_at":"2026-05-18T02:50:00.927571Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:00.927571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jFd6+ayfB+NxhjxIj6ZaknYpM/k4kt639UP9Ie7IuKcbT08XS1zychVFRepjotx/FB7FiQ5L/u+inyfFsuTfBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:00.928214Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.4859","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8f51705f3c74402655d51d683b8dbd657fe79045eb6e2ab39a150db3b25b150","sha256:413eeebb8f5babd0e4931e473c70391f7f3af9170983f6bd985dd1e5016fcae7"],"state_sha256":"5331d729d934318c331d61ad9ef2d74f43ae64f1fc9547c337b22eb6d123616f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vWO8t3gon1szzPW8hXbnk92y8E5YU7d5yE5UAoE5LPWJizXTRE09IsfUmdGnPaFCqDu9Lk6mPndEO6TGb8XLBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T09:40:38.634732Z","bundle_sha256":"098b8e9f5947f7b5004ad99cc397bfaecae4a1fd50896a119df37525031cb366"}}