{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:LULR7HGAKXHKUGDXYEKLFNYDJL","short_pith_number":"pith:LULR7HGA","canonical_record":{"source":{"id":"2509.10249","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-12T13:46:43Z","cross_cats_sorted":[],"title_canon_sha256":"5ae77f4adc879f23bda89b57252a8daa23e5e745c21db6e18e98995e6881a8ca","abstract_canon_sha256":"5aa2eede321d2ab314e5338602aa9538505696e8bd5802c690cbaa98af34cbd4"},"schema_version":"1.0"},"canonical_sha256":"5d171f9cc055ceaa1877c114b2b7034acfd4277833fabbf535b8b9890e840c2d","source":{"kind":"arxiv","id":"2509.10249","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.10249","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"arxiv_version","alias_value":"2509.10249v1","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.10249","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"pith_short_12","alias_value":"LULR7HGAKXHK","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"pith_short_16","alias_value":"LULR7HGAKXHKUGDX","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"pith_short_8","alias_value":"LULR7HGA","created_at":"2026-07-05T12:11:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:LULR7HGAKXHKUGDXYEKLFNYDJL","target":"record","payload":{"canonical_record":{"source":{"id":"2509.10249","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-12T13:46:43Z","cross_cats_sorted":[],"title_canon_sha256":"5ae77f4adc879f23bda89b57252a8daa23e5e745c21db6e18e98995e6881a8ca","abstract_canon_sha256":"5aa2eede321d2ab314e5338602aa9538505696e8bd5802c690cbaa98af34cbd4"},"schema_version":"1.0"},"canonical_sha256":"5d171f9cc055ceaa1877c114b2b7034acfd4277833fabbf535b8b9890e840c2d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:11:05.647147Z","signature_b64":"IGS7Tw9AFI6bQIsy9vMsHI6WT70dyfhhMMLrZf1xcBfJIM3o0eel3gjfxJIRrjujDRoQOgL/TGzi6Ske+NInDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5d171f9cc055ceaa1877c114b2b7034acfd4277833fabbf535b8b9890e840c2d","last_reissued_at":"2026-07-05T12:11:05.646609Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:11:05.646609Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.10249","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-05T12:11:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aef2xhpl21p0c+KHSApVE9jSEpp11nL3uYi+qprvNaEPkkUP2wjwI/Mg4eWQLsc2lJwWLXWL15JlbNrwI02iCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T05:19:04.622572Z"},"content_sha256":"58d1ce9c53c93fd468917489c34835ad11baafa75d749c74bc174adb64d0f9ed","schema_version":"1.0","event_id":"sha256:58d1ce9c53c93fd468917489c34835ad11baafa75d749c74bc174adb64d0f9ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:LULR7HGAKXHKUGDXYEKLFNYDJL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Hanna Abi Akl","submitted_at":"2025-09-12T13:46:43Z","abstract_excerpt":"Recent advances in Language Models (LMs) have failed to mask their shortcomings particularly in the domain of reasoning. This limitation impacts several tasks, most notably those involving ontology engineering. As part of a PhD research, we investigate the consequences of incorporating formal methods on the performance of Small Language Models (SLMs) on reasoning tasks. Specifically, we aim to orient our work toward using SLMs to bootstrap ontology construction and set up a series of preliminary experiments to determine the impact of expressing logical problems with different grammars on the p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.10249","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/2509.10249/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-05T12:11:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UN5isZ5431n/yU0gpgWQcw/hXQlvackicXTs7jIedHYzoDUH9oCS+TxkwPTq9zxw3RiVwWowRyGIv+N/U+XOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T05:19:04.623761Z"},"content_sha256":"5ad9575c8f02b1aea53d6d2790babe9e8af2e49c377c987c3c1a8a76ddbdc295","schema_version":"1.0","event_id":"sha256:5ad9575c8f02b1aea53d6d2790babe9e8af2e49c377c987c3c1a8a76ddbdc295"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LULR7HGAKXHKUGDXYEKLFNYDJL/bundle.json","state_url":"https://pith.science/pith/LULR7HGAKXHKUGDXYEKLFNYDJL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LULR7HGAKXHKUGDXYEKLFNYDJL/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-18T05:19:04Z","links":{"resolver":"https://pith.science/pith/LULR7HGAKXHKUGDXYEKLFNYDJL","bundle":"https://pith.science/pith/LULR7HGAKXHKUGDXYEKLFNYDJL/bundle.json","state":"https://pith.science/pith/LULR7HGAKXHKUGDXYEKLFNYDJL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LULR7HGAKXHKUGDXYEKLFNYDJL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:LULR7HGAKXHKUGDXYEKLFNYDJL","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":"5aa2eede321d2ab314e5338602aa9538505696e8bd5802c690cbaa98af34cbd4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-12T13:46:43Z","title_canon_sha256":"5ae77f4adc879f23bda89b57252a8daa23e5e745c21db6e18e98995e6881a8ca"},"schema_version":"1.0","source":{"id":"2509.10249","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.10249","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"arxiv_version","alias_value":"2509.10249v1","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.10249","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"pith_short_12","alias_value":"LULR7HGAKXHK","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"pith_short_16","alias_value":"LULR7HGAKXHKUGDX","created_at":"2026-07-05T12:11:05Z"},{"alias_kind":"pith_short_8","alias_value":"LULR7HGA","created_at":"2026-07-05T12:11:05Z"}],"graph_snapshots":[{"event_id":"sha256:5ad9575c8f02b1aea53d6d2790babe9e8af2e49c377c987c3c1a8a76ddbdc295","target":"graph","created_at":"2026-07-05T12:11:05Z","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/2509.10249/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in Language Models (LMs) have failed to mask their shortcomings particularly in the domain of reasoning. This limitation impacts several tasks, most notably those involving ontology engineering. As part of a PhD research, we investigate the consequences of incorporating formal methods on the performance of Small Language Models (SLMs) on reasoning tasks. Specifically, we aim to orient our work toward using SLMs to bootstrap ontology construction and set up a series of preliminary experiments to determine the impact of expressing logical problems with different grammars on the p","authors_text":"Hanna Abi Akl","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-12T13:46:43Z","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.10249","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:58d1ce9c53c93fd468917489c34835ad11baafa75d749c74bc174adb64d0f9ed","target":"record","created_at":"2026-07-05T12:11:05Z","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":"5aa2eede321d2ab314e5338602aa9538505696e8bd5802c690cbaa98af34cbd4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-12T13:46:43Z","title_canon_sha256":"5ae77f4adc879f23bda89b57252a8daa23e5e745c21db6e18e98995e6881a8ca"},"schema_version":"1.0","source":{"id":"2509.10249","kind":"arxiv","version":1}},"canonical_sha256":"5d171f9cc055ceaa1877c114b2b7034acfd4277833fabbf535b8b9890e840c2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d171f9cc055ceaa1877c114b2b7034acfd4277833fabbf535b8b9890e840c2d","first_computed_at":"2026-07-05T12:11:05.646609Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:11:05.646609Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IGS7Tw9AFI6bQIsy9vMsHI6WT70dyfhhMMLrZf1xcBfJIM3o0eel3gjfxJIRrjujDRoQOgL/TGzi6Ske+NInDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:11:05.647147Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.10249","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58d1ce9c53c93fd468917489c34835ad11baafa75d749c74bc174adb64d0f9ed","sha256:5ad9575c8f02b1aea53d6d2790babe9e8af2e49c377c987c3c1a8a76ddbdc295"],"state_sha256":"d02b01f996795b4964ef3eb4012786ceb02d3924ae12bc499878ca0eb359e771"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GTBAsoxJEbhChoSXY0Jqtk7vVlmTWmeBw8/cDafNbwAdoPrMLVDJOOhDnFXXD+BaiKFkfRfV8GGb5fZAxWA3Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T05:19:04.629402Z","bundle_sha256":"1a0813cdf57017b4382b63b52ddbfc8191de4dda14307fc2228b0c34954f73aa"}}