W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2011

RE: A solution to integrate CWA into OWA.

From: Dave Andersen <dja222@hotmail.com>
Date: Wed, 2 Mar 2011 13:25:25 +0100
Message-ID: <COL116-W28CB558CCD7ED9AE918E8192C00@phx.gbl>
To: <sattler@cs.man.ac.uk>, <public-owl-dev@w3.org>, <pascal.hitzler@wright.edu>, <baojie@gmail.com>

Hi Uli,

>As an alternative, I'd suggest to go with (2): extend DL-query with (epistemic) 'Not2' so that we can distinguish e.g., between 
>- people who are known not to have any children and >- people who are not known to have any children. 
 the above are clearly two different concepts, it should be acceptable to 
have to different queries for them -- so as to not confuse them! 

AGREE! :-)

ANYTHING you propose!

It's just that I CAN'T STAND not being able to solve those queries with just SIMPLE boolean algebra.
(Oh, and I've sent an addendum)


Received on Wednesday, 2 March 2011 12:26:20 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:20 UTC