- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Thu, 14 Dec 2006 20:49:55 +0000
- To: "Gerd Wagner" <wagnerg@tu-cottbus.de>
- Cc: "'Dave Reynolds'" <der@hplb.hpl.hp.com>, <public-owl-dev@w3.org>
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 UTC