I've tried several times to get really excited about the semantic web, but in the end I tend to arrive at the same conclusion: so far it's still feels like over

I've tried several times to get really excited about the semantic web, but in the end I tend to arrive at the same conclusion: so far it's still feels like over engineering a solution to a problem I'm not sure we have. A perfect example of this is OWL, which in its pure form is so expressive that it is completely useless for automated reasoning (due to computational intractability). If you were to build an automated reasoning system to solve a real problem you had, you would never arrive at OWL. Additionally there seems to be a whole lot of reinventing the wheel. The best semweb people are aware of all the past research in logic programming and automated reasoning, but most semweb enthusiasts seem to be hardly aware of prolog let alone that rdf triples are just another way to express what clauses do in prolog. If we're really trying to solve the 'problem' that semweb addresses we'd be seeing more articles titled "intro to logic programming, knowledge representation and automated reasoning"