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