Пример #1
0
  /**
   * This rules creates splits the current tree in two different ones.
   *
   * @param tree
   */
  @Override
  public boolean apply(TableauTree tree) {
    RoleTerm eTerm = getExistencialTerm(tree);
    if (eTerm == null) {
      return false; // nothing to apply. It should have been call but to avoid problems return the
                    // same tree
    }

    tree.getConcepts().remove(eTerm);
    tree.addChildren(
        eTerm.getRole(),
        new TableauTree(new IndividualTerm("a" + tree.getTotalChildren(), true), eTerm.getTerm()));
    return true;
  }
Пример #2
0
  /**
   * @return
   * @author jmayaalv
   */
  private RoleTerm getExistencialTerm(TableauTree tree) {

    RoleTerm rTerm = null;
    for (Term term : tree.getConcepts()) {
      if (term instanceof RoleTerm) {
        RoleTerm roleTerm = (RoleTerm) term;
        if (RoleTerm.RoleTermOperation.EXISTENTIAL_RESTRICTION.equals(roleTerm.getOperation())) {
          rTerm = roleTerm;
          break;
        }
      }
    }

    if (rTerm == null) {
      tree.addAppliedRule(this.getClass());
    }

    return rTerm;
  }