search

liveontologies / protege-black-box-justification

Apache License 2.0
0 stars 1 forks source link

Generate better explanation for the "owl:Nothing is subclass of any class expression" inference #1

Open ykazakov opened 7 years ago

ykazakov commented 7 years ago

See protegeproject/protege#621