- From: Boonserm (Serm) Kulvatunyou <serm@nist.gov>
- Date: Wed, 05 Mar 2003 10:55:11 -0500
- To: Qu Yuzhong <yzqu@seu.edu.cn>, "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
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