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

Typo in previous message [was 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:38:31 -0500 (EST)
Message-Id: <20030305.093831.46612842.pfps@research.bell-labs.com>
To: www-rdf-logic@w3.org

Argh!  I made a serious typographical error in a previous message.  I hope
that no one gets too confused.  See below for the correction.

peter


From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Subject: Re: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?
Date: Wed, 05 Mar 2003 08:59:58 -0500 (EST)

> 
> From: "Roger L. Costello" <costello@mitre.org>
> Subject: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?
> Date: Tue, 04 Mar 2003 17:18:12 -0500
> 
> > 
> > Hi Folks,
> > 
> > In the OWL Reference Version 1.0 document it defines TransitiveProperty
> > and SymmetricProperty as a subClassOf owl:ObjectProperty.
> > 
> > On the other hand, it defines FunctionalProperty as a subClassOf
> > rdf:Propery.
> > 
> > What is the reason for this?  Why isn't FunctionalProperty also defined
> > as a subClassOf owl:ObjectProperty?  
> > 
> > Thanks!  /Roger
> 
> In OWL DL there is a division of the universe between objects and the data
> values.  In OWL DL all OWL properties relate elements of the object part of
> the universe to either elements of the object part of the universe (object
> properties) or elements of the data part of the universe.  This means that
> it does not make sense to have symmetric or transitive object properties in
                                                         ^^^^^^
							 data-valued
> OWL DL.  However, it does make sense to have a functional property that
> relates objects to data values.
> 
> peter

peter
Received on Wednesday, 5 March 2003 09:38:43 GMT

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