On Dec 14, 2006, at 8:32 PM, Gerd Wagner wrote: >> Remember that consistency and entailment are closely related, >> e.g., P is entailed by O if O & ~P is inconsistent. > > Only for classical logic, but not for many non-classical > logics that may be more relevant to KR than classical logic. Well this is so for RDF through OWL, which is, after all, what we are *very specifically* talking about. I am well aware of all sorts of non-classical logics, thanks! Cheers, Bijan.Received on Thursday, 14 December 2006 20:50:27 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:13 GMT