Re: Semantic Review

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Tue, 31 Dec 2002 15:12:43 -0500 (EST)
• To: jjc@hpl.hp.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20021231.151243.128875659.pfps@research.bell-labs.com>

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

Received on Tuesday, 31 December 2002 15:12:52 UTC