[Top] [All Lists]

Re: [ontolog-forum] Semantic Enterprise Architecture - Example of Bed vs

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sun, 29 Aug 2010 03:08:26 -0500
Message-id: <41ADC021-B5B6-40AF-B761-AC98C7FCF41E@xxxxxxxx>
On Aug 28, 2010, at 6:18 PM, Pavithra wrote:
> ...After all semantics is about reasoning.    (01)

No, it isn't.  Semantics is about meaning, more exactly (though still roughly), 
the connection between symbols and their interpretations.  This is of course 
not to say that semantics is unrelated to reasoning -- an appropriate semantic 
theory for a language will provide notions of *logical truth* and *entailment* 
that can be used to justify the axioms and inference rules that constitute an 
actual reasoning system.    (02)

Chris Menzel    (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>