Abduction and Contraction for Semantic-based Mobile Dating in P2P Environments