Yeah, but he also wrote Come Sail Away, so let's just pretend Mr. Roboto never happened, OK? Once Tommy Shaw joined the band, it was apparent he was a better song writer, though De Young did some good work on Paradise Theater.
As far as Mr. Roboto (one of the Billboard hits, BTW), the current iteration of Styx has put it back in its setlist for the past year or more. Dennis has a theatrical bent, for certain - but Kilroy was a concept album (with that dystopic stage show/video, it gets closer to rock opera) that missed the mark with its 1980s audience. Styx had prog rock tendencies, but not everyone can pull it off like Pink Floyd or Jethro Tull. I think some of today's fans have warmed to the album - and the song.
As for the HOF, that has never been likely for Styx. The "corporate act" label hobbled them long ago.