Hi, this is a long discussion :) Is is allowed by OWL2 notion called
"Punning".
The rationale is that Hydrogen is a chemical elements, and that the
chemical element is not a subclass of atom. Rather a chemical elements is a
type of atom, so chemical elements is a metaclass : a class of class of
atoms.