There was a time when mainstream cruise lines avoided using names that other mainstream cruise lines were already using. But then they started making the brand part of each ship's name.
So now there's a Disney Magic, Disney Dream, and Disney Fantasy. And there's a Carnival Magic, Carnival Dream, and Carnival Fantasy.
DCL can use any name that another line is using by making "Disney" part of the name.