public OpenlletCmdApp() { _options = getOptions(); _appId = getAppId(); _appCmd = getAppCmd(); _inputFiles = new ArrayList<>(); _timers = new Timers(); buildHelp(); }
private void run(final String[] args) { if (args.length == 0) throw new OpenlletCmdException("Type 'openllet help' for usage."); final String arg = args[0]; if ("h".equals(arg) || "-h".equals(arg) || "help".equals(arg) || "--help".equals(arg)) { if (args.length == 1) mainhelp(); else { final OpenlletCmdApp cmd = getCommand(args[1]); cmd.help(); } } else if ("--version".equals(arg) || "-V".equals(arg)) version(); else { final OpenlletCmdApp cmd = getCommand(arg); cmd.parseArgs(args); cmd.run(); cmd.finish(); } }
protected KnowledgeBase getKB(final KBLoader loader) { try { final String[] inputFiles = getInputFiles(); verbose("There are " + inputFiles.length + " input files:"); for (final String inputFile : inputFiles) { verbose(inputFile); } startTask("loading"); final KnowledgeBase kb = loader.createKB(inputFiles); finishTask("loading"); if (_verbose) { final StringBuilder sb = new StringBuilder(); sb.append("Classes = " + kb.getAllClasses().size() + ", "); sb.append("Properties = " + kb.getProperties().size() + ", "); sb.append("Individuals = " + kb.getIndividuals().size()); verbose("Input size: " + sb); verbose("Expressivity: " + kb.getExpressivity()); } return kb; } catch (final RuntimeException e) { throw new OpenlletCmdException(e); } }
@Override public void parseArgs(final String[] args) { super.parseArgs(args); _maxExplanations = _options.getOption("max").getValueAsNonNegativeInteger(); _owlApiLoader = (OWLAPILoader) getLoader("OWLAPI"); getKB(); _converter = new SatisfiabilityConverter(_owlApiLoader.getManager().getOWLDataFactory()); _reasoner = _owlApiLoader.getReasoner(); loadMethod(); loadNames(); }
protected KBLoader getLoader() { if (_loader != null) { return _loader; } final String loaderName = _options.getOption("loader").getValueAsString(); return getLoader(loaderName); }
@Override public void parseArgs(final String[] args) { super.parseArgs(args); setQueryFile(_options.getOption("query-file").getValueAsString()); setOutputFormat(_options.getOption("output-format").getValueAsString()); setQueryFormat(_options.getOption("query-format").getValueAsString()); setQueryEngine(_options.getOption("query-engine").getValueAsString()); OpenlletOptions.TREAT_ALL_VARS_DISTINGUISHED = !_options.getOption("bnode").getValueAsBoolean(); }
@Override public void parseArgs(final String[] args) { super.parseArgs(args); final String only = _options.getOption("only").getValueAsString(); if (only == null) { setDoRDF(true); setDoOWL(true); } else if (only.equalsIgnoreCase("RDF")) { setDoRDF(true); setDoOWL(false); } else if (only.equalsIgnoreCase("OWL")) { setDoRDF(false); setDoOWL(true); } else throw new OpenlletCmdException("Invalid argument to lint --only: " + only); setDoRootOnly(_options.getOption("root-only").getValueAsBoolean()); if (getInputFiles().length > 1) throw new OpenlletCmdException("lint doesn't handle multiple input files"); setInputOntologyPath(getInputFiles()[0]); setOutputOntologyPath(_options.getOption("fix").getValueAsString()); }