DL-LINK: A Conceptual Clustering Algorithm for indexing Description Logics Knowledge Bases