RDF Description of Bachman-Turner Overdrive