Semantic Web Gathers Substance
David Hersey writes "ADTMag reports that the semantic web technologies are taking real form in the wake of recent W3C approvals and early pioneering work by vendors such as IBM, Boeing, Adobe and others. These technologies have been developing for several years. When and If the finally take form, they hold the potential of raising the capabilties of internet users and internet technology applications to levels that are today impractical due to the web's document-centric architecture."
...check out various tools on SemWebCentral.
For example, you can browse the GForge project listing using OWL - more precisely, using an HTMLized version of the ObjectViewer.
The Army reading list
Ultimately though, the question is whether people actually _want_ to enable the ability to reuse and recombine their data.
Within your own data, tools to enable you to analyse and reuse your data are highly prized, but enabling anyone else to use your valuable data to their own ends benefits (almost) noone. (IMHO)
The Semantic Web seems to be a generalized version of metatagging combined with a search engine tailored to the format. To work well, this requires 1) everyone to think hard and attach to their pages the appropriate semantics, and 2) that there are few people in the world that deliberately associate all sorts of junk with their web pages in order to get the page to appear in everyone's semantic search.
The semantic web is not a procedural system; it's a method of encoding information. Goedel's Incompleteness Theorem is about mathematical systems and their ability to describe certain truth values.
I don't see any immediate connection between the one and the other.