Use option(transitive) with Virtuoso to avoid storing complete ancestry of every node.
Fixing a few mistakes in my use of option(transitive).
Merge remote-tracking branch 'upstream/master'