Pat Hayes wrote:
At 6:31 PM -0400 6/26/08, Ogbuji, Chimezie wrote:
Hey, Pat. Comments below
> I would disagree about this case being the exception.
>Negation as failure can be validly used to infer from a
>failure if the data is controlled (which is especially the
>case with
Dear all,
Does anyone know about an official w3c SPARQL endpoint and validator?
I came across this list: http://esw.w3.org/topic/SparqlEndpoints and
this one from the Spanish w3c website - http://www.w3c.es/Prensa/sparql/
But most of the endpoints in the first list seem to be down or not
accep
You will find the minutes for yesterday's call here:
http://www.w3.org/2008/06/26-hcls-minutes.html
The details of our next call in two weeks will be posted to the wiki:
http://esw.w3.org/topic/HCLSIG
-Scott
P.S. The (Zakim?) setting for the HCLS Thursday calls that limited the
number of call
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
Adrian and Toby,
Some comments:
TC> Date had it right. NULL is neither true nor false.
Yes, and he made some recommendations that can be applied to
any logic-based notation. One of them is to introduce special
constants or relations to handle various kinds of nonmonotonic
issues, and then wr
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
s, then answers from your deductions
can be sentences like
"Assuming that we have all the relevant data, as of 20080627, Pat
does not work for IBM".
Then, there's no way for the English documentation to get separated
from the logic, because authors and users deal only with the
predicates [1], and hide the predicates themselves,
then answers from your deductions can be sentences like
*"Assuming that we have all the relevant data, as of 20080627, Pat does not
work for IBM". *
Then, there's no way for the English documentation to get separated from the
