Re: [ontolog-forum] Oooh, FOL is too hard to learn - Compare it with Cal

[Pavithra <pavithra_kenjige@xxxxxxxxx>]

Dr.Sowa,

Difficult and easy is a figure of speech, and has no meaning if you do not have anything to compare it with..
FOL is part of Boolean Algebra, Boolean Logic.      Probably mathemetician should teach Differential Calculus and Integral Calculus along with Boolean Algebra and ask people to judge the complexities of mathematics..   I am sure everyone will know how to measure the level of difficulties in mathematics if they are exposed to notations used in those areas..

Regards,
Pavithra





--- On Mon, 10/18/10, Ian Bailey <ian@xxxxxxxxxxxxxxxx> wrote:

From: Ian Bailey <ian@xxxxxxxxxxxxxxxx>
Subject: [ontolog-forum] Oooh, FOL is too hard to learn.
To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
Date: Monday, October 18, 2010, 3:23 PM

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@xxxxxxxxxxxxxxxx
Subject: 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@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



_________________________________________________________________
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

_________________________________________________________________
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)