@Override public void getSubjects(final ATermAppl p, final ATermAppl o, final CandidateSet<ATermAppl> candidates) { final Iterator<ATermAppl> i = candidates.iterator(); while (i.hasNext()) { final ATermAppl s = i.next(); final Bool hasObviousValue = hasObviousPropertyValue(s, p, o); candidates.update(s, hasObviousValue); } }
@Override public void getSubjects(final ATermAppl p, final ATermAppl o, final CandidateSet<ATermAppl> candidates) { final Iterator<ATermAppl> i = candidates.iterator(); while (i.hasNext()) { final ATermAppl s = i.next(); final Bool hasObviousValue = hasObviousPropertyValue(s, p, o); candidates.update(s, hasObviousValue); } }
@Override public void getObviousSubjects(final ATermAppl p, final ATermAppl o, final CandidateSet<ATermAppl> candidates) { final Iterator<ATermAppl> i = candidates.iterator(); while (i.hasNext()) { final ATermAppl s = i.next(); final Bool hasObviousValue = hasObviousPropertyValue(s, p, o); if (hasObviousValue.isFalse()) i.remove(); else candidates.update(s, hasObviousValue); } }
@Override public void getObviousSubjects(final ATermAppl p, final ATermAppl o, final CandidateSet<ATermAppl> candidates) { final Iterator<ATermAppl> i = candidates.iterator(); while (i.hasNext()) { final ATermAppl s = i.next(); final Bool hasObviousValue = hasObviousPropertyValue(s, p, o); if (hasObviousValue.isFalse()) i.remove(); else candidates.update(s, hasObviousValue); } }
@Override public void getObviousObjects(final ATermAppl pParam, final CandidateSet<ATermAppl> candidates) { ATermAppl p = pParam; p = getRole(p).getInverse().getName(); final Iterator<ATermAppl> i = candidates.iterator(); while (i.hasNext()) { final ATermAppl s = i.next(); final Bool hasObviousValue = hasObviousObjectPropertyValue(s, p, null); candidates.update(s, hasObviousValue); } }
@Override public void getObviousObjects(final ATermAppl pParam, final CandidateSet<ATermAppl> candidates) { ATermAppl p = pParam; p = getRole(p).getInverse().getName(); final Iterator<ATermAppl> i = candidates.iterator(); while (i.hasNext()) { final ATermAppl s = i.next(); final Bool hasObviousValue = hasObviousObjectPropertyValue(s, p, null); candidates.update(s, hasObviousValue); } }