[Next release] Plug UModel (from Bolzano) as another reasoning engine for crowd #3
Description
UModel is a java API developed by the UNIBZ for reasoning over conceptual models. The UModel encodes the models into a highly expressive DLR+ logic and then map to ALCQI to use off-the-shelf reasoners. Different from crowd, UModel inputs are UML/ER/ORM2 models.