Many trademark holders have a policy that you can't use their name as the
prefix of the name of something else. So e.g. JavaCache would not be allowed but Cache4Java would be. This reserves the prefix for official products which in theory reduces potential consumer confusion which in theory is the purpose of trademarks.
And a name like docker-marklogic is double doomed because both parts are trademarks so you probably can't say marklogic-docker either.