Investigate and specify support for reasoning

[chenejac]

Is your feature request related to a problem? Please describe. Reasoning is supported only over TBOX, not over ABOX due to performance issues.

Describe the solution you'd like

• Investigate potential implementations for reasoning over data
• Investigate impact on queries' execution time
• Make specification for transition/pilot project
  • Flag in the user interface which might include reasoning just in exceptional cases in separated thread (and over new graph) without impact on regular users' query execution

[michel-heon]

Note A good list of reasoners is presented here. I think it is best to focus on the reasoners associated with owl-api version 5 especially to stay compatible with the planned upgrade to Jena-4 https://github.com/owlcs/owlapi/wiki

Therefore, upgrading from VIVO to Jena-4 is an obstacle to continuing this task.

[hauschke]

VIVO once used Pellet, before it switched to JFact. If I remember correctly due to licensing issues.

Hermit seems to be a candidate that combines a BSD license and OWLAPI 5 compatibility.