public int compare(ProtegeOWLReasonerInfo ri1, ProtegeOWLReasonerInfo ri2) { boolean nullReasoner1 = ri1.getReasonerFactory() instanceof NoOpReasonerFactory; boolean nullReasoner2 = ri2.getReasonerFactory() instanceof NoOpReasonerFactory; if (nullReasoner1 && nullReasoner2) { return 0; } else if (nullReasoner1) { return 1; } else if (nullReasoner2) { return -1; } else { return ri1.getReasonerName().compareTo(ri2.getReasonerName()); } }
public int compare(ProtegeOWLReasonerInfo ri1, ProtegeOWLReasonerInfo ri2) { boolean nullReasoner1 = ri1.getReasonerFactory() instanceof NoOpReasonerFactory; boolean nullReasoner2 = ri2.getReasonerFactory() instanceof NoOpReasonerFactory; if (nullReasoner1 && nullReasoner2) { return 0; } else if (nullReasoner1) { return 1; } else if (nullReasoner2) { return -1; } else { return ri1.getReasonerName().compareTo(ri2.getReasonerName()); } }
public int compare(ProtegeOWLReasonerInfo ri1, ProtegeOWLReasonerInfo ri2) { boolean nullReasoner1 = ri1.getReasonerFactory() instanceof NoOpReasonerFactory; boolean nullReasoner2 = ri2.getReasonerFactory() instanceof NoOpReasonerFactory; if (nullReasoner1 && nullReasoner2) { return 0; } else if (nullReasoner1) { return 1; } else if (nullReasoner2) { return -1; } else { return ri1.getReasonerName().compareTo(ri2.getReasonerName()); } }
public int compare(ProtegeOWLReasonerInfo ri1, ProtegeOWLReasonerInfo ri2) { boolean nullReasoner1 = ri1.getReasonerFactory() instanceof NoOpReasonerFactory; boolean nullReasoner2 = ri2.getReasonerFactory() instanceof NoOpReasonerFactory; if (nullReasoner1 && nullReasoner2) { return 0; } else if (nullReasoner1) { return 1; } else if (nullReasoner2) { return -1; } else { return ri1.getReasonerName().compareTo(ri2.getReasonerName()); } }
public void run() { boolean inconsistencyFound = false; boolean reasonerChanged = false; try { long start = System.currentTimeMillis(); reasonerChanged = ensureRunningReasonerInitialized(); precompute(); logger.info(currentReasonerFactory.getReasonerName() + " classified in " + (System.currentTimeMillis()-start) + "ms"); } catch (InconsistentOntologyException ioe) { inconsistencyFound = true; } finally{ installRunningReasoner(inconsistencyFound, reasonerChanged); } }
if (runningReasoner != null) { precompute(); logger.info(currentReasonerFactory.getReasonerName() + " classified in " + (System.currentTimeMillis()-start) + "ms");
Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item);
Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item);
Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item);
Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item);