abbreviate URIs in turtle output