Semantic refinement and error correction in large terminological knowledge bases - Geller, J; Gu, H; Perl, Y; Halper, M (Data & Knowledge Engineering, 2003)