[Top] [All Lists]

Re: [ontolog-forum] Using controlled natural languages for ontology

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sun, 06 Mar 2011 23:01:24 -0500
Message-id: <4D745894.1050404@xxxxxxxxxxx>
On 3/6/2011 10:39 PM, Zhuk, Yefim wrote:
> I'd think of CNL as an intermediate step towards ontology...    (01)

It's more like an alternate notation for logic that makes
comments readable by both the humans and the computer.    (02)

A controlled natural language has a formally defined mapping
to and from some version of logic.  Its main advantage is that
it can be read as if it were ordinary language.    (03)

The Naproche site illustrates the use of mathematical English
as an alternate notation for logic, which is translated directly
to and from a formal notation for FOL.    (04)

John    (05)

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    (06)

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