Disjointness axioms between top-level ontology concepts as a heuristic for word similarity evaluation | IEEE Conference Publication | IEEE Xplore