Skip to content
Permalink
Browse files

docs development setup note on osx protege plugin location

  • Loading branch information
tgbugs committed Dec 9, 2019
1 parent b720392 commit a9880fffc0bbc729f0819ae4204d0731f0369e52
Showing with 1 addition and 0 deletions.
  1. +1 −0 docs/development-setup.md
@@ -83,6 +83,7 @@ You can obtain copies of ELK and FACT++ by launching protege and going to
menu bar `File -> Check for plugins` and selecting ELK and FACT++.
**NOTE:** sometimes the plugin repos don't load, if that happens try again.
Otherwise you can download the reasoner plugins and put them in `Protege-*/plugins/`.
If you are on OSX the folder is `/Applications/Protégé.app/Contents/Java/plugins`.
### ELK
Get the latest version of `elk-distribution-*-protege-plugin.zip` from https://github.com/liveontologies/elk-reasoner/releases.
Or get the latest version of https://mvnrepository.com/artifact/org.semanticweb.elk/elk-owlapi.

0 comments on commit a9880ff

Please sign in to comment.
You can’t perform that action at this time.