Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[2230] trunk/src/dl-learner/org/dllearner/tools/ protege
|
From: <lor...@us...> - 2010-08-03 08:36:10
|
Revision: 2230
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2230&view=rev
Author: lorenz_b
Date: 2010-08-03 08:36:04 +0000 (Tue, 03 Aug 2010)
Log Message:
-----------
Added dependency to pellet reasoner plugin.
Changed warning message, which occurs when no reasoner is selected.
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/tools/protege/META-INF/MANIFEST.MF
trunk/src/dl-learner/org/dllearner/tools/protege/ProtegePlugin.java
Modified: trunk/src/dl-learner/org/dllearner/tools/protege/META-INF/MANIFEST.MF
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/protege/META-INF/MANIFEST.MF 2010-08-02 19:48:11 UTC (rev 2229)
+++ trunk/src/dl-learner/org/dllearner/tools/protege/META-INF/MANIFEST.MF 2010-08-03 08:36:04 UTC (rev 2230)
@@ -52,4 +52,5 @@
org.eclipse.equinox.common,
org.protege.editor.core.application;bundle-version="4.1.0",
org.protege.editor.owl;bundle-version="4.1.0",
- org.semanticweb.owl.owlapi;bundle-version="3.0.0"
+ org.semanticweb.owl.owlapi;bundle-version="3.0.0",
+ com.clarkparsia.protege.plugin.pellet
Modified: trunk/src/dl-learner/org/dllearner/tools/protege/ProtegePlugin.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/protege/ProtegePlugin.java 2010-08-02 19:48:11 UTC (rev 2229)
+++ trunk/src/dl-learner/org/dllearner/tools/protege/ProtegePlugin.java 2010-08-03 08:36:04 UTC (rev 2230)
@@ -63,7 +63,7 @@
view.reset();
OWLReasoner r = getOWLEditorKit().getModelManager().getReasoner();
if(r instanceof NoOpReasoner){
- view.setHintMessage("<html><font size=\"3\" color=\"red\">You have to select a reasoner first.</font></html>");
+ view.setHintMessage("<html><font size=\"3\" color=\"red\">You have to select a reasoner (click on menu \"Reasoner\"). We recommend to use Pellet. </font></html>");
view.setRunButtonEnabled(false);
} else {
if(!Manager.getInstance().isPreparing() && Manager.getInstance().isReinitNecessary()){
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
