I wonder which version of the ontology is faster for reasoning.
- Robert Hoehndorf
Should be much the same, I would have thought. The smaller one will be quicker to parse in practice!
- Phil Lord
@Robert good question - @Phil but wouldn't that much of a reduction in that subset of the FMA make a difference to the reasoning as well as the parsing?
- Allyson Lister
The reasoner would have to infer the existence of many more classes with a smaller version of the FMA, so it could go both ways, I guess.
- Robert Hoehndorf