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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:49 UTC