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

Re: OWL1.1 APis

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Thu, 14 Dec 2006 20:49:55 +0000
Message-Id: <AB5BF302-D0AF-47BF-B5C4-C3D8C1A01665@cs.man.ac.uk>
Cc: "'Dave Reynolds'" <der@hplb.hpl.hp.com>, <public-owl-dev@w3.org>
To: "Gerd Wagner" <wagnerg@tu-cottbus.de>

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.3.1 : Wednesday, 27 March 2013 09:32:54 GMT