[Top] [All Lists]

Re: [ontolog-forum] Re: [regrep-cc-review] What if? CCRIM => CCOWL

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Thu, 01 Jan 2004 19:29:48 -0800
Message-id: <>
   Specifying rules in a natural language has long been a goal of 
programming language research and AI, but a very elusive one.  IBL however 
looks like yet another attempt to put some simple syntactic sugar on top of 
SQL.  This is potentially useful, but a very different issue from the need 
to use a formal logical language to capture semantics, rather than 
capturing syntax.  IBL as far as I can see isn't using a logical language.    (01)

Adam    (02)

At 09:29 PM 1/1/2004 -0500, Adrian Walker wrote:
>Adam --
>You wrote.... FWIW, my take is that topic maps are yet another syntax 
>specification, lacking any logical semantics. So OWL, KIF or any other 
>logical language is appropriate for capturing semantics (meaning), while 
>topic maps are not. One can convert syntax and labels from one to the 
>other, but semantics will be lost.
>You may be interested in the "Semantic Web Presentation" at 
>www.reengineeringllc.com .  It argues that there is yet another dimension 
>to "semantics" -- namely that it's going to be necessary to use plain 
>English computationally on top of whatever logical language is chosen.
>The examples in the presentation can be run (and changed) by pointing a 
>browser to the same site.
>Hope this is of interest.     Cheers,  -- Adrian
>                                            INTERNET BUSINESS LOGIC
>                                              www.reengineeringllc.com
>Dr. Adrian Walker
>Reengineering LLC
>PO Box 1412
>CT 06011-1412 USA
>Phone: USA 860 583 9677
>Cell:    USA  860 830 2085
>Fax:    USA  860 314 1029
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/ To Post: 
>mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (03)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

<Prev in Thread] Current Thread [Next in Thread>