Re: Semantic Review

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: Re: Semantic Review
Date: Tue, 31 Dec 2002 21:06:10 +0100

> 
> > There is no such thing as the empty property in OWL.
> 
> Uhh?
> 
> How about
> 
> ObjectProperty(<eg:empty>,range(Nothing))
> ObjectProperty(<eg:x>,Functional)

You are correct.

> This entails:
> 
> SubPropertyOf(<eg:empty>,<eg:x>)
> ObjectProperty(<eg:empty>,Transitive).
> 
> but I take the first document to be legal OWL DL.

It would not be, I guess, although I don't think that this wrinkle is
completely worked out.  That is, it might be possible to allow this but I'm
not sure.  

> Jeremy

peter