This is math-heavy but the idea that ‘keys are meta-taxonomic dimensions’ reminds me of ZigZag & other elements make me think of parallel prolog-likes like mycroft – should re-read carefully later: http://www.vpri.org/pdf/m2009002_qod.pdf