agent(ag, [prov:type="prov:SoftwareAgent" %% xsd:QName])