- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Sat, 20 Aug 2011 13:09:55 +0100
- To: Pascal Hitzler <pascal.hitzler@wright.edu>
- Cc: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
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 UTC