public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<ProtegeOWLReasonerPlugin>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<ProtegeOWLReasonerPlugin>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); } public void added(IExtensionPoint[] extensionPoints) {
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }