Jinghan Wu, Chang Lu, Renate Schmidt, Yizheng Zhao
Expand abstractCollapse
Domain experts often know *part* of a target description logic (DL) concept (a conjunction involving an existential restriction here, a structural pattern there), yet every existing concept learner ignores this knowledge and searches from scratch. We introduce *concept sketching* for the DL 𝒜ℒ𝒞: the expert supplies a partial formula with typed holes (unknown subconcepts, unary or binary constructors), and any suitable back-end learner completes it from labeled examples. This *sketch fitting* problem turns out to have a sharp complexity landscape governed by a single dividing line: the signature size |Σ|. The problem is NP-complete even for a single hole; with |Σ| as parameter it becomes fixed-parameter tractable; but without |Σ| it is W[2]-hard, except for Type-2-only sketches which remain tractable. This dichotomy parallels recent results in first-order and decision tree learning. On the statistical side, we prove that each hole type contributes independently to PAC sample complexity, with a matching lower bound, so that a sketch capturing even part of the target structure requires provably fewer examples than unrestricted bounded fitting. Experiments on five standard DL benchmarks with two fundamentally different back-ends (SAT-based fitting and evolutionary concept learning) confirm improved accuracy, sample efficiency, and solver speed, demonstrating that sketching benefits are learner-agnostic.