{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:EKMOVLRYZ5D5KXDAYLNZSVYV4P","short_pith_number":"pith:EKMOVLRY","schema_version":"1.0","canonical_sha256":"2298eaae38cf47d55c60c2db995715e3cf9c7558d4d700d5b645a9623a218012","source":{"kind":"arxiv","id":"2507.21752","version":1},"attestation_state":"computed","paper":{"title":"SAT-Based Bounded Fitting for the Description Logic ALC","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jean Christoph Jung, Maurice Funk, Tom Voellmer","submitted_at":"2025-07-29T12:32:16Z","abstract_excerpt":"Bounded fitting is a general paradigm for learning logical formulas from positive and negative data examples, that has received considerable interest recently. We investigate bounded fitting for the description logic ALC and its syntactic fragments. We show that the underlying size-restricted fitting problem is NP-complete for all studied fragments, even in the special case of a single positive and a single negative example. By design, bounded fitting comes with probabilistic guarantees in Valiant's PAC learning framework. In contrast, we show that other classes of algorithms for learning ALC "},"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":"2507.21752","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-29T12:32:16Z","cross_cats_sorted":[],"title_canon_sha256":"d2ec8c7d747f5a70bdadab903ce81bc2627aa327aa71e60e487aa4867ec24bdf","abstract_canon_sha256":"7884ce8018572a1526a8a008d0decbb0ecfed34a9d88b9cfc1a659e209030cf9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:45:06.380258Z","signature_b64":"ntN5ypogGbyj1mNsJfbkGi/Bm3KBvFuL2u1lzKBnh1F3in6MEquQM+OGuWWUDqoOtBwcguI9ix7sGZb5nsmrDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2298eaae38cf47d55c60c2db995715e3cf9c7558d4d700d5b645a9623a218012","last_reissued_at":"2026-07-05T11:45:06.379629Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:45:06.379629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SAT-Based Bounded Fitting for the Description Logic ALC","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jean Christoph Jung, Maurice Funk, Tom Voellmer","submitted_at":"2025-07-29T12:32:16Z","abstract_excerpt":"Bounded fitting is a general paradigm for learning logical formulas from positive and negative data examples, that has received considerable interest recently. We investigate bounded fitting for the description logic ALC and its syntactic fragments. We show that the underlying size-restricted fitting problem is NP-complete for all studied fragments, even in the special case of a single positive and a single negative example. By design, bounded fitting comes with probabilistic guarantees in Valiant's PAC learning framework. In contrast, we show that other classes of algorithms for learning ALC "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.21752","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/2507.21752/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":"2507.21752","created_at":"2026-07-05T11:45:06.379707+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.21752v1","created_at":"2026-07-05T11:45:06.379707+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.21752","created_at":"2026-07-05T11:45:06.379707+00:00"},{"alias_kind":"pith_short_12","alias_value":"EKMOVLRYZ5D5","created_at":"2026-07-05T11:45:06.379707+00:00"},{"alias_kind":"pith_short_16","alias_value":"EKMOVLRYZ5D5KXDA","created_at":"2026-07-05T11:45:06.379707+00:00"},{"alias_kind":"pith_short_8","alias_value":"EKMOVLRY","created_at":"2026-07-05T11:45:06.379707+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P","json":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P.json","graph_json":"https://pith.science/api/pith-number/EKMOVLRYZ5D5KXDAYLNZSVYV4P/graph.json","events_json":"https://pith.science/api/pith-number/EKMOVLRYZ5D5KXDAYLNZSVYV4P/events.json","paper":"https://pith.science/paper/EKMOVLRY"},"agent_actions":{"view_html":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P","download_json":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P.json","view_paper":"https://pith.science/paper/EKMOVLRY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.21752&json=true","fetch_graph":"https://pith.science/api/pith-number/EKMOVLRYZ5D5KXDAYLNZSVYV4P/graph.json","fetch_events":"https://pith.science/api/pith-number/EKMOVLRYZ5D5KXDAYLNZSVYV4P/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P/action/storage_attestation","attest_author":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P/action/author_attestation","sign_citation":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P/action/citation_signature","submit_replication":"https://pith.science/pith/EKMOVLRYZ5D5KXDAYLNZSVYV4P/action/replication_record"}},"created_at":"2026-07-05T11:45:06.379707+00:00","updated_at":"2026-07-05T11:45:06.379707+00:00"}