Hi All,
John Sowa:.
Each pair becomes a proposition
> when the instances are inserted in an appropriate schema:
>
> "The person named _________ has the telephone number ________."
Ed BArkmeyer: I disagree. That is, the meaning of each pair in the telephone directory is a proposition of that form, and the pair is a datum. It is not necessary to express the sentence per se.
I'm reminded of Bill Kent's famous comment that sank the proposed sentence-free "universal relation" :
person has horse, horse has birthday, therefore person has birthday
In a deductive context, surely you need the sentence to avoid that kind of wrong inference?
Note that RDF typing allows
horse=horse in the above, so it alone won't keep us safe.
Cheers, -- Adrian
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at
www.reengineeringllc.com
Shared use is free, and there are no advertisements
Adrian Walker
Reengineering
_________________________________________________________________
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)