W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > December 2002

Re: Semantics doc now in shadow TR space

From: Graham Klyne <GK@NineByNine.org>
Date: Tue, 17 Dec 2002 10:27:42 +0000
Message-Id: <>
To: pat hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org

At 11:15 AM 12/16/02 -0600, pat hayes wrote:
>My own usage is that 'inconsistent' refers to any unsatisfiable syntactic 
>condition, not just those involving negation. Description-logic frameworks 
>can become unsatisfiable in other ways than having (P and notP ) 
>derivable, since they aren't necessarily deductively complete.
>But perhaps it would have been better to have used 'unsatisfiable'. I'll 
>take that as a last-call fix before final pub, OK?

I'll be happy with whatever your judgement may be on this.


Graham Klyne
Received on Tuesday, 17 December 2002 06:25:21 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:03 UTC