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

2011/8/20 Pascal Hitzler <pascal.hitzler@wright.edu>

> "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).
>

One example would be the NBox (Negation As Failure Box) approach. An NBox is
a set of class names and object property names, whose extensions are closed.
Full negation in front of closed classes functions as Negation as Failure.
In other words, if an individual is not inferred to be an instance(s) of a
closed class, then it is regarded as an instance of the negation of that
closed class.

See the following paper for details:
Yuan Ren, Jeff Z. Pan and Yuting Zhao. *Closed World Reasoning for OWL2 with
NBox*. In *Journal of Tsinghua Science and Technology, 15(6)*. 2010.
[Bibtex<http://www.abdn.ac.uk/%7Ecsc280/pan-bib8.shtml#RPZ2010c>,
PDF <http://www.abdn.ac.uk/%7Ecsc280/pub/RPZ2010c.pdf>]

You can also try NBox with TrOWL: http://trowl.eu/?page_id=232

Cheers,

Jeff



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