W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Re: Semantic Review

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:56 GMT