- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Thu, 21 Nov 2002 10:11:15 +0000 (GMT)
- To: pat hayes <phayes@ai.uwf.edu>
- cc: w3c-rdfcore-wg@w3.org
On Wed, 20 Nov 2002, pat hayes wrote: > >A "negative entailment test" passes if: > > > > - P has no valid interpretations (contains a semantic error) OR > > - P is ok but does not entail C. > >Document D2, contains semantic errors wrt the same interpretation > >constraints (the MT makes it always come out false). > >With the current test definitions, these can be expressed naturally by > >introducing an empty document, E. Then > >D2 has semantic errors (encoded by -ve ent test, D2 -/-> E) > > No, anything entails the empty graph since it is always true. Right, which is why the test doesn't just rely on the entailment. It's done that way to avoid the need for "False". -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ Goedel would be proud - I'm both inconsistent _and_ incomplete.
Received on Thursday, 21 November 2002 05:12:25 UTC