W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Re: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 05 Mar 2003 09:06:13 -0500 (EST)
Message-Id: <20030305.090613.113719485.pfps@research.bell-labs.com>
To: macgregor@ISI.EDU
Cc: www-rdf-logic@w3.org

From: Bob MacGregor <macgregor@ISI.EDU>
Subject: RE: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?
Date: Tue, 04 Mar 2003 15:18:55 -0800

> 
> GreaterThan is a transitive Datatype Property.
> Equals is a symmetric Datatype Property.

Well, neither of these make much sense in OWL DL, domains and ranges of OWL
DL datatype properties are disjoint of necessity.

They even don't have much utility in RDF, as you can't state any facts
about such properties, as literals can't be the subject of triples.

peter
Received on Wednesday, 5 March 2003 09:06:39 GMT

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