{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:6HW3M4QYG2W36WFYEKPVCQU3L4","short_pith_number":"pith:6HW3M4QY","schema_version":"1.0","canonical_sha256":"f1edb6721836adbf58b8229f51429b5f1803b28fbfef2bf9b0a8faa6a6f19dde","source":{"kind":"arxiv","id":"2412.08739","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2412.08739","created_at":"2026-07-05T09:47:59.613966+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.08739v1","created_at":"2026-07-05T09:47:59.613966+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08739","created_at":"2026-07-05T09:47:59.613966+00:00"},{"alias_kind":"pith_short_12","alias_value":"6HW3M4QYG2W3","created_at":"2026-07-05T09:47:59.613966+00:00"},{"alias_kind":"pith_short_16","alias_value":"6HW3M4QYG2W36WFY","created_at":"2026-07-05T09:47:59.613966+00:00"},{"alias_kind":"pith_short_8","alias_value":"6HW3M4QY","created_at":"2026-07-05T09:47:59.613966+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2509.02581","citing_title":"Charting the Future of Scholarly Knowledge with AI: A Community Perspective","ref_index":58,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4","json":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4.json","graph_json":"https://pith.science/api/pith-number/6HW3M4QYG2W36WFYEKPVCQU3L4/graph.json","events_json":"https://pith.science/api/pith-number/6HW3M4QYG2W36WFYEKPVCQU3L4/events.json","paper":"https://pith.science/paper/6HW3M4QY"},"agent_actions":{"view_html":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4","download_json":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4.json","view_paper":"https://pith.science/paper/6HW3M4QY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.08739&json=true","fetch_graph":"https://pith.science/api/pith-number/6HW3M4QYG2W36WFYEKPVCQU3L4/graph.json","fetch_events":"https://pith.science/api/pith-number/6HW3M4QYG2W36WFYEKPVCQU3L4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/action/storage_attestation","attest_author":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/action/author_attestation","sign_citation":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/action/citation_signature","submit_replication":"https://pith.science/pith/6HW3M4QYG2W36WFYEKPVCQU3L4/action/replication_record"}},"created_at":"2026-07-05T09:47:59.613966+00:00","updated_at":"2026-07-05T09:47:59.613966+00:00"}