snorocket icon indicating copy to clipboard operation
snorocket copied to clipboard

Published 20 hours ago • verified publisher icon aehrc

latest release snorocket 3.2.0 seems to be incompatible with protege 5.5.0beta8

Open alaendle opened this issue 6 years ago • 0 comments

Just load the pizza ontology (http://protege.stanford.edu/ontologies/pizza/pizza.owl), select snorocket as the reasoner and start reasoner.

The reasoner complains about an inconsistent ontology - indeed every object property is flagged as inconsistent; which couldn't be correct.

alaendle avatar Feb 07 '19 08:02 alaendle