private void addSubclassRule(final ATermAppl sub, final ATermAppl sup, final FreeVariableStore freeVar) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final Node var = freeVar.next(); translateSub(body, sub, freeVar, var); translateSuper(head, sup, freeVar, var); _rules.add(new Rule(head, body)); }
translateSuper(outHead, conj, freeVar, currentVar); list = list.getNext();
translateSuper(outHead, conj, freeVar, currentVar); list = list.getNext();
private void addSubclassRule(final ATermAppl sub, final ATermAppl sup, final FreeVariableStore freeVar) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final Node var = freeVar.next(); translateSub(body, sub, freeVar, var); translateSuper(head, sup, freeVar, var); _rules.add(new Rule(head, body)); }
translateSuper(outHead, conj, freeVar, currentVar); list = list.getNext();
private void addSubclassRule(final ATermAppl sub, final ATermAppl sup, final FreeVariableStore freeVar) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final Node var = freeVar.next(); translateSub(body, sub, freeVar, var); translateSuper(head, sup, freeVar, var); _rules.add(new Rule(head, body)); }
/** * {@inheritDoc} */ @Override protected void addRoleDomainRule(final ATermAppl p, final ATermAppl domain) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final FreeVariableStore freeVar = new FreeVariableStore(); final Node var0 = freeVar.next(); final Node var1 = freeVar.next(); body.add(makeSubOfSomeTriple(var0, p, var1)); translateSuper(head, domain, freeVar, var0); _rules.add(new Rule(head, body)); }
/** * {@inheritDoc} */ @Override protected void addRoleDomainRule(final ATermAppl p, final ATermAppl domain) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final FreeVariableStore freeVar = new FreeVariableStore(); final Node var0 = freeVar.next(); final Node var1 = freeVar.next(); body.add(makeSubOfSomeTriple(var0, p, var1)); translateSuper(head, domain, freeVar, var0); _rules.add(new Rule(head, body)); }
/** * {@inheritDoc} */ @Override protected void addRoleDomainRule(final ATermAppl p, final ATermAppl domain) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final FreeVariableStore freeVar = new FreeVariableStore(); final Node var0 = freeVar.next(); final Node var1 = freeVar.next(); body.add(makeSubOfSomeTriple(var0, p, var1)); translateSuper(head, domain, freeVar, var0); _rules.add(new Rule(head, body)); }
/** * {@inheritDoc} */ @Override protected void addRoleRangeRule(final ATermAppl p, final ATermAppl range) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final FreeVariableStore freeVar = new FreeVariableStore(); final Node var0 = freeVar.next(); final Node var1 = freeVar.next(); body.add(makeSubOfSomeTriple(var0, p, var1)); final ATermAppl someOfRange = ATermUtils.makeSomeValues(p, range); translateSuper(head, someOfRange, freeVar, var0); _rules.add(new Rule(head, body)); }
/** * {@inheritDoc} */ @Override protected void addRoleRangeRule(final ATermAppl p, final ATermAppl range) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final FreeVariableStore freeVar = new FreeVariableStore(); final Node var0 = freeVar.next(); final Node var1 = freeVar.next(); body.add(makeSubOfSomeTriple(var0, p, var1)); final ATermAppl someOfRange = ATermUtils.makeSomeValues(p, range); translateSuper(head, someOfRange, freeVar, var0); _rules.add(new Rule(head, body)); }
/** * {@inheritDoc} */ @Override protected void addRoleRangeRule(final ATermAppl p, final ATermAppl range) { final List<ClauseEntry> body = new ArrayList<>(); final List<ClauseEntry> head = new ArrayList<>(); final FreeVariableStore freeVar = new FreeVariableStore(); final Node var0 = freeVar.next(); final Node var1 = freeVar.next(); body.add(makeSubOfSomeTriple(var0, p, var1)); final ATermAppl someOfRange = ATermUtils.makeSomeValues(p, range); translateSuper(head, someOfRange, freeVar, var0); _rules.add(new Rule(head, body)); }