- From: Graham Klyne <GK@NineByNine.org>
- Date: Tue, 17 Dec 2002 10:27:42 +0000
- 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. #g ------------------- Graham Klyne <GK@NineByNine.org>
Received on Tuesday, 17 December 2002 06:25:21 UTC