see this: http://www.w3.org/TR/2013/REC-prov-o-20130430/#atLocation

as per this url, it does seem that using atLocation as an attribute is reasonable, no?