{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:3XURBW5JWOZ7QHFGLV3JHFMWVC","short_pith_number":"pith:3XURBW5J","schema_version":"1.0","canonical_sha256":"dde910dba9b3b3f81ca65d76939596a89db1ff23d2b5cf04c1ef49ee94fbb932","source":{"kind":"arxiv","id":"1906.07749","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1906.07749","created_at":"2026-05-17T23:42:57.857411+00:00"},{"alias_kind":"arxiv_version","alias_value":"1906.07749v1","created_at":"2026-05-17T23:42:57.857411+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07749","created_at":"2026-05-17T23:42:57.857411+00:00"},{"alias_kind":"pith_short_12","alias_value":"3XURBW5JWOZ7","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"3XURBW5JWOZ7QHFG","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"3XURBW5J","created_at":"2026-05-18T12:33:10.108867+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC","json":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC.json","graph_json":"https://pith.science/api/pith-number/3XURBW5JWOZ7QHFGLV3JHFMWVC/graph.json","events_json":"https://pith.science/api/pith-number/3XURBW5JWOZ7QHFGLV3JHFMWVC/events.json","paper":"https://pith.science/paper/3XURBW5J"},"agent_actions":{"view_html":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC","download_json":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC.json","view_paper":"https://pith.science/paper/3XURBW5J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1906.07749&json=true","fetch_graph":"https://pith.science/api/pith-number/3XURBW5JWOZ7QHFGLV3JHFMWVC/graph.json","fetch_events":"https://pith.science/api/pith-number/3XURBW5JWOZ7QHFGLV3JHFMWVC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/action/storage_attestation","attest_author":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/action/author_attestation","sign_citation":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/action/citation_signature","submit_replication":"https://pith.science/pith/3XURBW5JWOZ7QHFGLV3JHFMWVC/action/replication_record"}},"created_at":"2026-05-17T23:42:57.857411+00:00","updated_at":"2026-05-17T23:42:57.857411+00:00"}