run_rmiregistry.sh run_protege\_ server_nci.sh shutdown_protege_server.sh PromptNCIPlugins.properties protege.properties codegen.dat workflow folder |
run_protege <PROTÉGÉ INSTANCE>.sh protege.properties PromptNCIPlugins.properties |
start_explanation_server.sh restart_explanation_server.sh stop_explanation_server.sh |
protege_install=/usr/local/protégé/Protégé_x.x/<PROTÉGÉ INSTANCE>/Protege.Server-x.x.x |