I just wanted to add some comments that I forgot to make in my
previous note in this thread. Following is what I did say:
There are also many cases where a metalevel reasoner can
make orders of magnitude *improvement* in performance
at the object level. Among them are various kinds
Date had it right. NULL is neither true nor false.
The most fundamental problem of constructing any kind of knowledge in a
space as large as the internet is heterogeneity. The most fundamental
strength when working with heterogeneity is knowing what you don't know.
If I remember anything from
At 10:57 AM -0400 6/27/08, Toby Considine wrote:
As a new-comer in the semantic space, what is CL, where should I
start to read on it.
Sorry. Common Logic (CL) is a recent ISO standard
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=39175
which defines a
At 9:37 AM -0400 6/27/08, Adrian Walker wrote:
Pat, John, Chimeze and all --
Illuminating discussion.
FWIW, all my replies to three of the groups in your CC line get
rejected, so somebody is only getting half the story :-)
Two points:
1. If you move to from SQL-like NAF reasoning, to full