http://deleenheer.wordpress.com/2010/01/14/cure-for-the-closed-world-syndrome/ condensing fact from the vapour of nuance Tue, 18 Sep 2012 17:55:27 +0000 hourly 1 http://wordpress.com/ http://deleenheer.wordpress.com/2010/01/14/cure-for-the-closed-world-syndrome/#comment-146 Thu, 14 Jan 2010 15:34:55 +0000 http://deleenheer.wordpress.com/?p=703#comment-146 To be fair to the late Ray Reiter, inventor of the CWA in 1978, one has to realize that he developed it in the context of proof-theoretic view of relational databases, and that it more precisely stated that what one cannot *prove* to be true may be assumed false. Inferencing may provide one with new facts not present in the database, yet true. In other words, the “naive assumption” is exactly that, and so it may be equally hilarious to assume that all knowledge in a large scale distributed system is declared as tuples in its database(s). Systems that allow externalization of (even some) knowledge locked into its application programs however may be far less “closed” than they appear.

]]>