Hi William,
If you think about DIA as a targeted experiment there is no difference between PRM and DIA. You can list peptides in the tree with or without stable isotope labels and extract and integrate the chromatographic peak areas. Skyline can make use of a spectrum library and iRT values to determine the best retention time to use as a measure of the target peptide. Webinars 14 and 15 describe how to use a spectrum library to analyze DIA data.
SILAC or any other stable isotope labeling method can be used as a way to normalize the signal intensity. It is definitely compatible with DIA.
The LINCS project is performing DIA on phosphopeptide enriched samples and are analyzing ~100 phosphopeptides with stable isotope labeled internal standards.
https://panoramaweb.org/wiki/LINCS/Overview%20Information/page.view?name=LINCS%20PCCSE%20Overview
-Mike