@Override public List<ATermAppl> getObviousDataPropertyValues(final ATermAppl s, final Role prop, final ATermAppl datatype) { return getDataPropertyValues(s, prop, datatype, true); }
@Override public List<ATermAppl> getObviousDataPropertyValues(final ATermAppl s, final Role prop, final ATermAppl datatype) { return getDataPropertyValues(s, prop, datatype, true); }
@Override public List<ATermAppl> getDataPropertyValues(final ATermAppl s, final Role role, final ATermAppl datatype) { return getDataPropertyValues(s, role, datatype, false); }
@Override public List<ATermAppl> getDataPropertyValues(final ATermAppl s, final Role role, final ATermAppl datatype) { return getDataPropertyValues(s, role, datatype, false); }