{"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"}