{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:6HW3M4QYG2W36WFYEKPVCQU3L4","short_pith_number":"pith:6HW3M4QY","canonical_record":{"source":{"id":"2412.08739","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-11T19:17:28Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"b7f77a108c87edb28a27ae0b4750fa3753f1e710836527a6707c1d114677bf17","abstract_canon_sha256":"4fef510c84c7c1d849dc34475c65637bf0f8dc786a1888fc6805e4255c1c7bfb"},"schema_version":"1.0"},"canonical_sha256":"f1edb6721836adbf58b8229f51429b5f1803b28fbfef2bf9b0a8faa6a6f19dde","source":{"kind":"arxiv","id":"2412.08739","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.08739","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"arxiv_version","alias_value":"2412.08739v1","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08739","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"pith_short_12","alias_value":"6HW3M4QYG2W3","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"pith_short_16","alias_value":"6HW3M4QYG2W36WFY","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"pith_short_8","alias_value":"6HW3M4QY","created_at":"2026-07-05T09:47:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:6HW3M4QYG2W36WFYEKPVCQU3L4","target":"record","payload":{"canonical_record":{"source":{"id":"2412.08739","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-11T19:17:28Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"b7f77a108c87edb28a27ae0b4750fa3753f1e710836527a6707c1d114677bf17","abstract_canon_sha256":"4fef510c84c7c1d849dc34475c65637bf0f8dc786a1888fc6805e4255c1c7bfb"},"schema_version":"1.0"},"canonical_sha256":"f1edb6721836adbf58b8229f51429b5f1803b28fbfef2bf9b0a8faa6a6f19dde","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:47:59.614390Z","signature_b64":"zcB8BucNoAW2F2UPwWQ8Gw5AtisLOZyS5e4tNj0286HP/na3sxvBKo7jW2zeEfBC4xvp9L0KnZGCSooJnbKUDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1edb6721836adbf58b8229f51429b5f1803b28fbfef2bf9b0a8faa6a6f19dde","last_reissued_at":"2026-07-05T09:47:59.613896Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:47:59.613896Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.08739","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-07-05T09:47:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t4Goij55qGxxq/lia7GvUHwKdY+yEv6seOagyDBYxfJR894zvTXvUoTvTNJ/sblmtf98rD/ODGJVE0Sy0HNSAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:43:56.210530Z"},"content_sha256":"bd302134245b3b872e3fbabe8e4d490c68bb2ae207be8671749d201b43535606","schema_version":"1.0","event_id":"sha256:bd302134245b3b872e3fbabe8e4d490c68bb2ae207be8671749d201b43535606"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:6HW3M4QYG2W36WFYEKPVCQU3L4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.LO","authors_text":"Atalay Mert Ileri, Hande McGinty, Jack Cannell, Nalen Rangarajan","submitted_at":"2024-12-11T19:17:28Z","abstract_excerpt":"Over the past two decades, the Web Ontology Language (OWL) has been instrumental in advancing the development of ontologies and knowledge graphs, providing a structured framework that enhances the semantic integration of data. However, the reliability of deductive reasoning within these systems remains challenging, as evidenced by inconsistencies among popular reasoners in recent competitions. This evidence underscores the limitations of current testing-based methodologies, particularly in high-stakes domains such as healthcare. To mitigate these issues, in this paper, we have developed VEL, a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.08739","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.08739/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:47:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U1FOLe6WXqJkuGalLQNxN0fMZGilCx+hBSMXBPBnLH1mg1Z3iMozNjw4vXCzlU/N2w1GPWJQlZA1b5+L0Sa7Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:43:56.211483Z"},"content_sha256":"86f31dbb16d621b3a3b2b732962e76b7154326ce98de90db7bdedb6819476156","schema_version":"1.0","event_id":"sha256:86f31dbb16d621b3a3b2b732962e76b7154326ce98de90db7bdedb6819476156"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/bundle.json","state_url":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/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-08-06T08:43:56Z","links":{"resolver":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4","bundle":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/bundle.json","state":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6HW3M4QYG2W36WFYEKPVCQU3L4","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":"4fef510c84c7c1d849dc34475c65637bf0f8dc786a1888fc6805e4255c1c7bfb","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-11T19:17:28Z","title_canon_sha256":"b7f77a108c87edb28a27ae0b4750fa3753f1e710836527a6707c1d114677bf17"},"schema_version":"1.0","source":{"id":"2412.08739","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.08739","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"arxiv_version","alias_value":"2412.08739v1","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08739","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"pith_short_12","alias_value":"6HW3M4QYG2W3","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"pith_short_16","alias_value":"6HW3M4QYG2W36WFY","created_at":"2026-07-05T09:47:59Z"},{"alias_kind":"pith_short_8","alias_value":"6HW3M4QY","created_at":"2026-07-05T09:47:59Z"}],"graph_snapshots":[{"event_id":"sha256:86f31dbb16d621b3a3b2b732962e76b7154326ce98de90db7bdedb6819476156","target":"graph","created_at":"2026-07-05T09:47:59Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.08739/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Over the past two decades, the Web Ontology Language (OWL) has been instrumental in advancing the development of ontologies and knowledge graphs, providing a structured framework that enhances the semantic integration of data. However, the reliability of deductive reasoning within these systems remains challenging, as evidenced by inconsistencies among popular reasoners in recent competitions. This evidence underscores the limitations of current testing-based methodologies, particularly in high-stakes domains such as healthcare. To mitigate these issues, in this paper, we have developed VEL, a","authors_text":"Atalay Mert Ileri, Hande McGinty, Jack Cannell, Nalen Rangarajan","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-11T19:17:28Z","title":"VEL: A Formally Verified Reasoner for OWL2 EL Profile"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.08739","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:bd302134245b3b872e3fbabe8e4d490c68bb2ae207be8671749d201b43535606","target":"record","created_at":"2026-07-05T09:47:59Z","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":"4fef510c84c7c1d849dc34475c65637bf0f8dc786a1888fc6805e4255c1c7bfb","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-11T19:17:28Z","title_canon_sha256":"b7f77a108c87edb28a27ae0b4750fa3753f1e710836527a6707c1d114677bf17"},"schema_version":"1.0","source":{"id":"2412.08739","kind":"arxiv","version":1}},"canonical_sha256":"f1edb6721836adbf58b8229f51429b5f1803b28fbfef2bf9b0a8faa6a6f19dde","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1edb6721836adbf58b8229f51429b5f1803b28fbfef2bf9b0a8faa6a6f19dde","first_computed_at":"2026-07-05T09:47:59.613896Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:47:59.613896Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zcB8BucNoAW2F2UPwWQ8Gw5AtisLOZyS5e4tNj0286HP/na3sxvBKo7jW2zeEfBC4xvp9L0KnZGCSooJnbKUDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:47:59.614390Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.08739","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd302134245b3b872e3fbabe8e4d490c68bb2ae207be8671749d201b43535606","sha256:86f31dbb16d621b3a3b2b732962e76b7154326ce98de90db7bdedb6819476156"],"state_sha256":"52bf96b696b2828ee2d34a74025a2c370a0ca948e7a12bcb446daf993357c883"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MbSHrseNb2Prmt65w51ElOMPdLXYZsUwskE83XtDQ8aUThRLuwBKNIwO74795a2sRJeCkMnj+C0LHrrGP1mYCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T08:43:56.219657Z","bundle_sha256":"7b2916befabc0c11edb435e1a5781d4e34aff2eafbde251948b10dc5bd92e817"}}