Typo in previous message [was Re: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?]

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 UTC