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)
• To: macgregor@ISI.EDU
• Cc: www-rdf-logic@w3.org
• Message-Id: <20030305.090613.113719485.pfps@research.bell-labs.com>

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 UTC