Learning Horn clauses has been studied extensively in the Inductive Logic Programming (ILP) literature (Quinlan, 1990;Muggleton, 1995).
learning Horn clauses from opendomain theories is particularly challenging for several reasons.