- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 24 Jul 2003 12:59:22 +0300
- To: www-webont-wg@w3.org
Mehrdad: > In OWL-DL (as in FOL), the universe of the interpretation is always > required to be a non-empty set. that was true in the LC documents; however a careful reeading of the current editors draft of the direct semantics does not indicate that the interpretation of owl:Thing must be non-empty. Jeremy
Received on Thursday, 24 July 2003 06:59:47 UTC