Extending Horn Clause Theories by Reflection Principles