We don’t currently support reasoning in WebProtege. You would have to download your ontology from WebProtege to check it using a reasoner.
> On 24 Oct 2017, at 15:05, Evan Molinelli <[hidden email]> wrote:
> Hi all,
> I'm considering moving over to web protege (WP). My workflow requires occasional use of reasoners, however I couldn't find any documentation about reasoner use in WP, except for a 2015 discussion.
> Does anybody know if reasoners are supported within WP? If not, Is it possible to run the reasoner locally on an OWL file saved in WP?
> protege-user mailing list
> [hidden email] > https://mailman.stanford.edu/mailman/listinfo/protege-user