private boolean absorbTerm(final Set<ATermAppl> set) final RuleAbsorber ruleAbsorber = new RuleAbsorber(_tbox); if (_subLogger.isLoggable(Level.FINER)) _subLogger.finer("Absorbing term " + set); if (OpenlletOptions.USE_RULE_ABSORPTION && ruleAbsorber.absorbRule(set, _explanation)) return true; _subLogger.finer("Absorb nominal");
final List<RuleAtom> bodyAtoms = new ArrayList<>(); for (final ATermAppl term : set) varCount = processClass(var, term, bodyAtoms, varCount); processClass(var, ATermUtils.negate(head), headAtoms, 1);
varCount = processClass(var, conjunct, atoms, varCount); final RuleAtom atom = new DatavaluedPropertyAtom(p, var, newVar); atoms.add(atom); processDatatype(newVar, filler, atoms); final RuleAtom atom = new IndividualPropertyAtom(p, var, newVar); atoms.add(atom); varCount = processClass(newVar, filler, atoms, varCount);
processDatatype(var, conjunct, atoms);
varCount = processClass(var, conjunct, atoms, varCount); final RuleAtom atom = new DatavaluedPropertyAtom(p, var, newVar); atoms.add(atom); processDatatype(newVar, filler, atoms); final RuleAtom atom = new IndividualPropertyAtom(p, var, newVar); atoms.add(atom); varCount = processClass(newVar, filler, atoms, varCount);
processDatatype(var, conjunct, atoms);
private boolean absorbTerm(final Set<ATermAppl> set) final RuleAbsorber ruleAbsorber = new RuleAbsorber(_tbox); if (_subLogger.isLoggable(Level.FINER)) _subLogger.finer("Absorbing term " + set); if (OpenlletOptions.USE_RULE_ABSORPTION && ruleAbsorber.absorbRule(set, _explanation)) return true; _subLogger.finer("Absorb nominal");
final List<RuleAtom> bodyAtoms = new ArrayList<>(); for (final ATermAppl term : set) varCount = processClass(var, term, bodyAtoms, varCount); processClass(var, ATermUtils.negate(head), headAtoms, 1);