Language Splitting and Relevance-Based Belief Change in Horn Logic