[Next release] Plug UModel (from Bolzano) as another reasoning engine for crowd

iamcrowd / crowd-app

The GUI of our tool

0 stars 0 forks source link

[Next release] Plug UModel (from Bolzano) as another reasoning engine for crowd #3

Open iamcrowd opened 2 years ago

iamcrowd commented 2 years ago

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.