private boolean isCDDesc(final Iterator<Unfolding> unfoldingList) { while (unfoldingList.hasNext()) { final Unfolding unf = unfoldingList.next(); if (!isCDDesc(unf.getResult())) return false; } return true; }
private boolean isCDDesc(final Iterator<Unfolding> unfoldingList) { while (unfoldingList.hasNext()) { final Unfolding unf = unfoldingList.next(); if (!isCDDesc(unf.getResult())) return false; } return true; }
public void print(final Appendable out) { try { out.append("Tg: [\n"); if (UC != null) { for (final Unfolding unf : UC) { out.append(ATermUtils.toString(unf.getResult())); out.append(", "); } out.append("\n"); } out.append("]"); } catch (final IOException e) { e.printStackTrace(); } }
public void print(final Appendable out) { try { out.append("Tg: [\n"); if (UC != null) { for (final Unfolding unf : UC) { out.append(ATermUtils.toString(unf.getResult())); out.append(", "); } out.append("\n"); } out.append("]"); } catch (final IOException e) { e.printStackTrace(); } }
@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { for (final ATermAppl c : terms) { final Unfolding unf = _primitiveTbox.getDefinition(c); if (unf != null) { final ATermAppl def = unf.getResult(); terms.remove(c); terms.add(nnf(def)); absorbAxiom(terms, explanation); return true; } } return false; } }
@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { for (final ATermAppl c : terms) { final Unfolding unf = _primitiveTbox.getDefinition(c); if (unf != null) { final ATermAppl def = unf.getResult(); terms.remove(c); terms.add(nnf(def)); absorbAxiom(terms, explanation); return true; } } return false; } }
public void print(final Appendable out) { try { out.append("Tu: [\n"); for (final ATermAppl c : _unfoldingMap.keySet()) { final List<Unfolding> unfoldedList = unfold(c); if (!unfoldedList.isEmpty()) { out.append(ATermUtils.toString(c)).append(" -> "); for (final Unfolding unf : unfoldedList) out.append(ATermUtils.toString(unf.getResult())).append(", "); out.append("\n"); } } out.append("]\n"); } catch (final IOException e) { e.printStackTrace(); } }
public void print(final Appendable out) { try { out.append("Tu: [\n"); for (final ATermAppl c : _unfoldingMap.keySet()) { final List<Unfolding> unfoldedList = unfold(c); if (!unfoldedList.isEmpty()) { out.append(ATermUtils.toString(c)).append(" -> "); for (final Unfolding unf : unfoldedList) out.append(ATermUtils.toString(unf.getResult())).append(", "); out.append("\n"); } } out.append("]\n"); } catch (final IOException e) { e.printStackTrace(); } }
private void processClasses() { final TBox tbox = _KB.getTBox(); for (final ATermAppl c : _KB.getAllClasses()) { final Iterator<Unfolding> unfoldC = tbox.unfold(c); while (unfoldC.hasNext()) { final Unfolding unf = unfoldC.next(); _visitor.visit(unf.getResult()); } } }
private void processClasses() { final TBox tbox = _KB.getTBox(); for (final ATermAppl c : _KB.getAllClasses()) { final Iterator<Unfolding> unfoldC = tbox.unfold(c); while (unfoldC.hasNext()) { final Unfolding unf = unfoldC.next(); _visitor.visit(unf.getResult()); } } }
a = unfolding.getResult();
a = unfolding.getResult();
protected void processDefinitions() { final boolean hasInverses = _kb.getExpressivity().hasInverse(); final TBox tbox = _kb.getTBox(); for (final ATermAppl c : _kb.getClasses()) { final Iterator<Unfolding> unfoldingList = tbox.unfold(c); while (unfoldingList.hasNext()) { final Unfolding unf = unfoldingList.next(); final Set<ATermAppl> usedByC = ATermUtils.findPrimitives(unf.getResult(), !hasInverses, true); for (final ATermAppl used : usedByC) { if (!_kb.getClasses().contains(used)) continue; addUses(c, used); } } } }
protected void processDefinitions() { final boolean hasInverses = _kb.getExpressivity().hasInverse(); final TBox tbox = _kb.getTBox(); for (final ATermAppl c : _kb.getClasses()) { final Iterator<Unfolding> unfoldingList = tbox.unfold(c); while (unfoldingList.hasNext()) { final Unfolding unf = unfoldingList.next(); final Set<ATermAppl> usedByC = ATermUtils.findPrimitives(unf.getResult(), !hasInverses, true); for (final ATermAppl used : usedByC) { if (!_kb.getClasses().contains(used)) continue; addUses(c, used); } } } }
for (final Unfolding unfolding : unfoldTop) final ATermAppl unfolded = unfolding.getResult(); final Set<ATermAppl> explain = unfolding.getExplanation();
for (final Unfolding unfolding : unfoldTop) final ATermAppl unfolded = unfolding.getResult(); final Set<ATermAppl> explain = unfolding.getExplanation();
finalDS = finalDS.union(unfoldingDS, _strategy.getABox().doExplanation()); final ATermAppl unfoldedConcept = unfolding.getResult();
finalDS = finalDS.union(unfoldingDS, _strategy.getABox().doExplanation()); final ATermAppl unfoldedConcept = unfolding.getResult();
for (final ATermAppl d : ATermUtils.findPrimitives(unf.getResult()))
for (final ATermAppl d : ATermUtils.findPrimitives(unf.getResult()))