Learning disjunctive concepts using domain knowledge