Mickey, Donald, Goofy, etc. And their versions of Peter Pan, Aladdin, Little Mermaid etc, are their IPs that they created. Darth Vader was created by George Lucas and Iron Man was created by Stan Lee. Its not the same.
So, you'd be perfectly ok with a Big Hero 6 world then?