public static OWLClassExpression classExpressionPropertyExpanderChecked(OWLClassExpression startClass, AbstractReasonerComponent reasoner, OWLDataFactory df, Supplier<OWLClassExpression> defaultClass, Logger logger, boolean sfp) { if(startClass == null) { if (defaultClass != null) startClass = defaultClass.get(); } else { try { startClass = OWLAPIUtils.classExpressionPropertyExpander(startClass, reasoner, df, sfp); } catch (ManchesterOWLSyntaxParserException e) { logger.info("Error parsing startClass: " + e.getMessage()); startClass = defaultClass.get(); logger.warn("Using "+ startClass +" instead."); } } return startClass; } public static OWLClassExpression classExpressionPropertyExpanderChecked(OWLClassExpression startClass, AbstractReasonerComponent reasoner, OWLDataFactory df, Supplier<OWLClassExpression> defaultClass, Logger logger) {
@Override public void init() throws ComponentInitException { heuristic = new DisjunctiveHeuristic(); candidates = new TreeSet<>(heuristic); trees = new TreeSet<>(new ELDescriptionTreeComparator()); if(startClass == null) { startClass = dataFactory.getOWLThing(); } else { try { this.startClass = OWLAPIUtils.classExpressionPropertyExpander(startClass, reasoner, dataFactory); } catch (ManchesterOWLSyntaxParserException e) { logger.info("Error parsing startClass: " + e.getMessage()); this.startClass = dataFactory.getOWLThing(); } } operator = new ELDown(reasoner, instanceBasedDisjoints); operator.init(); baseURI = reasoner.getBaseURI(); prefixes = reasoner.getPrefixes(); minimizer = new OWLClassExpressionMinimizer(dataFactory, reasoner); noise = noisePercentage/100d; initialized = true; }
this.startClass = OWLAPIUtils.classExpressionPropertyExpander(startClass, reasoner, dataFactory); } catch (ManchesterOWLSyntaxParserException e) { logger.info("Error parsing startClass: " + e.getMessage()); this.startClass = dataFactory.getOWLThing();