Applications of feasible inference for expressive logics by