Docker

Docker helps automate the deployment of the server and the complexity of the reasoner in particular.

You can use the published image or build it yourself.