Use option(transitive) with Virtuoso to avoid storing complete ancestry of every node.
Fixing a few mistakes in my use of option(transitive).