nowledge Compilation Horn Approximations