{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","short_pith_number":"pith:7W2VTOMN","canonical_record":{"source":{"id":"2608.12961","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T08:44:48Z","cross_cats_sorted":[],"title_canon_sha256":"621867823ec7cc8e6771a829315e5d8efa102bf9381f7e74c11082dec768cea2","abstract_canon_sha256":"7b83793b8a798464362c5b04659c89d961f1038f3abdee252bf00507cbe1d7a7"},"schema_version":"1.0"},"canonical_sha256":"fdb559b98df0a9019d1b77520ac7b6f9b4028258ca5bcf4d4350ed9cc5555a4e","source":{"kind":"arxiv","id":"2608.12961","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.12961","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"arxiv_version","alias_value":"2608.12961v1","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.12961","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"pith_short_12","alias_value":"7W2VTOMN6CUQ","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"pith_short_16","alias_value":"7W2VTOMN6CUQDHI3","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"pith_short_8","alias_value":"7W2VTOMN","created_at":"2026-08-14T00:59:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","target":"record","payload":{"canonical_record":{"source":{"id":"2608.12961","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T08:44:48Z","cross_cats_sorted":[],"title_canon_sha256":"621867823ec7cc8e6771a829315e5d8efa102bf9381f7e74c11082dec768cea2","abstract_canon_sha256":"7b83793b8a798464362c5b04659c89d961f1038f3abdee252bf00507cbe1d7a7"},"schema_version":"1.0"},"canonical_sha256":"fdb559b98df0a9019d1b77520ac7b6f9b4028258ca5bcf4d4350ed9cc5555a4e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-14T00:59:45.091297Z","signature_b64":"PDXnHxmFOnkPuptMuUECwCiOJkUPybckbKHH7N+oeVEhU/sRAsS7oPSk524J2I5Lhd7igJvZ6DTXhWlLyLCvDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fdb559b98df0a9019d1b77520ac7b6f9b4028258ca5bcf4d4350ed9cc5555a4e","last_reissued_at":"2026-08-14T00:59:45.088907Z","signature_status":"signed_v1","first_computed_at":"2026-08-14T00:59:45.088907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.12961","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-08-14T00:59:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mvbo9dtl/55tx3pNMCzKi2Tf0bMxPWo1WKPF3n2lBFsWiPHnP2DEuNiuGQ4gG/+V3Dy83Y7hkLrgdNIdNNl1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:24:03.910619Z"},"content_sha256":"aee59fafec10b52bfa2b966098d45802217628020a80300fe4c0ab18275fa2ca","schema_version":"1.0","event_id":"sha256:aee59fafec10b52bfa2b966098d45802217628020a80300fe4c0ab18275fa2ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Moose: Latent concept learning with reasoning-shortcut awareness in $\\mathcal{EL}^{++}$","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Asaad Mohammedsaleh, Fernando Zhapa-Camacho, Olga Mashkova, Robert Hoehndorf","submitted_at":"2026-08-13T08:44:48Z","abstract_excerpt":"The OWL 2 EL profile is used in some of the largest production ontologies, including the Gene Ontology and SNOMED CT. Existing neuro-symbolic (NeSy) learning methods accept propositional theories or Datalog, and reasoning-shortcut (RS) awareness has not been investigated in ontology settings. We present Moose, a method that compiles an $\\mathcal{EL}^{++}$ TBox and finite ABox to a Sentential Decision Diagram (SDD). The SDD acts as a differentiable weighted-model-counting layer, and we add closure clauses outside the $\\mathcal{EL}^{++}$ profile on declared exhaustive families to overcome the li"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.12961","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/2608.12961/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-08-14T00:59:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y1ZSyZOR0/Qpsb23XzX7f2kHSdJH1UmT+Hs1ht8ol6BkTS4jj9RPAPsohpR8MrOwyLA9vjVg5lNLxcAL+hs8Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:24:03.911105Z"},"content_sha256":"9f38241bb61462fbc7a541437527fca284905cb697f8a9e2cf9555d82c4d478a","schema_version":"1.0","event_id":"sha256:9f38241bb61462fbc7a541437527fca284905cb697f8a9e2cf9555d82c4d478a"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.24963/ijcai.2020/243) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Yang, Z., Ishay, A., Lee, J.: NeurASP: Embracing neural networks into answer set programming. In: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI) (2020). https://doi.org/10.24963/ijcai.2020/ 243","arxiv_id":"2608.12961","detector":"doi_compliance","evidence":{"ref_index":52,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.24963/ijcai.2020/","reconstructed_doi":"10.24963/ijcai.2020/243"},"severity":"advisory","ref_index":52,"audited_at":"2026-08-15T19:58:09.894936Z","event_type":"pith.integrity.v1","detected_doi":"10.24963/ijcai.2020/243","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"ec283e78271531697e24b0e368625d42d4eee0a938754dfbf50414cb0786e54d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":20027,"payload_sha256":"b0a44c1f6da6beec4ec784d8fd4dcfd891c8a8f99afcee18916500f6c35fb984","signature_b64":"Ud+A91/PTaaMPhRxjVlk/GWeINEYKhPGU8kpW/NOrsqKUv8m+KjXthUbvE+yAmurDzNr3J+5mpSh+j5sYEJDAw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-15T19:58:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QJDmBseptCI27rUvO3HOcmZc0iflQjsxJjo8guOewUfytoG/X+z3vaPH6oY7hEyF2D0FFDl4xd4S9+6v5HRPAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:24:03.915443Z"},"content_sha256":"895dfdcd830499a7ae42112a2cf946feded0c56a2c059d8204f17173caeb1678","schema_version":"1.0","event_id":"sha256:895dfdcd830499a7ae42112a2cf946feded0c56a2c059d8204f17173caeb1678"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1093/bioinformatics/btac256 resolves to 'DeepGOZero: improving protein function prediction from sequence and zero-shot learning based on ontology axioms'. A reader following the printed text alone cannot reach it.","snippet":"Kulmanov, M., Hoehndorf, R.: DeepGOZero: improving protein function prediction from sequence and zero-shot learning based on ontology axioms. Bioinformatics 38(Supplement 1), i238–i245 (2022). https://doi.org/10.1093/bioinformatics/ btac256","arxiv_id":"2608.12961","detector":"doi_compliance","evidence":{"ref_index":35,"verdict_class":"incontrovertible","resolved_title":"DeepGOZero: improving protein function prediction from sequence and zero-shot learning based on ontology axioms","printed_excerpt":"10.1093/bioinformatics/","reconstructed_doi":"10.1093/bioinformatics/btac256"},"severity":"advisory","ref_index":35,"audited_at":"2026-08-15T19:58:09.894936Z","event_type":"pith.integrity.v1","detected_doi":"10.1093/bioinformatics/btac256","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"2625b3db2e7608fd76ebbd1172d01fad8712b6ac722c5bf4d4dd9d500de70e94","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"DeepGOZero: improving protein function prediction from sequence and zero-shot learning based on ontology axioms","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":20026,"payload_sha256":"4c160709d56d8323a815317d37a32353cbed95ec2649c0344468ffe17fd32513","signature_b64":"VTk+NjyhC9JpVatYXenKhxAwqBiSbATb+yE47JyGMOBZfqQI64PnS4ETwtmGgI6/KnvC3IsWvTDJ7QfDsqGsAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-15T19:58:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PwT4dBHxxcIIVR5k7MAqQPzRvoxdyMpX6DS1JLz3IL23IDky4pLGzD14X1Cgal4NnJkoLsfsxQiEdQ1+wdtTBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:24:03.915856Z"},"content_sha256":"384bed8eb374c5ca2674a39320129affde8039eff5a05476bab9a15d20197dd5","schema_version":"1.0","event_id":"sha256:384bed8eb374c5ca2674a39320129affde8039eff5a05476bab9a15d20197dd5"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1093/database/baab069 resolves to 'OBO Foundry in 2021: operationalizing open data principles to evaluate ontologies'. A reader following the printed text alone cannot reach it.","snippet":"Jackson, R.C., Matentzoglu, N., Overton, J.A., Vita, R., Balhoff, J.P., Buttigieg, P.L., Carbon, S., Courtot, M., Diehl, A.D., Dooley, D.M., Duncan, W.D., Harris, N.L., Haendel, M.A., Lewis, S.E., Natale, D.A., Osumi-Sutherland, D., Ruttenb","arxiv_id":"2608.12961","detector":"doi_compliance","evidence":{"ref_index":25,"verdict_class":"incontrovertible","resolved_title":"OBO Foundry in 2021: operationalizing open data principles to evaluate ontologies","printed_excerpt":"10.1093/d","reconstructed_doi":"10.1093/database/baab069"},"severity":"advisory","ref_index":25,"audited_at":"2026-08-15T19:58:09.894936Z","event_type":"pith.integrity.v1","detected_doi":"10.1093/database/baab069","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"644f9ce49099b8a7d5a4a26f73b3bdc4c415049f208a68cbc0e9b248aa6ff4a4","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"OBO Foundry in 2021: operationalizing open data principles to evaluate ontologies","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":20025,"payload_sha256":"db40b82fcb91d128392906cf4c77707ab48b3d676785248264249e368ee0ffdb","signature_b64":"It7QHbemGXlyRbA1s9ge6YIP4U0j2vUNIMGnGpjfiHdK9t3w/NQvCmN58qG8UCjSVReQO6li1vQKmwLhGWVaBA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-15T19:58:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XVEMN8muPEsanjEi7AUhQ3UCHxIaL80fmDzxtOoU7I98+NZr05FDXyqeLMKgOmjmr8sZ8eNy4ez+e7htvZrVBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:24:03.916222Z"},"content_sha256":"4e11677876aec0c63884a8878db9c868f99d26f845847ccae093d6d5141569f0","schema_version":"1.0","event_id":"sha256:4e11677876aec0c63884a8878db9c868f99d26f845847ccae093d6d5141569f0"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5591/978-1-57735-516-8/IJCAI11-143) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Darwiche, A.: SDD: A new canonical representation of propositional knowledge bases. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI). pp. 819–826 (2011). https://doi.org/10.5591/978-1-57735-516-8","arxiv_id":"2608.12961","detector":"doi_compliance","evidence":{"ref_index":20,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.5591/978-1-57735-516-8/","reconstructed_doi":"10.5591/978-1-57735-516-8/IJCAI11-143"},"severity":"advisory","ref_index":20,"audited_at":"2026-08-15T19:58:09.894936Z","event_type":"pith.integrity.v1","detected_doi":"10.5591/978-1-57735-516-8/IJCAI11-143","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"377aa4121ddabea45edaa18e9356213838f7f1752fe7876e6ba07619a4f59e4d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":20024,"payload_sha256":"f12ea542a2de33180447483b7c641f1efeb8d2190626131ec7fa96228a36864d","signature_b64":"sBFz8It3C71q7WMVGPupMIklKbklQr5tyC8/jy2KOyOTikJM3lRTLOx/rZ9ssP/bmwba0NUIOyGx7uYeuiN/Ag==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-15T19:58:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tuGgwaCouiSvWsDloDWq4HUL/3iG/I8RmVdq5KJplHXIJ6XPWOVJunWAJcVUSncyK7e8CRI2uabjxlhqM96oBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:24:03.916586Z"},"content_sha256":"1968f7d30fe04f4399b1b31016f6b187749a0f8365d03e8bfdf43487c302c960","schema_version":"1.0","event_id":"sha256:1968f7d30fe04f4399b1b31016f6b187749a0f8365d03e8bfdf43487c302c960"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7W2VTOMN6CUQDHI3O5JAVR5W7G/bundle.json","state_url":"https://pith.science/pith/7W2VTOMN6CUQDHI3O5JAVR5W7G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7W2VTOMN6CUQDHI3O5JAVR5W7G/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-16T05:24:03Z","links":{"resolver":"https://pith.science/pith/7W2VTOMN6CUQDHI3O5JAVR5W7G","bundle":"https://pith.science/pith/7W2VTOMN6CUQDHI3O5JAVR5W7G/bundle.json","state":"https://pith.science/pith/7W2VTOMN6CUQDHI3O5JAVR5W7G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7W2VTOMN6CUQDHI3O5JAVR5W7G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7W2VTOMN6CUQDHI3O5JAVR5W7G","merge_version":"pith-open-graph-merge-v1","event_count":6,"valid_event_count":6,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7b83793b8a798464362c5b04659c89d961f1038f3abdee252bf00507cbe1d7a7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T08:44:48Z","title_canon_sha256":"621867823ec7cc8e6771a829315e5d8efa102bf9381f7e74c11082dec768cea2"},"schema_version":"1.0","source":{"id":"2608.12961","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.12961","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"arxiv_version","alias_value":"2608.12961v1","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.12961","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"pith_short_12","alias_value":"7W2VTOMN6CUQ","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"pith_short_16","alias_value":"7W2VTOMN6CUQDHI3","created_at":"2026-08-14T00:59:45Z"},{"alias_kind":"pith_short_8","alias_value":"7W2VTOMN","created_at":"2026-08-14T00:59:45Z"}],"graph_snapshots":[{"event_id":"sha256:9f38241bb61462fbc7a541437527fca284905cb697f8a9e2cf9555d82c4d478a","target":"graph","created_at":"2026-08-14T00:59:45Z","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/2608.12961/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The OWL 2 EL profile is used in some of the largest production ontologies, including the Gene Ontology and SNOMED CT. Existing neuro-symbolic (NeSy) learning methods accept propositional theories or Datalog, and reasoning-shortcut (RS) awareness has not been investigated in ontology settings. We present Moose, a method that compiles an $\\mathcal{EL}^{++}$ TBox and finite ABox to a Sentential Decision Diagram (SDD). The SDD acts as a differentiable weighted-model-counting layer, and we add closure clauses outside the $\\mathcal{EL}^{++}$ profile on declared exhaustive families to overcome the li","authors_text":"Asaad Mohammedsaleh, Fernando Zhapa-Camacho, Olga Mashkova, Robert Hoehndorf","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T08:44:48Z","title":"Moose: Latent concept learning with reasoning-shortcut awareness in $\\mathcal{EL}^{++}$"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.12961","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:aee59fafec10b52bfa2b966098d45802217628020a80300fe4c0ab18275fa2ca","target":"record","created_at":"2026-08-14T00:59:45Z","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":"7b83793b8a798464362c5b04659c89d961f1038f3abdee252bf00507cbe1d7a7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T08:44:48Z","title_canon_sha256":"621867823ec7cc8e6771a829315e5d8efa102bf9381f7e74c11082dec768cea2"},"schema_version":"1.0","source":{"id":"2608.12961","kind":"arxiv","version":1}},"canonical_sha256":"fdb559b98df0a9019d1b77520ac7b6f9b4028258ca5bcf4d4350ed9cc5555a4e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fdb559b98df0a9019d1b77520ac7b6f9b4028258ca5bcf4d4350ed9cc5555a4e","first_computed_at":"2026-08-14T00:59:45.088907Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-14T00:59:45.088907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PDXnHxmFOnkPuptMuUECwCiOJkUPybckbKHH7N+oeVEhU/sRAsS7oPSk524J2I5Lhd7igJvZ6DTXhWlLyLCvDw==","signature_status":"signed_v1","signed_at":"2026-08-14T00:59:45.091297Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.12961","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:1968f7d30fe04f4399b1b31016f6b187749a0f8365d03e8bfdf43487c302c960","sha256:384bed8eb374c5ca2674a39320129affde8039eff5a05476bab9a15d20197dd5","sha256:4e11677876aec0c63884a8878db9c868f99d26f845847ccae093d6d5141569f0","sha256:895dfdcd830499a7ae42112a2cf946feded0c56a2c059d8204f17173caeb1678"]}],"invalid_events":[],"applied_event_ids":["sha256:aee59fafec10b52bfa2b966098d45802217628020a80300fe4c0ab18275fa2ca","sha256:9f38241bb61462fbc7a541437527fca284905cb697f8a9e2cf9555d82c4d478a"],"state_sha256":"410ad132aded7eb2a0f59295f79d624a226bceb983680737638e64608a67b5d4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GzOns8mIvCGdr38vZxScfBwqDMZpHkPL6H7Zht1ZZWrpKyZ8FjRg8JNnXAzlCGbFU3LWGW7Si6JB+Hhi+fX5CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T05:24:03.919707Z","bundle_sha256":"25d62766a5c4ccf284f4ce486e20734cd86bea9a42f9baea51f2ccffe55c7c98"}}