PHP library (and set of tools) which exposes management functionality of Virtuoso database