RE: A solution to integrate CWA into OWA.

Dear Pat, If you kindly allow me to discuss a little more on the direction which you might mean by "......far-reaching metaphysical dimensions that you seem to think it has. ..." I would like to view from perspectives of semantic level, notation level and conceptual level.(semantic refers to the meaning of an expression in individuals's minds; notations are the symbols used for expression; concepts are elements of expressions which composes notations and semantics. )Then negotion mean different from these perspective. Part of what i would like to say outside OWL is that: at semantic level, the negation/"~" in OWA  is not completely the same as the negation/"~"  of  CWA. Sincerely, Yucong
 Subject: Re: A solution to integrate CWA into OWA.
From: bparsia@cs.man.ac.uk
Date: Fri, 19 Aug 2011 12:26:14 +0100
CC: public-owl-dev@w3.org
To: duanyucong@hotmail.com



I'm going to be blunt: AFAICT, most of what you've written is gibberish. I say this not to insult, though that's hardly avoidable, but to make clear how off base what you've written is. It may have its roots in some idiosyncratic terminological choices you make...I don't know.
On 18 Aug 2011, at 22:27, duanyucong wrote:Dear all,
 
I think that there is usually a misunderstanding on the meaning of CWA vs. OWA:

These are really well understood notions with reasonably precise technical meanings. I know people often *are* confused, but I don't think there's a systematic confusion in the literature.
This is a warning sign.
It is  because of that a discussion might be extended based on implicit understanding of the semantic possibilities of these two concepts.
 
for the cases like "...Therefore facts not stored in the database and not derivable from the existing data 
are considered false in the CWA and unknown or possible in the OWA.... " 
---http://www.dsc.ufcg.edu.br/~ulrich/Artigos/MITO SBBD97.pdf 

This is a perfectly reasonable, if not ideal, account.
My argumentation: 
1. in OWA, negation is not "considerated" at all.
Regardless of the scare quotes, this is trivially refutable.
	C => ~D.	~D => E.entails	C => E.Negation is fully considered.
	C & ~C => owl:Nothing.
Negation is fully (and actively) considered. I.e., unlike the first one, you cannot treat the negation as part of the atomic concept and preserve reasoning.
	a: C&~C.is inconsistent.
Negation is fully considered.
This is obviously standard first order negation.
 Or in another word, negation is not cognitively available in the mind, and subsequently not available in semantic expressions produced/organized in the mind. 
This is really quite meaningless even on congitive science terms, but is obviously unrelated to the technical, mathematical aspects of OWA/CWA.
Cheers,Bijan.