Mention that RDF is monotonic logic
Monotonic logic as a design decision. Couldnt find a suitable reference (!! bummer indeed) so modified this text. It is now broken out as a paragraph: "RDF is an assertional logic, in which each triple expresses a simple proposition. This imposes a fairly strict monotonic discipline on the language, so that it cannot express closed-world assumptions, local default preferences, and several other commonly used non-monotonic constructs. " @@I'd like to make it clear that this particular point isnt just something we didnt get around to, but a positive decision we made. @@I would like us to have this stated explicitly somewhere, and the concepts doc is the obvious place. Hint, hint?? This is actually quite timely, as there is mounting political pressure (mostly from the RuleML folk) to insert highly nonmonotonic extensions into the webont mix, and I'd like us to lock down the point that anything non-mon is not an RDF semantic extension.
See: http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Dec/0261.html
See: http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Dec/0279.html
Request that the concept document contain specific text pointing out that RDF is a monotonic logic.