public static OWLReasoner createReasoner(OWLOntology ontology, ProtegeOWLReasonerInfo info, ReasonerProgressMonitor monitor) { OWLReasonerFactory factory = info.getReasonerFactory(); OWLReasonerConfiguration configuration = info.getConfiguration(monitor); switch (info.getRecommendedBuffering()) { case BUFFERING: return factory.createReasoner(ontology, configuration); case NON_BUFFERING: return factory.createNonBufferingReasoner(ontology, configuration); default: throw new UnsupportedOperationException("Programmer error: missed a case " + info.getRecommendedBuffering()); } }
public static OWLReasoner createReasoner(OWLOntology ontology, ProtegeOWLReasonerInfo info, ReasonerProgressMonitor monitor) { OWLReasonerFactory factory = info.getReasonerFactory(); OWLReasonerConfiguration configuration = info.getConfiguration(monitor); switch (info.getRecommendedBuffering()) { case BUFFERING: return factory.createReasoner(ontology, configuration); case NON_BUFFERING: return factory.createNonBufferingReasoner(ontology, configuration); default: throw new UnsupportedOperationException("Programmer error: missed a case " + info.getRecommendedBuffering()); } }
public static OWLReasoner createReasoner(OWLOntology ontology, ProtegeOWLReasonerInfo info, ReasonerProgressMonitor monitor) { OWLReasonerFactory factory = info.getReasonerFactory(); OWLReasonerConfiguration configuration = info.getConfiguration(monitor); switch (info.getRecommendedBuffering()) { case BUFFERING: return factory.createReasoner(ontology, configuration); case NON_BUFFERING: return factory.createNonBufferingReasoner(ontology, configuration); default: throw new UnsupportedOperationException("Programmer error: missed a case " + info.getRecommendedBuffering()); } }
public static OWLReasoner createReasoner(OWLOntology ontology, ProtegeOWLReasonerInfo info, ReasonerProgressMonitor monitor) { OWLReasonerFactory factory = info.getReasonerFactory(); OWLReasonerConfiguration configuration = info.getConfiguration(monitor); switch (info.getRecommendedBuffering()) { case BUFFERING: return factory.createReasoner(ontology, configuration); case NON_BUFFERING: return factory.createNonBufferingReasoner(ontology, configuration); default: throw new UnsupportedOperationException("Programmer error: missed a case " + info.getRecommendedBuffering()); } }