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

By making TransitiveProperty and SymmetricProperty subClassOf
owl:ObjectProperty, it says that TransitiveProperty and SymmetricProperty do
not apply to DataType?

- serm


----- Original Message -----
From: "Qu Yuzhong" <yzqu@seu.edu.cn>
To: "Roger L. Costello" <costello@mitre.org>
Cc: "Bob MacGregor" <macgregor@ISI.EDU>; "Peter Crowther"
<Peter.Crowther@networkinference.com>; "Jim Hendler" <hendler@cs.umd.edu>;
"Dan Connolly" <connolly@w3.org>; <www-rdf-logic@w3.org>
Sent: Tuesday, March 04, 2003 8:49 PM
Subject: Re: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?


>
>
>
> > 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 mathematics, TransitiveProperty and SymmetricProperty should be a
binary relation on a domain. In other words, the rdfs:domain and rdfs:range
of these kind of properties should be same. In addition, the relationships
between datatypes is supposed to be defined by XML Schema, not by RDFS or
OWL. So, It's fine to define TransitiveProperty and SymmetricProperty as a
subClassOf owl:ObjectProperty.
> > On the other hand, it's useful to define a relationship from an object
type to a datatype as a functional property. So the rdfs:range of a
FunctionalProperty could be a datatype, that's the reason why
FunctionalProperty is specified as a subClassOf rdf:Property ( not
owl:ObjectProperty).
>
> In sum, it's reasonable to do so.
>
> Yuzhong Qu
> --------------------------------------------------
> Dept. of Computer Science and Engineering
> Southeast University, Nanjing 210096, P. R. China
> Home Page: http://cse.seu.edu.cn/People/yzqu/en
> Research Group: http://xobjects.seu.edu.cn
> --------------------------------------------------
>
>
>

Received on Wednesday, 5 March 2003 12:08:55 UTC