Description logics for matchmaking of services