@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(TOP, disjunction, explanation); return true; } }
@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(TOP, disjunction, explanation); return true; } }
protected boolean absorbIntoTerm(final ATermAppl term, final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { if (isPrimitive(term) && !_primitiveTbox.contains(term)) { terms.remove(term); final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(term, disjunction, explanation); return true; } return false; } }
protected boolean absorbIntoTerm(final ATermAppl term, final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { if (isPrimitive(term) && !_primitiveTbox.contains(term)) { terms.remove(term); final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(term, disjunction, explanation); return true; } return false; } }
private void absorbAxiom(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { if (terms.size() == 1) { _unaryTbox.add(TOP, not(terms.iterator().next()), explanation); return; } for (final Absorption absorption : absorptions) if (absorption.absorb(terms, explanation)) return; throw new InternalReasonerException("Absorption failed"); }
private void absorbAxiom(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { if (terms.size() == 1) { _unaryTbox.add(TOP, not(terms.iterator().next()), explanation); return; } for (final Absorption absorption : absorptions) if (absorption.absorb(terms, explanation)) return; throw new InternalReasonerException("Absorption failed"); }