|From:||William Frank <williamf.frank@xxxxxxxxx>|
|Date:||Tue, 10 Jul 2012 15:29:34 -0400|
On Tue, Jul 10, 2012 at 11:16 AM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
On 7/10/2012 1:58 AM, Chris Mungall wrote:
John, I ask if you have anything further to say about these "underlying assumptions" . They may go much deeper than the assumption that logics used by the semantic web should be decidable, to the *reasons* someone would have such a belief, i.e., the purpose of these logics and their languages.
While thinking that decidability is essential might not *itself* be justly called a "disease", only wrong, there may also be a more deep rooted notion about the relationship between people and machines that would lead to thinking decidability was important, and this fundamental notion that may be finding itself in conflict with what is most practical.
This is the other side of leaving the SW to the engineers -- being very explicit about which of one's most fundamental beliefs are in play in the work. This explicitness is a practice that is very little followed, and when not followed, may cover some unsavory views.
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Representing models in ontologies., David Leal|
|Next by Date:||Re: [ontolog-forum] Truth, Matthew West|
|Previous by Thread:||Re: [ontolog-forum] Truth (Tim B-L's vision for the SW in 2000), John F Sowa|
|Next by Thread:||Re: [ontolog-forum] Truth (Tim B-L's vision for the SW in 2000), John F Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|