/** * Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression. The URIs used in * the term will be shortened into local names. The concept expressions are printed in NNF format. * * @param term term whose string representation we are creating * @return string representation of the term */ public static String toString(final ATermAppl term) { return toString(term, true, true); }
@Override public String toString() { return ATermUtils.toString(_name); }
@Override public String toString() { return ATermUtils.toString(_name); }
@Override public String toString() { return ATermUtils.toString(_predicate) + "(" + (_name == null ? "0" : _name) + ")"; } }
/** * Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression. The URIs used in * the term will be shortened into local names. The concept expressions are printed in NNF format. * * @param term term whose string representation we are creating * @return string representation of the term */ public static String toString(final ATermAppl term) { return toString(term, true, true); }
@Override public String toString() { return ATermUtils.toString(_type) + "(" + _subject + ")"; } }
@Override public String toString() { return ATermUtils.toString(_name); } }
@Override public String toString() { return ATermUtils.toString(_type) + "(" + _subject + ")"; } }
@Override public String toString() { return ATermUtils.toString(_node.getName()); } }
@Override public String toString() { return ATermUtils.toString(getValue()); }
@Override public String toString() { return ATermUtils.toString(ATermUtils.makeTermAppl(_name)) + Arrays.toString(_args); } }
@Override public String toString() { return ATermUtils.toString(_role.getName()) + "(0, 1)"; } }
public void add(final ATermAppl sub, final ATermAppl sup, final Set<ATermAppl> explanation) { List<Unfolding> list = _unfoldings.get(sub); if (list == null) { list = new ArrayList<>(); _unfoldings.put(sub, list); } _logger.fine(() -> "Add sub: " + ATermUtils.toString(sub) + " < " + ATermUtils.toString(sup)); list.add(Unfolding.create(ATermUtils.normalize(sup), explanation)); }
@Override public boolean existType(final List<ATermAppl> inds, final ATermAppl cParam) { final ATermAppl c = ATermUtils.normalize(cParam); _logger.fine(() -> "Checking type " + ATermUtils.toString(c) + " for individuals " + inds.size()); final ATermAppl notC = ATermUtils.negate(c); final boolean isType = !isConsistent(inds, notC, false); _logger.fine(() -> "Type " + isType + " " + ATermUtils.toString(c) + " for individuals " + inds.size()); return isType; }
private void absorbSubClass(final ATermAppl sub, final ATermAppl sup, final Set<ATermAppl> explanation) { _logger.fine(() -> "Absorb: subClassOf(" + ATermUtils.toString(sub) + ", " + ATermUtils.toString(sup) + ")"); final Set<ATermAppl> terms = SetUtils.create(); terms.add(nnf(sub)); terms.add(nnf(negate(sup))); absorbAxiom(terms, SetUtils.create(explanation)); }