Thats how disney uses the name. It might be prior art in some other work. For instance, light sabers are not owned by disney because they were a very old scifi concept. So today, anyone can make and sell lightsabers without issue. Jarvis might also have deeper history than comic bookes. Most comics book characters and names do.

Ex. Gothem and Arkham are not owned by batman, or whoever owns batman today. They were taken from prior works. Arkham comes from Lovecraft. Even the concept of Arkham as an asylum first appeared in lovecraft. "Gothem" famously came from a jewelery store ad. Technically, anyone is free to write about an Arkham Asylum in a city called Gothem without ever asking batman for permission.