[Top] [All Lists]

Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefini

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pavithra <pavithra_kenjige@xxxxxxxxx>
Date: Tue, 21 Sep 2010 11:54:10 -0700 (PDT)
Message-id: <366552.60110.qm@xxxxxxxxxxxxxxxxxxxxxxxxxxx>
Here is a Paper on
Guide to Expressing Facts in a First-Order Language


By Earnest Davis..

--- On Tue, 9/21/10, Christopher Menzel <cmenzel@xxxxxxxx> wrote:

From: Christopher Menzel <cmenzel@xxxxxxxx>
Subject: Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefinitions
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Date: Tuesday, September 21, 2010, 2:00 PM

On 9/21/2010 12:05 AM, Alex Shkotin wrote:
Hi Pavithra,

it seems we should consider separately:
- First order language - simple context free language
First-order languages are not necessarily context free.  For instance, some first-order languages don't allow vacuous quantification; checking for this requires a lookahead that makes the language context sensitive.

-----Inline Attachment Follows-----

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)

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