On 2010-10-18, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
> I agree with Ed's characterization of all the interrelationships
> of the many, many notations. My short summary:
>
> 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.
>
> 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.
>
> 3. RDF is compatible with almost all of them because it is
> a lowest-common-denominator subset of all of them.
>
> 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).
>
> 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.
>
> For further commentary on these issues, see
>
> http://www.jfsowa.com/talks/iss.pdf
> Integrating Semantic Systems
>
> John
>
>
>
>
> _________________________________________________________________
> 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
>
> (01)
_________________________________________________________________
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 (02)
|