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 message: [ Message body ]
Next message: Peter F. Patel-Schneider: "Re: Semantic Review"
Previous message: Peter F. Patel-Schneider: "Re: doing unnecessary work to keep Jeremy happy"
Maybe in reply to: Jeremy Carroll: "Semantic Review"
Next in thread: Peter F. Patel-Schneider: "Re: Semantic Review"
Reply: Peter F. Patel-Schneider: "Re: Semantic Review"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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