<http://schema.org/headline>
"Google intros Android Device Manager to help you find that missing handset"^^<http://www.w3.org/2001/XMLSchema#string>
<http://www.engadget.com/2013/08/02/android-device-manager/?ncid=rss_semi>