A Description Logic Based Approach for Matching User Profiles