Universal quantification in description logic
In Description Logic quantification restrictions define new concepts. The semantics of $\forall R.A$ defined so that $x\in (\forall R.A)^{\mathcal I}$ if and only if for each $y\in\Delta^{\mathcal I}$ where $(x,y)\in R^{\mathcal I}$ we have $y\in A^{\mathcal I}$.

With this definition one can check that your understanding is correct: for an empty role $R$ $\top \sqsubseteq \forall R.\bot$ (all things are  related to no other thing through $R$). I dare say that few practical ontologies ever use empty roles as constructors.