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

Re: new topic: Should Closed World Assumption(CWA) and Open World Assumption(OWA) be integrated?

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Sat, 20 Aug 2011 13:09:55 +0100
Message-Id: <E147CD2B-184E-419E-9150-86E8A5934C26@cs.man.ac.uk>
Cc: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
To: Pascal Hitzler <pascal.hitzler@wright.edu>
Just out of curiosity, has anyone bother to articulate a full taxonomy? Eg a logic which defaults to OWA but let's you override it in particular situations vs the reverse? (An example perhaps would be Datalog with naf and a hex predicate to OWL.). I'm not sure what value "local" brings, esp if we consider NAF or epistemic operators. 

On Aug 20, 2011, at 12:33, Pascal Hitzler <pascal.hitzler@wright.edu> wrote:

> "Local Closed World" (LCW) simply stands for a combination of OWA and
> CWA. It means that a language has both capabilities (i.e., represent
> some things under OWA, some things under CWA).
> 
> Pascal.
> 
> On 8/20/2011 3:28 AM, duanyucong wrote:
>> 
>> Dear Pascal, Thanks for your reply. I will try to find the
>> literature. Please permit me to explore a little bit here.May i know
>> what does "Local Closed World Semantics" mean? Is it different from
>> CWA? How?and why? Thanks for your reply. Best regards, Yucong btw: my
>> email: duanyucong@hotmail.com
>>> To: duanyucong@hotmail.com CC: public-owl-dev@w3.org
>>> 
>> 
> 
> -- 
> Prof. Dr. Pascal Hitzler
> Dept. of Computer Science, Wright State University, Dayton, OH
> pascal@pascal-hitzler.de   http://www.knoesis.org/pascal/
> Semantic Web Textbook: http://www.semantic-web-book.org
> Semantic Web Journal: http://www.semantic-web-journal.net
> 
Received on Saturday, 20 August 2011 12:09:36 GMT

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