W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2006

RE: OWL1.1 APis

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>
Message-ID: <004f01c71fbe$f9a75990$a2ca2b8d@informatik.tucottbus.de>

> 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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:54 GMT