[Top] [All Lists]

Re: [ontolog-forum] Foundation ontology, CYC, and Mapping

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Thu, 25 Feb 2010 11:58:34 -0600
Message-id: <4D017214-2DF0-4005-993A-72BA83C277B7@xxxxxxxx>
On Feb 25, 2010, at 11:18 AM, Patrick Cassidy wrote:
> ...
>   I am well aware that for each new axiom added to an ontology, some logical 
>inferences derived from input assertions will change.      (01)

Careful there.  Classical logic, as the logicians like to say, is *monotonic*.  
Intuitively put, in classical logic, knowledge only grows; learning something 
new cannot lead you to revise what you have already deduced.  A bit more 
exactly: In classical logic, adding a new (nonredundant) axiom only gives one 
the power to prove things that one couldn't prove before.  The inferences one 
could make without the axiom will not change with its addition; nothing that 
was provable without the axiom will cease to be provable with the addition of 
the axiom.      (02)

-chris    (03)

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

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