{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:226CQ3M5GTL734QQ3LH7YT2ZXX","short_pith_number":"pith:226CQ3M5","canonical_record":{"source":{"id":"1810.06617","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-15T19:06:14Z","cross_cats_sorted":[],"title_canon_sha256":"22d0d9e5cc86b02a68e72234b13b4e15d2fa87619197f1fee195d1e446e33e31","abstract_canon_sha256":"2edc15b582200188fa347c870d44e2dd8f2bc46d96efca142c46de28030e6e13"},"schema_version":"1.0"},"canonical_sha256":"d6bc286d9d34d7fdf210dacffc4f59bdd5385b2756e4b5dc57ebb17e930c1faa","source":{"kind":"arxiv","id":"1810.06617","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.06617","created_at":"2026-05-18T00:02:21Z"},{"alias_kind":"arxiv_version","alias_value":"1810.06617v2","created_at":"2026-05-18T00:02:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.06617","created_at":"2026-05-18T00:02:21Z"},{"alias_kind":"pith_short_12","alias_value":"226CQ3M5GTL7","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"226CQ3M5GTL734QQ","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"226CQ3M5","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:226CQ3M5GTL734QQ3LH7YT2ZXX","target":"record","payload":{"canonical_record":{"source":{"id":"1810.06617","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-15T19:06:14Z","cross_cats_sorted":[],"title_canon_sha256":"22d0d9e5cc86b02a68e72234b13b4e15d2fa87619197f1fee195d1e446e33e31","abstract_canon_sha256":"2edc15b582200188fa347c870d44e2dd8f2bc46d96efca142c46de28030e6e13"},"schema_version":"1.0"},"canonical_sha256":"d6bc286d9d34d7fdf210dacffc4f59bdd5385b2756e4b5dc57ebb17e930c1faa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:21.941493Z","signature_b64":"St7LZwiEBbr+UIr/jdQrqRmN1D0J4iMuOi3MPJ8K8jgTnFH5MkRiu+kWFe+74BCEX7ndcv2F2y2NzPSCs7z5Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6bc286d9d34d7fdf210dacffc4f59bdd5385b2756e4b5dc57ebb17e930c1faa","last_reissued_at":"2026-05-18T00:02:21.940859Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:21.940859Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.06617","source_version":2,"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:02:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sIUDvDI3lfvEEwWrR4HHjgiTzpiHTSI7LMIbMpVP7wORAVU6LJ6L7v7X4nhIgrXDriRhN+V7ggt46b0nXZiwAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:52:19.248804Z"},"content_sha256":"6a3852e22217ccaed8a20e5f795491f77c23a8691e59496fdd2bef211b436335","schema_version":"1.0","event_id":"sha256:6a3852e22217ccaed8a20e5f795491f77c23a8691e59496fdd2bef211b436335"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:226CQ3M5GTL734QQ3LH7YT2ZXX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimizing Heuristics for Tableau-based OWL Reasoners","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Hamidreza Chinaei, Razieh Mehri, Volker Haarslev","submitted_at":"2018-10-15T19:06:14Z","abstract_excerpt":"Optimization techniques play a significant role in improving description logic reasoners covering the Web Ontology Language (OWL). These techniques are essential to speed up these reasoners. Many of the optimization techniques are based on heuristic choices. Optimal heuristic selection makes these techniques more effective. The FaCT++ OWL reasoner and its Java version JFact implement an optimization technique called ToDo list which is a substitute for a traditional top-down approach in tableau-based reasoners. The ToDo list mechanism allows one to arrange the order of applying different rules "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.06617","kind":"arxiv","version":2},"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:02:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6cntkl3zwJsyjiO68OFRfOWegIRYfU+aZ+rv32adtgtYrbnR+BSCgFcvx0kcbZm4Nw7vewOxLR8Oh8ctuvgODw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:52:19.249506Z"},"content_sha256":"07d3bc7b844256df4e0d702d67a0f9ce9f17fe6806ec5e61a33dc66cb380e0cb","schema_version":"1.0","event_id":"sha256:07d3bc7b844256df4e0d702d67a0f9ce9f17fe6806ec5e61a33dc66cb380e0cb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/226CQ3M5GTL734QQ3LH7YT2ZXX/bundle.json","state_url":"https://pith.science/pith/226CQ3M5GTL734QQ3LH7YT2ZXX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/226CQ3M5GTL734QQ3LH7YT2ZXX/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-05T20:52:19Z","links":{"resolver":"https://pith.science/pith/226CQ3M5GTL734QQ3LH7YT2ZXX","bundle":"https://pith.science/pith/226CQ3M5GTL734QQ3LH7YT2ZXX/bundle.json","state":"https://pith.science/pith/226CQ3M5GTL734QQ3LH7YT2ZXX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/226CQ3M5GTL734QQ3LH7YT2ZXX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:226CQ3M5GTL734QQ3LH7YT2ZXX","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":"2edc15b582200188fa347c870d44e2dd8f2bc46d96efca142c46de28030e6e13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-15T19:06:14Z","title_canon_sha256":"22d0d9e5cc86b02a68e72234b13b4e15d2fa87619197f1fee195d1e446e33e31"},"schema_version":"1.0","source":{"id":"1810.06617","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.06617","created_at":"2026-05-18T00:02:21Z"},{"alias_kind":"arxiv_version","alias_value":"1810.06617v2","created_at":"2026-05-18T00:02:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.06617","created_at":"2026-05-18T00:02:21Z"},{"alias_kind":"pith_short_12","alias_value":"226CQ3M5GTL7","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"226CQ3M5GTL734QQ","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"226CQ3M5","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:07d3bc7b844256df4e0d702d67a0f9ce9f17fe6806ec5e61a33dc66cb380e0cb","target":"graph","created_at":"2026-05-18T00:02:21Z","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":"Optimization techniques play a significant role in improving description logic reasoners covering the Web Ontology Language (OWL). These techniques are essential to speed up these reasoners. Many of the optimization techniques are based on heuristic choices. Optimal heuristic selection makes these techniques more effective. The FaCT++ OWL reasoner and its Java version JFact implement an optimization technique called ToDo list which is a substitute for a traditional top-down approach in tableau-based reasoners. The ToDo list mechanism allows one to arrange the order of applying different rules ","authors_text":"Hamidreza Chinaei, Razieh Mehri, Volker Haarslev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-15T19:06:14Z","title":"Optimizing Heuristics for Tableau-based OWL Reasoners"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.06617","kind":"arxiv","version":2},"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:6a3852e22217ccaed8a20e5f795491f77c23a8691e59496fdd2bef211b436335","target":"record","created_at":"2026-05-18T00:02:21Z","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":"2edc15b582200188fa347c870d44e2dd8f2bc46d96efca142c46de28030e6e13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-15T19:06:14Z","title_canon_sha256":"22d0d9e5cc86b02a68e72234b13b4e15d2fa87619197f1fee195d1e446e33e31"},"schema_version":"1.0","source":{"id":"1810.06617","kind":"arxiv","version":2}},"canonical_sha256":"d6bc286d9d34d7fdf210dacffc4f59bdd5385b2756e4b5dc57ebb17e930c1faa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d6bc286d9d34d7fdf210dacffc4f59bdd5385b2756e4b5dc57ebb17e930c1faa","first_computed_at":"2026-05-18T00:02:21.940859Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:21.940859Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"St7LZwiEBbr+UIr/jdQrqRmN1D0J4iMuOi3MPJ8K8jgTnFH5MkRiu+kWFe+74BCEX7ndcv2F2y2NzPSCs7z5Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:21.941493Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.06617","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6a3852e22217ccaed8a20e5f795491f77c23a8691e59496fdd2bef211b436335","sha256:07d3bc7b844256df4e0d702d67a0f9ce9f17fe6806ec5e61a33dc66cb380e0cb"],"state_sha256":"ad3383aca02762dcb9e5ec0f7db183161e22d07d65aebcb8e63966e427583a7b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AKatvBIpkRY1ATf0hHUiNk+fB5Ldis888GNJfy6P/qlUERmmh7cA55eQd5ScZZjwuaDFSU3qdtYoyXyxXztPAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T20:52:19.253232Z","bundle_sha256":"c3673f80479ea02cece4ee5316f9fc2fa555db1e03ba667495d09125b496ab3e"}}