PREFIX iso3166: <http://www.daml.org/2001/09/countries/iso-3166-ont#>
PREFIX tz: <http://www.isi.edu/~pan/damltime/timezone-ont.owl#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

SELECT ?name
FROM <http://www.isi.edu/%7Epan/damltime/timezone-world.owl>
FROM <http://www.daml.org/2001/09/countries/iso>
WHERE 
{ 
  ?country iso3166:name ?name;
           tz:observesDaylightSavingsTime "true"^^xsd:boolean.
}
ORDER BY ?name