{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:K7EQHDPNIZHYOEHCAIASWMLG3M","short_pith_number":"pith:K7EQHDPN","canonical_record":{"source":{"id":"1904.09443","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-20T12:58:56Z","cross_cats_sorted":[],"title_canon_sha256":"269853c60f52d7d48f9af453fe90178c9ff7efb889e54f532508ec22b9da70a5","abstract_canon_sha256":"c8c7f301965f84b7453399a8e4a19f7ca5f09a84d4fe3b9b9ef7dd095f299c44"},"schema_version":"1.0"},"canonical_sha256":"57c9038ded464f8710e202012b3166db3793f58c49ae3dccfa30b62737a2bc97","source":{"kind":"arxiv","id":"1904.09443","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.09443","created_at":"2026-05-17T23:48:04Z"},{"alias_kind":"arxiv_version","alias_value":"1904.09443v1","created_at":"2026-05-17T23:48:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.09443","created_at":"2026-05-17T23:48:04Z"},{"alias_kind":"pith_short_12","alias_value":"K7EQHDPNIZHY","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"K7EQHDPNIZHYOEHC","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"K7EQHDPN","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:K7EQHDPNIZHYOEHCAIASWMLG3M","target":"record","payload":{"canonical_record":{"source":{"id":"1904.09443","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-20T12:58:56Z","cross_cats_sorted":[],"title_canon_sha256":"269853c60f52d7d48f9af453fe90178c9ff7efb889e54f532508ec22b9da70a5","abstract_canon_sha256":"c8c7f301965f84b7453399a8e4a19f7ca5f09a84d4fe3b9b9ef7dd095f299c44"},"schema_version":"1.0"},"canonical_sha256":"57c9038ded464f8710e202012b3166db3793f58c49ae3dccfa30b62737a2bc97","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:04.169513Z","signature_b64":"/NjCC3C8Ff0+r1dSpxgNNfFFdFCiYi1A2t4T9HgdnDaAOr8LHsHsvNdgHZM+TysDXvriT8vHdqsK+zxrZ9f6CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"57c9038ded464f8710e202012b3166db3793f58c49ae3dccfa30b62737a2bc97","last_reissued_at":"2026-05-17T23:48:04.169062Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:04.169062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.09443","source_version":1,"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-17T23:48:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mK7Lr6+P1oXCkeJgB9KR2RAAjZyl/6KNAQLZvUgIOBTi5qhsAtH2dzZGrINXDmG1wv+VKqPb/zLj3ugpYinxCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:49:32.065943Z"},"content_sha256":"18f614d7d0f201b80c132a3369995d366ad587dd6d3c01d33643b925b3a89d52","schema_version":"1.0","event_id":"sha256:18f614d7d0f201b80c132a3369995d366ad587dd6d3c01d33643b925b3a89d52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:K7EQHDPNIZHYOEHCAIASWMLG3M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in 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":"2019-04-20T12:58:56Z","abstract_excerpt":"Web Ontology Language (OWL) reasoners are used to infer new logical relations from ontologies. While inferring new facts, these reasoners can be further optimized, e.g., by properly ordering disjuncts in disjunction expressions of ontologies for satisfiability testing of concepts. Different expansion-ordering heuristics have been developed for this purpose. The built-in heuristics in these reasoners determine the order for branches in search trees while each heuristic choice causes different effects for various ontologies depending on the ontologies' syntactic structure and probably other feat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.09443","kind":"arxiv","version":1},"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-17T23:48:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dTVEQP9OgzBwQdgyK40faj30Oz0scDBtsT2TadRU7p34TRcToNka0HWjDB6f7NUWuL7lBMc195h0uAIM3WaCBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:49:32.066469Z"},"content_sha256":"e1fabead972e07db16e6fc67553b70d9a492c2608c7b7869421153028a3dc8db","schema_version":"1.0","event_id":"sha256:e1fabead972e07db16e6fc67553b70d9a492c2608c7b7869421153028a3dc8db"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K7EQHDPNIZHYOEHCAIASWMLG3M/bundle.json","state_url":"https://pith.science/pith/K7EQHDPNIZHYOEHCAIASWMLG3M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K7EQHDPNIZHYOEHCAIASWMLG3M/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:49:32Z","links":{"resolver":"https://pith.science/pith/K7EQHDPNIZHYOEHCAIASWMLG3M","bundle":"https://pith.science/pith/K7EQHDPNIZHYOEHCAIASWMLG3M/bundle.json","state":"https://pith.science/pith/K7EQHDPNIZHYOEHCAIASWMLG3M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K7EQHDPNIZHYOEHCAIASWMLG3M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:K7EQHDPNIZHYOEHCAIASWMLG3M","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":"c8c7f301965f84b7453399a8e4a19f7ca5f09a84d4fe3b9b9ef7dd095f299c44","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-20T12:58:56Z","title_canon_sha256":"269853c60f52d7d48f9af453fe90178c9ff7efb889e54f532508ec22b9da70a5"},"schema_version":"1.0","source":{"id":"1904.09443","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.09443","created_at":"2026-05-17T23:48:04Z"},{"alias_kind":"arxiv_version","alias_value":"1904.09443v1","created_at":"2026-05-17T23:48:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.09443","created_at":"2026-05-17T23:48:04Z"},{"alias_kind":"pith_short_12","alias_value":"K7EQHDPNIZHY","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"K7EQHDPNIZHYOEHC","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"K7EQHDPN","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:e1fabead972e07db16e6fc67553b70d9a492c2608c7b7869421153028a3dc8db","target":"graph","created_at":"2026-05-17T23:48:04Z","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":"Web Ontology Language (OWL) reasoners are used to infer new logical relations from ontologies. While inferring new facts, these reasoners can be further optimized, e.g., by properly ordering disjuncts in disjunction expressions of ontologies for satisfiability testing of concepts. Different expansion-ordering heuristics have been developed for this purpose. The built-in heuristics in these reasoners determine the order for branches in search trees while each heuristic choice causes different effects for various ontologies depending on the ontologies' syntactic structure and probably other feat","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":"2019-04-20T12:58:56Z","title":"Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.09443","kind":"arxiv","version":1},"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:18f614d7d0f201b80c132a3369995d366ad587dd6d3c01d33643b925b3a89d52","target":"record","created_at":"2026-05-17T23:48:04Z","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":"c8c7f301965f84b7453399a8e4a19f7ca5f09a84d4fe3b9b9ef7dd095f299c44","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-20T12:58:56Z","title_canon_sha256":"269853c60f52d7d48f9af453fe90178c9ff7efb889e54f532508ec22b9da70a5"},"schema_version":"1.0","source":{"id":"1904.09443","kind":"arxiv","version":1}},"canonical_sha256":"57c9038ded464f8710e202012b3166db3793f58c49ae3dccfa30b62737a2bc97","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"57c9038ded464f8710e202012b3166db3793f58c49ae3dccfa30b62737a2bc97","first_computed_at":"2026-05-17T23:48:04.169062Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:04.169062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/NjCC3C8Ff0+r1dSpxgNNfFFdFCiYi1A2t4T9HgdnDaAOr8LHsHsvNdgHZM+TysDXvriT8vHdqsK+zxrZ9f6CQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:04.169513Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.09443","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18f614d7d0f201b80c132a3369995d366ad587dd6d3c01d33643b925b3a89d52","sha256:e1fabead972e07db16e6fc67553b70d9a492c2608c7b7869421153028a3dc8db"],"state_sha256":"772719d9948d4b0f408c68b2cd8549910ee6ec8e8e83a46dab16bc282406c77a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n5St+MjROCKzvWlRXrS3oiVGVjdnOVImk26LxiI/kpHT/t3Xnn9U0fzBDOVTpWiCKtkVDUkRa+qXuRudyXhTBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T20:49:32.069767Z","bundle_sha256":"5b314364587d93ec588c4fb53d0fab08c035281ec154550af72a40f589a0d191"}}