JOptionPane.showMessageDialog(this, "The Anytime Class reasoner is not implemented.",
"Sorry", JOptionPane.WARNING_MESSAGE);
}
if (showInstances) {
AnytimeOWLNamedIndividualReasoner instanceReasoner;
try{
instanceReasoner = (AnytimeOWLNamedIndividualReasoner)anytimeReasoner;
}
catch (ClassCastException e){
System.out.println("Error in casting to anytime individual reasoner!");
JOptionPane.showMessageDialog(this, "The current reasoner is not an anytime Instance reasoner!",
"Error", JOptionPane.WARNING_MESSAGE);
return;
}
listener = new AnytimeReasoningResultsUpdate();
AnytimeReasoningResults resultsSet = new AnytimeReasoningResults();
listRenderer.setResultSet(resultsSet);
listener.setJList(this);
listener.setStatusLable(statusLable);
listener.setResultSet(resultsSet);
try {
instanceReasoner.getIndividuals(description, listener);
} catch (OWLReasonerRuntimeException e) {
e.printStackTrace();
}
}
}