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 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:55 EDT