- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Thu, 14 Dec 2006 21:32:25 +0100
- To: "'Bijan Parsia'" <bparsia@cs.man.ac.uk>, "'Dave Reynolds'" <der@hplb.hpl.hp.com>
- Cc: <public-owl-dev@w3.org>
> 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. -Gerd ---------------------------------------------------------------------------- --- Gerd Wagner Brandenburg University of Technology http://oxygen.informatik.tu-cottbus.de/IT
Received on Thursday, 14 December 2006 20:32:35 UTC