Semantic Matchmaking via Non-Monotonic Reasoning: The MaMaS-tng Matchmaking Engine