Re: TEST: 6 of 7: empty universe example,

> 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.


Received on Thursday, 24 July 2003 06:59:47 UTC