Whelk (https://github.com/balhoff/whelk/) is an OWL EL/RL reasoner. This PR allows users to choose this reasoner (by using --reasoner whelk).
Incomplete: I'll wait until we get Whelk fully working before I complete and submit this PR, which includes:
Whelk can't currently determine which individuals belong to class phyloref:Phyloreference. We can get around this by only selecting instances that were explicitly included in this class.
Whelk can't reason over our current class expressions, as we use owl:unionOf. I've set up an issue to remove these at phyloref/curation-tool#119.
Whelk (https://github.com/balhoff/whelk/) is an OWL EL/RL reasoner. This PR allows users to choose this reasoner (by using
--reasoner whelk
).Incomplete: I'll wait until we get Whelk fully working before I complete and submit this PR, which includes:
phyloref:Phyloreference
. We can get around this by only selecting instances that were explicitly included in this class.owl:unionOf
. I've set up an issue to remove these at phyloref/curation-tool#119.WIP