The Inference Engine (GOFAIPunk, FirstOrderLogicPunk, OntologyPunk, SemanticWebPunk)

cross-posted from: https://lemmy.world/post/38336277

What if in 1989, Tim Berners Lee invented the semantic web instead of the world wide web?