{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3XURBW5JWOZ7QHFGLV3JHFMWVC","short_pith_number":"pith:3XURBW5J","canonical_record":{"source":{"id":"1906.07749","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T18:16:17Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"3c6c3e5756229859399db5155e8526d3bd161126e39ee937e9cad81c98bc94eb","abstract_canon_sha256":"4372986b74c10efcd2876ce98f3d97bf3ce334c7d562fc0d40913fab278c644c"},"schema_version":"1.0"},"canonical_sha256":"dde910dba9b3b3f81ca65d76939596a89db1ff23d2b5cf04c1ef49ee94fbb932","source":{"kind":"arxiv","id":"1906.07749","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07749","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07749v1","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07749","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"pith_short_12","alias_value":"3XURBW5JWOZ7","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"3XURBW5JWOZ7QHFG","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"3XURBW5J","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3XURBW5JWOZ7QHFGLV3JHFMWVC","target":"record","payload":{"canonical_record":{"source":{"id":"1906.07749","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T18:16:17Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"3c6c3e5756229859399db5155e8526d3bd161126e39ee937e9cad81c98bc94eb","abstract_canon_sha256":"4372986b74c10efcd2876ce98f3d97bf3ce334c7d562fc0d40913fab278c644c"},"schema_version":"1.0"},"canonical_sha256":"dde910dba9b3b3f81ca65d76939596a89db1ff23d2b5cf04c1ef49ee94fbb932","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:57.857897Z","signature_b64":"aBRrum1rl7DiV0rAbdPkp+6/02KEFKPzIBnFOlCWy4SEA7ANJ8s7RMF4tSJ9CzzD2rw4gp2C8/lPsBzqtVG6Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dde910dba9b3b3f81ca65d76939596a89db1ff23d2b5cf04c1ef49ee94fbb932","last_reissued_at":"2026-05-17T23:42:57.857277Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:57.857277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.07749","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:42:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/4xrJsWAOK1gl5R0lDRxKfcaz0bAw+Vt3Bu86gzp+6NjEtDC1m2oZAQTNwIXIoODDWDN3/4dlWgdfie/B5OcBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T16:01:27.908297Z"},"content_sha256":"99e0cd1f5ff7d474fe468372450a2e7e6599ace3c54d72f11cd29195d98fd88a","schema_version":"1.0","event_id":"sha256:99e0cd1f5ff7d474fe468372450a2e7e6599ace3c54d72f11cd29195d98fd88a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3XURBW5JWOZ7QHFGLV3JHFMWVC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Framework for Parallelizing OWL Classification in Description Logic Reasoners","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.AI","authors_text":"Volker Haarslev, Zixi Quan","submitted_at":"2019-06-18T18:16:17Z","abstract_excerpt":"In this paper we report on a black-box approach to parallelize existing description logic (DL) reasoners for the Web Ontology Language (OWL). We focus on OWL ontology classification, which is an important inference service and supported by every major OWL/DL reasoner. We propose a flexible parallel framework which can be applied to existing OWL reasoners in order to speed up their classification process. In order to test its performance, we evaluated our framework by parallelizing major OWL reasoners for concept classification. In comparison to the selected black-box reasoner our results demon"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07749","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:42:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ySqxD9QGSwf6mlMClhfez1j1+nEfEC/HvhuF3TkxYdeCr866CPWJQelPztdKj1Y2tUWHil7rWYOR6XifyOifCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T16:01:27.908675Z"},"content_sha256":"4fca9c76267f847e6ce3cd78588f3514c5d8122b8b41fe9b1a3e0c5ede4cbc3f","schema_version":"1.0","event_id":"sha256:4fca9c76267f847e6ce3cd78588f3514c5d8122b8b41fe9b1a3e0c5ede4cbc3f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/bundle.json","state_url":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/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-23T16:01:27Z","links":{"resolver":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC","bundle":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/bundle.json","state":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3XURBW5JWOZ7QHFGLV3JHFMWVC","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":"4372986b74c10efcd2876ce98f3d97bf3ce334c7d562fc0d40913fab278c644c","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T18:16:17Z","title_canon_sha256":"3c6c3e5756229859399db5155e8526d3bd161126e39ee937e9cad81c98bc94eb"},"schema_version":"1.0","source":{"id":"1906.07749","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07749","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07749v1","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07749","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"pith_short_12","alias_value":"3XURBW5JWOZ7","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"3XURBW5JWOZ7QHFG","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"3XURBW5J","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:4fca9c76267f847e6ce3cd78588f3514c5d8122b8b41fe9b1a3e0c5ede4cbc3f","target":"graph","created_at":"2026-05-17T23:42:57Z","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":"In this paper we report on a black-box approach to parallelize existing description logic (DL) reasoners for the Web Ontology Language (OWL). We focus on OWL ontology classification, which is an important inference service and supported by every major OWL/DL reasoner. We propose a flexible parallel framework which can be applied to existing OWL reasoners in order to speed up their classification process. In order to test its performance, we evaluated our framework by parallelizing major OWL reasoners for concept classification. In comparison to the selected black-box reasoner our results demon","authors_text":"Volker Haarslev, Zixi Quan","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T18:16:17Z","title":"A Framework for Parallelizing OWL Classification in Description Logic Reasoners"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07749","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:99e0cd1f5ff7d474fe468372450a2e7e6599ace3c54d72f11cd29195d98fd88a","target":"record","created_at":"2026-05-17T23:42:57Z","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":"4372986b74c10efcd2876ce98f3d97bf3ce334c7d562fc0d40913fab278c644c","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T18:16:17Z","title_canon_sha256":"3c6c3e5756229859399db5155e8526d3bd161126e39ee937e9cad81c98bc94eb"},"schema_version":"1.0","source":{"id":"1906.07749","kind":"arxiv","version":1}},"canonical_sha256":"dde910dba9b3b3f81ca65d76939596a89db1ff23d2b5cf04c1ef49ee94fbb932","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dde910dba9b3b3f81ca65d76939596a89db1ff23d2b5cf04c1ef49ee94fbb932","first_computed_at":"2026-05-17T23:42:57.857277Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:57.857277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aBRrum1rl7DiV0rAbdPkp+6/02KEFKPzIBnFOlCWy4SEA7ANJ8s7RMF4tSJ9CzzD2rw4gp2C8/lPsBzqtVG6Ag==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:57.857897Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.07749","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99e0cd1f5ff7d474fe468372450a2e7e6599ace3c54d72f11cd29195d98fd88a","sha256:4fca9c76267f847e6ce3cd78588f3514c5d8122b8b41fe9b1a3e0c5ede4cbc3f"],"state_sha256":"473dad14b2dedd2178d8f6030deb5017e50fa5181a9d865592ca2932d3957aec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HBReq0rfZH/S2a+1gQrPUlS4SL2KI8ubJgfkRh4kOpy8bej1hdP/X40ECkwCJ5Ho13h5JEjom66YnpImhmQjDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T16:01:27.911087Z","bundle_sha256":"37fabe46d8adab599ccc85966fe54d67b8b90717a2a8b38fe9230c6f1db38bb2"}}