I agree with Ed's characterization of all the interrelationships
of the many, many notations. My short summary: (01)
1. There are a huge number of ad hoc declarative notations, all
of which have only one thing in common: they are subsets
of first-order logic, usually with some special-purpose
built-in ontology and a methodology for using it. (02)
2. For any two notations X and Y, it is often possible to find
a mapping of some subset of X to some subset of Y, but no
guarantee that the methodology and ontologies designed for X
are compatible with those of Y. (03)
3. RDF is compatible with almost all of them because it is
a lowest-common-denominator subset of all of them. (04)
4. But RDF has a bloated, unreadable notation that even its
designer (Tim Bray) disowned, and nearly everybody invents
some special-purpose way of saying or writing (A B C). (05)
What got us into this mess is that people said "Oooh, FOL is
too hard to learn." So everybody invented a different notation
for writing some version of it, and nobody gave any thought
to how their version related to anybody else's. (06)
For further commentary on these issues, see (07)
http://www.jfsowa.com/talks/iss.pdf
Integrating Semantic Systems (08)
John (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|