Included ALCI tableau reasoner. Also refactored it to fit with OWLAPI v4.0.1
Currently not using the REX data structure yet.