Context-informed Knowledge Extraction from Document Collections to Support User Navigation