- From: Uschold, Michael F <michael.f.uschold@boeing.com>
- Date: Mon, 7 Feb 2005 13:09:35 -0800
- To: "Deborah L. McGuinness" <dlm@ksl.stanford.edu>
- Cc: <public-swbp-wg@w3.org>
Quibble with this wording: One of the benefits of working with a language that allows for open world reasoning, is that reasoners do not make closed world assumptions. --- This assumes what you are trying to demonstrate: that open world has a benefit compared to close world, but you do not say what the benefit is. Perhaps better to say something like: One of the benefits of working with a language that allows for open world reasoning, is that it avoids the problems that arise when reasoners make close world assumptions. This is not great either, because it still does not say what the benefit is. Mike -----Original Message----- From: Deborah L. McGuinness [mailto:dlm@ksl.stanford.edu] Sent: Thursday, February 03, 2005 12:59 PM To: SWBPD list Subject: ]OEP] update to the oep page describing the closing roles note I noticed that the original posting on this topic is not linked into the description. I suggest the following update on this page the topic could be: Closing Roles. Deborah McGuinness to draft. An initial limited description (with follow-up discussion) is available from the mailing list posting http://lists.w3.org/Archives/Public/public-swbp-wg/2004Oct/0052.html One of the benefits of working with a language that allows for open world reasoning, is that reasoners do not make closed world assumptions. Thus, it is sometimes important to state that there will be no additional values filling a slot so that reasoners can make inferences based on current values and their properties. This note discusses approaches to the problem and provides examples. deborah -- Deborah L. McGuinness Co-Director Knowledge Systems Laboratory Gates Computer Science Building, 2A Room 241 Stanford University, Stanford, CA 94305-9020 email: dlm@ksl.stanford.edu URL: http://ksl.stanford.edu/people/dlm (voice) 650 723 9770 (stanford fax) 650 725 5850
Received on Monday, 7 February 2005 21:10:15 UTC