Ian, I agree completely.
-Rich (01)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2 (02)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Ian Bailey
Sent: Monday, October 18, 2010 12:23 PM
To: '[ontolog-forum] '
Subject: [ontolog-forum] Oooh, FOL is too hard to learn. (03)
Hi John, (04)
You wrote: (05)
... people said "Oooh, FOL is too hard to learn." (06)
Which is true. CL (pick any dialect you like) is difficult to work with. If
it weren't so awkward, more people might use it for commercial applications.
Until that day, people will work with more productive, intuitive notations,
that unfortunately are somewhat less formal - they still work, mind you. (07)
Maybe the CL/FOL community need to employ some HCI folks to help them
develop the next generation of modelling notation, because what's there in
CL now just isn't going to cut it with the average developer or data
modeller. (08)
Ian (09)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: 18 October 2010 19:46
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] Interpreting OWL (010)
I agree with Ed's characterization of all the interrelationships
of the many, many notations. My short summary: (011)
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. (012)
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. (013)
3. RDF is compatible with almost all of them because it is
a lowest-common-denominator subset of all of them. (014)
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). (015)
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. (016)
For further commentary on these issues, see (017)
http://www.jfsowa.com/talks/iss.pdf
Integrating Semantic Systems (018)
John (019)
_________________________________________________________________
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 (020)
_________________________________________________________________
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 (021)
_________________________________________________________________
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 (022)
|