as i move deeper into the semantic web waters, i discover the familiar tower of abstractions concept. to date, the following stack seems to emerge:
OWL (Web Ontology Language)
the idea behind all this:
There will be many Semantic Web languages, most of which will be built on top of more basic Semantic Web language(s). It is important that this layering be clean and simple, not just for human understandability, but also to enable the construction of robust semantic web agents that use these languages.
as noted in the same document, this will not be easy:
this strategy places a very high burden on the ‘basic’ layer, since it is difficult to anticipate the semantic demands which will be made by all future higher layers, and the expectations of different development and user communities may conflict.
natural language and meaning is so much less formalized than programming languages, and yet we fail to even abstract them without leaks. will our attempts to do the same in the realm of semantics fare any better?
Gregor J. Rothfuss 