示例#1
0
  public static SearchConfiguration getDefaultConfig() {
    SearchConfiguration conf = new SearchConfiguration();

    conf.aBoxInBG = true;
    conf.tBoxInBG = false;
    conf.searchType = SearchConfiguration.SearchType.UNIFORM_COST;
    conf.treeType = SearchConfiguration.TreeType.REITER;
    conf.numOfLeadingDiags = 9;
    conf.qss = SearchConfiguration.QSS.MINSCORE;
    conf.reduceIncoherency = false;
    conf.minimizeQuery = true;
    conf.calcAllDiags = false;
    conf.inclEntSubClass = true;
    conf.incEntClassAssert = true;
    conf.incEntEquivClass = false;
    conf.incEntDisjClasses = false;
    conf.incEntPropAssert = false;
    conf.incOntolAxioms = false;
    conf.incAxiomsRefThing = false;
    conf.entailmentCalThres = 0.01;

    return conf;
  }
示例#2
0
  public static SearchConfiguration readConfiguration() {
    String userHome = System.getProperty("user.home");
    if (userHome == null) throw new IllegalStateException("user home directory is null");
    File confFile = new File(new File(userHome), "querydebugger.properties");

    Properties properties = new Properties();
    SearchConfiguration c = new SearchConfiguration();

    if (!confFile.exists()) {
      writeConfiguration(getDefaultConfig());
      return getDefaultConfig();
    }

    try {
      properties.load(new FileInputStream(confFile));
    } catch (IOException e) {
      e
          .printStackTrace(); // To change body of catch statement use File | Settings | File
                              // Templates.
    }

    c.aBoxInBG = Boolean.parseBoolean((String) properties.get("aBoxInBG"));
    c.tBoxInBG = Boolean.parseBoolean((String) properties.get("tBoxInBG"));
    c.numOfLeadingDiags = Integer.parseInt((String) properties.get("numOfLeadingDiags"));
    c.searchType = parseSearchType((String) properties.get("searchType"));
    c.treeType = parseTreeType((String) properties.get("treeType"));
    c.qss = parseQSS((String) properties.get("qss"));
    c.reduceIncoherency = Boolean.parseBoolean((String) properties.get("reduceIncoherency"));
    c.minimizeQuery = Boolean.parseBoolean((String) properties.get("minimizeQuery"));
    c.calcAllDiags = Boolean.parseBoolean((String) properties.get("calcAllDiags"));

    c.inclEntSubClass = Boolean.parseBoolean((String) properties.get("inclEntSubClass"));
    c.incEntClassAssert = Boolean.parseBoolean((String) properties.get("incEntClassAssert"));
    c.incEntEquivClass = Boolean.parseBoolean((String) properties.get("incEntEquivClass"));
    c.incEntDisjClasses = Boolean.parseBoolean((String) properties.get("incEntDisjClasses"));
    c.incEntPropAssert = Boolean.parseBoolean((String) properties.get("incEntPropAssert"));
    c.incOntolAxioms = Boolean.parseBoolean((String) properties.get("incOntolAxioms"));
    c.incAxiomsRefThing = Boolean.parseBoolean((String) properties.get("incAxiomsRefThing"));
    c.entailmentCalThres = Double.parseDouble((String) properties.get("entailmentCalThres"));

    try {
      properties.store(new FileOutputStream(confFile), null);
    } catch (IOException e) {
      e
          .printStackTrace(); // To change body of catch statement use File | Settings | File
                              // Templates.
    }

    return c;
  }