Web interface for the Avalanche reasoner