Module for semi-automatic reasoning

Automated reasoning is needed to assess the soundness of the model proposed by the student and to answer his/her questions. This requires adding small ontologies describing the word problem, including:

• Data present in the problem statement;
• Additional world knowledge to make reasoning possible.

Add State of the Art study here.