Base release files should be pre-reasoned

[StroemPhi]

As discussed in the OBI Slack channel, we noticed that the base release of OBI is not pre-reasoned, which leads to obi:device not being an asserted child of obi:processed material. However, @cmungall wrote that base files should always be pre-reasoned as well.

[turbomam]

NB results of reasoning are dependent on the choice of the reasoner

[turbomam]

Most OBO ontologies (but not OBI) only use a single namespace in their base file.

[turbomam]

Is just reasoning over the exiting obi-base.owl adequate?

[turbomam]

including a base file is new-ish for OBI

[ddooley]

Is it hermit or ELK that is prefered by OBOFoundry? What does ODK use by default?
BTW, was there any interest in OBI using ODK build platform some time?

[StroemPhi]

According to here (https://oboacademy.github.io/obook/reference/base-specification) and me checking the Makefile of one of my ODK repos it is ELK.