search

aehrc / snorocket

The Snorocket Description Logic classifier for EL++ with concrete domains support
Apache License 2.0
22 stars 6 forks source link

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

Open alaendle opened 5 years ago

alaendle commented 5 years ago

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.