private void absorbOneOf(final ATermList list, final ATermAppl c, final Set<ATermAppl> explain) { if (OpenlletOptions.USE_PSEUDO_NOMINALS) { _subLogger.warning(() -> "Ignoring axiom involving nominals: " + explain); return; } _subLogger.fine(() -> "Absorb nominals: " + ATermUtils.toString(c) + " " + list); _tbox.getAbsorbedAxioms().addAll(explain); final DependencySet ds = new DependencySet(explain); for (final ATerm term : list) { final ATermAppl nominal = (ATermAppl) term; final ATermAppl ind = (ATermAppl) nominal.getArgument(0); _kb.addIndividual(ind); _kb.addType(ind, c, ds); } }
private void absorbOneOf(final ATermList list, final ATermAppl c, final Set<ATermAppl> explain) { if (OpenlletOptions.USE_PSEUDO_NOMINALS) { _subLogger.warning(() -> "Ignoring axiom involving nominals: " + explain); return; } _subLogger.fine(() -> "Absorb nominals: " + ATermUtils.toString(c) + " " + list); _tbox.getAbsorbedAxioms().addAll(explain); final DependencySet ds = new DependencySet(explain); for (final ATerm term : list) { final ATermAppl nominal = (ATermAppl) term; final ATermAppl ind = (ATermAppl) nominal.getArgument(0); _kb.addIndividual(ind); _kb.addType(ind, c, ds); } }
tbox.getAbsorbedAxioms().addAll(explain); tbox.getAbsorbedAxioms().addAll(explain);
tbox.getAbsorbedAxioms().addAll(explain); tbox.getAbsorbedAxioms().addAll(explain);
_tbox.getAbsorbedAxioms().addAll(_explanation); return true; _kb.addDomain(r, domain, _explanation); _subLogger.fine(() -> "Absorb domain: " + ATermUtils.toString(r) + " " + ATermUtils.toString(domain)); _tbox.getAbsorbedAxioms().addAll(_explanation); return true;
_tbox.getAbsorbedAxioms().addAll(_explanation); return true; _kb.addDomain(r, domain, _explanation); _subLogger.fine(() -> "Absorb domain: " + ATermUtils.toString(r) + " " + ATermUtils.toString(domain)); _tbox.getAbsorbedAxioms().addAll(_explanation); return true;
_tbox.getAbsorbedAxioms().addAll(_explanation);
_tbox.getAbsorbedAxioms().addAll(_explanation);