Semantic term matching in axiomatic approaches to information retrieval