public OWLReasonerManager getOWLReasonerManager() { if (owlReasonerManager == null) { owlReasonerManager = new OWLReasonerManagerImpl(this); } return owlReasonerManager; }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
public void dispose() { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); }
public void setCurrentReasonerFactoryId(String id) { if (getCurrentReasonerFactory().getReasonerId().equals(id)) { return; } for (ProtegeOWLReasonerInfo reasonerFactory : reasonerFactories) { if (reasonerFactory.getReasonerId().equals(id)) { preferences.setDefaultReasonerId(id); preferences.save(); clearAndDisposeReasoners(); currentReasonerFactory = reasonerFactory; owlModelManager.fireEvent(EventType.REASONER_CHANGED); return; } } logger.warn("Reasoner with id " + id + " not found"); preferences.setDefaultReasonerId(NoOpReasonerInfo.NULL_REASONER_ID); preferences.save(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public ClassificationRunner(OWLOntology ontology, Set<InferenceType> precompute) { this.ontology = ontology; this.precompute = EnumSet.noneOf(InferenceType.class); this.precompute.addAll(precompute); currentReasonerFactory = getCurrentReasonerFactory(); }
OWLReasoner reasoner = getCurrentReasoner(); try { if (reasoner instanceof NoOpReasoner) { killCurrentReasoner(); logger.warn("Protege terminated reasoner."); throw new ReasonerDiedException(t);
if (getCurrentReasonerFactory() instanceof NoOpReasonerInfo) { return true; logger.error("An error occurred during reasoning: {}.", throwable.getMessage(), throwable); try { if (getReasonerStatus() != ReasonerStatus.REASONER_NOT_INITIALIZED) { exceptionHandler.handle(throwable);
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 OWLReasonerManagerImpl(OWLModelManager owlModelManager) { this.owlModelManager = owlModelManager; preferences = new ReasonerPreferences(); preferences.load(); reasonerFactories = new HashSet<ProtegeOWLReasonerInfo>(); reasonerProgressMonitor = new NullReasonerProgressMonitor(); installFactories(); exceptionHandler = new DefaultOWLReasonerExceptionHandler(); }
public void uncaughtException(Thread thread, Throwable throwable) { ProtegeApplication.getErrorLog().logError(throwable); try { if (getReasonerStatus() != ReasonerStatus.REASONER_NOT_INITIALIZED) { exceptionHandler.handle(throwable); } } catch (ReasonerDiedException died) { ReasonerUtilities.warnThatReasonerDied(null, died); } } });
public void setCurrentReasonerFactoryId(String id) { if (getCurrentReasonerFactory().getReasonerId().equals(id)) { return; } for (ProtegeOWLReasonerInfo reasonerFactory : reasonerFactories) { if (reasonerFactory.getReasonerId().equals(id)) { preferences.setDefaultReasonerId(id); preferences.save(); clearAndDisposeReasoners(); currentReasonerFactory = reasonerFactory; owlModelManager.fireEvent(EventType.REASONER_CHANGED); return; } } logger.warn("Reasoner with id " + id + " not found"); preferences.setDefaultReasonerId(NoOpReasonerInfo.NULL_REASONER_ID); preferences.save(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public ClassificationRunner(OWLOntology ontology, Set<InferenceType> precompute) { this.ontology = ontology; this.precompute = EnumSet.noneOf(InferenceType.class); this.precompute.addAll(precompute); currentReasonerFactory = getCurrentReasonerFactory(); }
OWLReasoner reasoner = getCurrentReasoner(); try { if (reasoner instanceof NoOpReasoner) { killCurrentReasoner(); logger.warn("Protege terminated reasoner."); throw new ReasonerDiedException(t);
if (getCurrentReasonerFactory() instanceof NoOpReasonerInfo) { return true; logger.error("An error occurred during reasoning: {}.", throwable.getMessage(), throwable); try { if (getReasonerStatus() != ReasonerStatus.REASONER_NOT_INITIALIZED) { exceptionHandler.handle(throwable);
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 OWLReasonerManagerImpl(OWLModelManager owlModelManager) { this.owlModelManager = owlModelManager; preferences = new ReasonerPreferences(); preferences.load(); reasonerFactories = new HashSet<ProtegeOWLReasonerInfo>(); reasonerProgressMonitor = new NullReasonerProgressMonitor(); installFactories(); exceptionHandler = new DefaultOWLReasonerExceptionHandler(); }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
public void setCurrentReasonerFactoryId(String id) { if (getCurrentReasonerFactory().getReasonerId().equals(id)) { return; } for (ProtegeOWLReasonerInfo reasonerFactory : reasonerFactories) { if (reasonerFactory.getReasonerId().equals(id)) { preferences.setDefaultReasonerId(id); preferences.save(); clearAndDisposeReasoners(); currentReasonerFactory = reasonerFactory; owlModelManager.fireEvent(EventType.REASONER_CHANGED); return; } } logger.warn("Reasoner with id " + id + " not found"); preferences.setDefaultReasonerId(NoOpReasonerInfo.NULL_REASONER_ID); preferences.save(); }