- From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
- Date: Tue, 26 Feb 2002 01:46:09 +0100
- To: WebOnt <www-webont-wg@w3.org>
Current wording: Due to the size and rate of change on the Web, the closed-world assumption (which states that anything that cannot not be inferred is assumed to be false) is inappropriate. However, there are many situations where closed-world information would be useful. Therefore, the language must be able to specify when certain documents have complete information on certain topics. Examples might include the complete set of instances of a class or the complete set of members in a list. Proposed Wording: ... two sentenced remain unchanged ... Therefore, the language must be able to state that a given ontolog can be regarded as complete. This would then sanction additional inferences to be drawn from that ontology. The precise semantics of such a statement (and the corresponding set of inferences) remains to be defined, but examples might include assuming completeness of class-membership and assuming exhaustiveness of subclasses. Comments: 1. I refer to Pat's email [1] for keeping this on board 2. I tried to make the issue clear while keeping the details open as much as possible (there is clearly work to be done here). Frank. ---- [1] http://lists.w3.org/Archives/Public/www-webont-wg/2002Feb/0098.html
Received on Monday, 25 February 2002 19:47:08 UTC