Reading all these other examples, feels like Tractatus would be a useful example tool for teaching graphs and RDF. This person's example on github was my favori

Reading all these other examples, feels like Tractatus would be a useful example tool for teaching graphs and RDF. This person's example on github was my favorite of the ones I found, as I was going to implement it like this myself, then had the sense to look it up and see if anyone else had. Some time ago I posted about using these trees for expressing complex ontologies in a way that you can absorb them quickly, Tractatus is a great example of something impenetrable but consistent that could be used as a test for the quality and usability of a teaching ontology scheme. His hierarchical format preceded modern software, but I wonder what his opinion might have been on tabs v. spaces. :) Given it's a treegraph of axioms and rules, I'd wonder if there is an isomorphic or homomorphic graph that could form a syntax tree for a domain specific language or the basis of a reasoner or even a classifier. It's as if the Ted Chiang story writes itself.