what are the software whose operating systems are red hat enterprise linux and windows 8 . 1 ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Red_Hat_Enterprise_Linux sep_dot var_uri dbo_operatingSystem dbr_Windows_8.1 sep_dot var_uri a dbo_Software brack_close