what are the software whose operating systems are linux kernel and berkeley software distribution ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Linux_kernel sep_dot var_uri dbo_operatingSystem dbr_Berkeley_Software_Distribution sep_dot var_uri a dbo_Software brack_close