{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:F3D7IOVXFIAD4QK6K4DQ4TUJHI","short_pith_number":"pith:F3D7IOVX","canonical_record":{"source":{"id":"2508.05350","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-07T12:56:15Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"912b370de2e4f781e0e33dfcfdd650277eae1ad025f8f404bd60ec721bfb6d73","abstract_canon_sha256":"ed9119a97567b580f3d3a37b1a2aff543785f4177a206c153db0a466e2498d27"},"schema_version":"1.0"},"canonical_sha256":"2ec7f43ab72a003e415e57070e4e893a02a4239ca58e64d5348c99c212f44716","source":{"kind":"arxiv","id":"2508.05350","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.05350","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"arxiv_version","alias_value":"2508.05350v1","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.05350","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"pith_short_12","alias_value":"F3D7IOVXFIAD","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"pith_short_16","alias_value":"F3D7IOVXFIAD4QK6","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"pith_short_8","alias_value":"F3D7IOVX","created_at":"2026-07-05T11:50:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:F3D7IOVXFIAD4QK6K4DQ4TUJHI","target":"record","payload":{"canonical_record":{"source":{"id":"2508.05350","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-07T12:56:15Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"912b370de2e4f781e0e33dfcfdd650277eae1ad025f8f404bd60ec721bfb6d73","abstract_canon_sha256":"ed9119a97567b580f3d3a37b1a2aff543785f4177a206c153db0a466e2498d27"},"schema_version":"1.0"},"canonical_sha256":"2ec7f43ab72a003e415e57070e4e893a02a4239ca58e64d5348c99c212f44716","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:50:11.154159Z","signature_b64":"yQNL2oZ2lq5bBApMYFkkIOKaG6u0KKkVyO08PODKaPKAEvFIBxIUNWGZAfq8g1j3kqjW6NrMOMQX2xxX1UF7Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ec7f43ab72a003e415e57070e4e893a02a4239ca58e64d5348c99c212f44716","last_reissued_at":"2026-07-05T11:50:11.153716Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:50:11.153716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.05350","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-05T11:50:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"srj588AKxIoKUHbibQShsCdIwL9Qt5uxpnJSQpw/7gIaMUZpbQYYGeGutczXwY2o6F9iDNVUocS6+DSGWf/LDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T01:27:41.457482Z"},"content_sha256":"e22bfe98a851c9e72eef9556df987305ed4248a467712c547b0a20ec73c58aa3","schema_version":"1.0","event_id":"sha256:e22bfe98a851c9e72eef9556df987305ed4248a467712c547b0a20ec73c58aa3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:F3D7IOVXFIAD4QK6K4DQ4TUJHI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Minimal Model Reasoning in Description Logics: Don't Try This at Home!","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.AI","authors_text":"Federica Di Stefano, Magdalena Ortiz, Mantas \\v{S}imkus, Quentin Mani\\`ere","submitted_at":"2025-08-07T12:56:15Z","abstract_excerpt":"Reasoning with minimal models has always been at the core of many knowledge representation techniques, but we still have only a limited understanding of this problem in Description Logics (DLs). Minimization of some selected predicates, letting the remaining predicates vary or be fixed, as proposed in circumscription, has been explored and exhibits high complexity. The case of `pure' minimal models, where the extension of all predicates must be minimal, has remained largely uncharted. We address this problem in popular DLs and obtain surprisingly negative results: concept satisfiability in min"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.05350","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/2508.05350/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-05T11:50:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ycYm+sCZxLQscpwHw1awR2swVl75Qnc4PLhxCEkahz3ALxFc4uEoM8U8TWZ9aE1nAryMJ6243cxLipgzo8SjDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T01:27:41.457901Z"},"content_sha256":"a6a5346ddd095749ec85f8933ffed4ebea675eb40fb6ccdd41eb87c5f3b8dbd6","schema_version":"1.0","event_id":"sha256:a6a5346ddd095749ec85f8933ffed4ebea675eb40fb6ccdd41eb87c5f3b8dbd6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F3D7IOVXFIAD4QK6K4DQ4TUJHI/bundle.json","state_url":"https://pith.science/pith/F3D7IOVXFIAD4QK6K4DQ4TUJHI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F3D7IOVXFIAD4QK6K4DQ4TUJHI/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-20T01:27:41Z","links":{"resolver":"https://pith.science/pith/F3D7IOVXFIAD4QK6K4DQ4TUJHI","bundle":"https://pith.science/pith/F3D7IOVXFIAD4QK6K4DQ4TUJHI/bundle.json","state":"https://pith.science/pith/F3D7IOVXFIAD4QK6K4DQ4TUJHI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F3D7IOVXFIAD4QK6K4DQ4TUJHI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:F3D7IOVXFIAD4QK6K4DQ4TUJHI","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":"ed9119a97567b580f3d3a37b1a2aff543785f4177a206c153db0a466e2498d27","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-07T12:56:15Z","title_canon_sha256":"912b370de2e4f781e0e33dfcfdd650277eae1ad025f8f404bd60ec721bfb6d73"},"schema_version":"1.0","source":{"id":"2508.05350","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.05350","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"arxiv_version","alias_value":"2508.05350v1","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.05350","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"pith_short_12","alias_value":"F3D7IOVXFIAD","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"pith_short_16","alias_value":"F3D7IOVXFIAD4QK6","created_at":"2026-07-05T11:50:11Z"},{"alias_kind":"pith_short_8","alias_value":"F3D7IOVX","created_at":"2026-07-05T11:50:11Z"}],"graph_snapshots":[{"event_id":"sha256:a6a5346ddd095749ec85f8933ffed4ebea675eb40fb6ccdd41eb87c5f3b8dbd6","target":"graph","created_at":"2026-07-05T11:50:11Z","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/2508.05350/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reasoning with minimal models has always been at the core of many knowledge representation techniques, but we still have only a limited understanding of this problem in Description Logics (DLs). Minimization of some selected predicates, letting the remaining predicates vary or be fixed, as proposed in circumscription, has been explored and exhibits high complexity. The case of `pure' minimal models, where the extension of all predicates must be minimal, has remained largely uncharted. We address this problem in popular DLs and obtain surprisingly negative results: concept satisfiability in min","authors_text":"Federica Di Stefano, Magdalena Ortiz, Mantas \\v{S}imkus, Quentin Mani\\`ere","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-07T12:56:15Z","title":"Minimal Model Reasoning in Description Logics: Don't Try This at Home!"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.05350","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:e22bfe98a851c9e72eef9556df987305ed4248a467712c547b0a20ec73c58aa3","target":"record","created_at":"2026-07-05T11:50:11Z","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":"ed9119a97567b580f3d3a37b1a2aff543785f4177a206c153db0a466e2498d27","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-07T12:56:15Z","title_canon_sha256":"912b370de2e4f781e0e33dfcfdd650277eae1ad025f8f404bd60ec721bfb6d73"},"schema_version":"1.0","source":{"id":"2508.05350","kind":"arxiv","version":1}},"canonical_sha256":"2ec7f43ab72a003e415e57070e4e893a02a4239ca58e64d5348c99c212f44716","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ec7f43ab72a003e415e57070e4e893a02a4239ca58e64d5348c99c212f44716","first_computed_at":"2026-07-05T11:50:11.153716Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:50:11.153716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yQNL2oZ2lq5bBApMYFkkIOKaG6u0KKkVyO08PODKaPKAEvFIBxIUNWGZAfq8g1j3kqjW6NrMOMQX2xxX1UF7Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:50:11.154159Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.05350","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e22bfe98a851c9e72eef9556df987305ed4248a467712c547b0a20ec73c58aa3","sha256:a6a5346ddd095749ec85f8933ffed4ebea675eb40fb6ccdd41eb87c5f3b8dbd6"],"state_sha256":"f3f68e05acb1369af96b56a7fbf75f54d16c7b49470e071e06546510df228daf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CVZdYUDcrDGrg5m3Po25G2vmXO89yGUb6tVeuADe6ShpQ2vcqyWB2JVP4GexKMIsiccZQDUWfkqYfadBzVVXDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T01:27:41.460305Z","bundle_sha256":"fdaf6c8622c149f187210ee56e22b43ff32664f33242138aa357640943651518"}}