liveontologies protege-black-box-justification issues - Githubissues

liveontologies / protege-black-box-justification

Apache License 2.0

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

ELK no justifications found

#5 giuseta opened 6 years ago
1
fixed extension point name

#4 stefborg closed 6 years ago
1
Plugin does not show up in Protege

#3 stefborg closed 6 years ago
4
Wrong explanations for tautologies

#2 ykazakov opened 7 years ago
0
Generate better explanation for the "owl:Nothing is subclass of any class expression" inference

#1 ykazakov opened 7 years ago
0