Re: Defining cross products in OWL-1.1

Pat Hayes wrote:
> 
>> OWL does not permit an empty universe.
> 
> Right. For the record, neither does FOL or, indeed, almost any 
> classically defined logic.

After all, if we can be certain of anything, it's that the Web exists.

<ducks/>,

Dan