Disjointness axioms between top-level ontology concepts as a heuristic for word similarity evaluation.