i think it’s really cool how the semantic web people did a bunch of work and wrote a bunch of theory about how we can teach computers to reason, and then within a few years mostly agreed that having computers reason is a waste of time, but kept the formal specifications and vocabulary because it actually made things easier for humans to explain things to each other