Repository navigation
This version of the FMA attempts to update version 5.0.0 to make it consistent under EL reasoning (tested in ELK).
Further information about the changes made can be found in: docs/Fixing_reasoning_in_the_FMA_revised.pdf
This version of the FMA attempts to update version 5.0.0 to make it consistent under EL reasoning (tested in ELK).
Further information about the changes made can be found in: docs/Fixing_reasoning_in_the_FMA_revised.pdf