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

Re: Semantic Review

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 31 Dec 2002 21:06:10 +0100
To: www-webont-wg@w3.org
Message-Id: <200212312106.10797.jjc@hpl.hp.com>

> There is no such thing as the empty property in OWL.

Uhh?

How about

ObjectProperty(<eg:empty>,range(Nothing))
ObjectProperty(<eg:x>,Functional)


This entails:

SubPropertyOf(<eg:empty>,<eg:x>)
ObjectProperty(<eg:empty>,Transitive).

but I take the first document to be legal OWL DL.

Jeremy
Received on Tuesday, 31 December 2002 15:08:05 GMT

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