KR + IR: Hybrid Logic and Topic-Based Matching for Matchmaking in Human Organizations