/** * For internal use when range axioms come from TBox absorption */ @Override public void addRange(final ATerm p, final ATermAppl c, final Set<ATermAppl> explain) { if (null == p || null == c || null == explain) return; _changes.add(ChangeType.RBOX_ADD); _rbox.addRange(p, c, explain); _logger.finer(() -> "range " + p + " " + c + " " + explain); }
@Override public void addRange(final ATerm p, final ATermAppl c) { _changes.add(ChangeType.RBOX_ADD); _rbox.addRange(p, c); _logger.finer(() -> "range " + p + " " + c); }
/** * For internal use when range axioms come from TBox absorption */ @Override public void addRange(final ATerm p, final ATermAppl c, final Set<ATermAppl> explain) { if (null == p || null == c || null == explain) return; _changes.add(ChangeType.RBOX_ADD); _rbox.addRange(p, c, explain); _logger.finer(() -> "range " + p + " " + c + " " + explain); }
@Override public void addRange(final ATerm p, final ATermAppl c) { _changes.add(ChangeType.RBOX_ADD); _rbox.addRange(p, c); _logger.finer(() -> "range " + p + " " + c); }
/** * Add an asserted property range axiom * * @param p The property * @param range A class expression for the range * @return <code>true</code> if range add was successful, <code>false</code> else * @throws IllegalArgumentException if <code>p</code> is not a defined property. */ default boolean addRange(final ATerm p, final ATermAppl range) { final Set<ATermAppl> ds = Collections.singleton(ATermUtils.makeRange(p, range)); return addRange(p, range, ds); }
/** * Add an asserted property range axiom * * @param p The property * @param range A class expression for the range * @return <code>true</code> if range add was successful, <code>false</code> else * @throws IllegalArgumentException if <code>p</code> is not a defined property. */ default boolean addRange(final ATerm p, final ATermAppl range) { final Set<ATermAppl> ds = Collections.singleton(ATermUtils.makeRange(p, range)); return addRange(p, range, ds); }