doi dblp Dipe-D: A Tool for Knowledge-Based Query Formulation in Information Retrieval Ruud W. van der Pol 2003 Volume 6 Issue 1