Re: [ontolog-forum] Can Syntax become Semantic ?

[ravi sharma <drravisharma@xxxxxxxxx>]

Phani Chaitanya

 

You might also find this book to be helpful reading in addition to the excellent references provided by others.

" Semantic Web for the Working Ontologist - Effective Modeling in RDFS and OWL" Dean Allemang and Jim Handler. (Morgan KAufman / Elsevier Publishers) Others may know of similar books or papers.

 

Thanks.

Ravi

 

On Fri, Jan 22, 2010 at 8:43 PM, Rob Freeman <lists@xxxxxxxxxxxxxxxxxxx> wrote:

Chris

On Sat, Jan 23, 2010 at 1:35 PM, Christopher Menzel <cmenzel@xxxxxxxx> wrote:
>
> So it appears that the content of your claim that "there are many computational
> processes which cannot be completely summarized" is nothing more than the
> fact that there are undecidable computational problems.  What I don't understand
> is why you are using your own idiosyncratic terminology for expressing this
> exceedingly well known and rather elementary fact about the limits of
> computation.  Surely the only effect of doing so is to obfuscate what
> is otherwise entirely clear.

It makes you think about it, yes. It is entirely normal that those who
are most familiar with this old result will have the most difficulty
seeing it in a new light.

>> Or you could look at Stephen Wolfram's idea of "computational irreducibility". It
>> appears to me to be saying the same thing:
>

> Yes, although he appears to be citing undecidability to illustrate a more general
> claim about the predictive limitations of theories.

I'm glad you are able to see this.

So what is important is this idea that there are "predictive
limitations of theories."

My comment to Ali was that the "predictive limitations of theories"
might explain why our "theories" of language (grammars) have failed to
usefully disambiguate natural language, and that we might be able to
do better by treating syntactic predictions purely as a process,
distinct from theories about that process.

-Rob

_________________________________________________________________
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

-- 
Thanks.
Ravi
(Dr. Ravi Sharma)
313 204 1740 Mobile
_________________________________________________________________
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)