Late to the party maybe, but for anyone interested in this day and age: I'm using Pandoc for conversions like this. It also supports converting docbook format to other formats, like HTML.

For example: pandoc -s -t docbook example.xml -o example.html

You can try it online here: https://pandoc.org/try/