Hi John,
You wrote:
... people said "Oooh, FOL is too hard to learn."
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.
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.
Ian
-----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@xxxxxxxxxxxxxxxxSubject: Re: [ontolog-forum] Interpreting OWL
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@xxxxxxxxxxxxxxxxShared Files:
http://ontolog.cim3.net/file/Community Wiki:
http://ontolog.cim3.net/wiki/ To join:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1JTo Post: mailto:
ontolog-forum@xxxxxxxxxxxxxxxx _________________________________________________________________
Message Archives:
http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:
ontolog-forum-leave@xxxxxxxxxxxxxxxxShared Files:
http://ontolog.cim3.net/file/Community Wiki:
http://ontolog.cim3.net/wiki/ To join:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1JTo Post: mailto:
ontolog-forum@xxxxxxxxxxxxxxxx