An Implementation of Nonmonotonic Reasoning with System W

System W is a recently introduced reasoning method for conditional belief bases. While system W exhibits various desirable properties for nonmonotonic reasoning like extending rational closure and fully complying with syntax splitting, an implementation of it has been missing so far. In this paper, we present a first implementation of system W. The implementation is accessible via an extension of an online platform supporting a variety of nonmonotonic reasoning approaches.