- From: Jeremy Wong <50263336@student.cityu.edu.hk>
- Date: Fri, 01 Apr 2005 11:20:45 +0800
- To: Yuzhong Qu <yzqu@seu.edu.cn>
- Cc: SWIG <semantic-web@w3.org>
Perhaps it's better to assert one more statement... rdf:nil a #PersonList . Jeremy ----- Original Message ----- From: "Yuzhong Qu" <yzqu@seu.edu.cn> To: "Jeremy Wong" <50263336@student.cityu.edu.hk> Cc: "SWIG" <semantic-web@w3.org> Sent: Thursday, March 31, 2005 9:06 AM Subject: Re: Re: Re: how to describe the range of this kind of property > Just a caveat for using rdf:first in restriction. > > It beyonds the scope of OWL DL. > > > > > Yuzhong Qu > > > ----- Original Message ----- > From: "Jeremy Wong" <50263336@student.cityu.edu.hk> > To: "l" <linst@yourw.com.cn> > Cc: "semantic-web" <semantic-web@w3.org> > Sent: Thursday, March 31, 2005 1:14 AM > Subject: Re: Re: Re: how to describe the range of this kind of property > > > > Hi l, > > What is the consequence if you can define the rdfs:range of the > module:composedBy property? > > Check out this one.. I am not sure if it works with your reasoner > either... > > <rdf:Property rdf:ID="composedBy"> > <rdfs:range rdf:resource="#PersonList"/> > </rdf:Property> > <owl:Class rdf:ID="PersonList"> > <rdfs:subClassOf > rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/> > <rdfs:subClassOf> > <owl:Restriction> > <owl:onProperty > rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#first"/> > <owl:allValuesFrom rdf:resource="#person"/> > </owl:Restriction> > </rdfs:subClassOf> > <rdfs:subClassOf> > <owl:Restriction> > <owl:onProperty > rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest"/> > <owl:allValuesFrom rdf:resource="#PersonList"/> > </owl:Restriction> > </rdfs:subClassOf> > </owl:Class> > > Let me know your results, anyway. > > > Jeremy > > ----- Original Message ----- > From: "l" <linst@yourw.com.cn> > To: "Jeremy Wong" <50263336@student.cityu.edu.hk> > Cc: "semantic-web" <semantic-web@w3.org> > Sent: Thursday, March 31, 2005 12:16 AM > Subject: Re: Re: Re: how to describe the range of this kind of property > > >> hi,Jeremy Wong£¡ >> What do you mean by "allow various classes"? Actually, there is only >> one class, but there are one or more individuals of this class in this >> collection. >> Just as you said,"It is *possible* to use rdf:parseType="Collection" >> even you have defined the rdfs:range as #person", in some owl validator, >> it is just ok, but in some other validator, it causes a warning. In any >> case, it is logical wrong. >> >> It is really a "must" for me. I choosed s:student from >> http://www.w3.org/TR/2004/REC-rdf-primer-20040210 just as an example. >> Actually, in my ontology concerning module, i want to illustrate the >> relation that one module is module:composedBy 1 or 2 or 3 or more >> submodules. And my question is how to describe the range of >> module:composedBy. >> >> Thank you for helps. And here in china it is late in night. Hope you >> and others could give me more suggestions and i would see and reply next >> morning. >> >> regards. >> >> >> ======= 2005-03-30 23:51:30 ÄúÔÚÀ´ÐÅÖÐдµÀ£º======= >> >>>Hi l, >>> >>>You'd better not to define the range of your property if you allow >>>various >>>classes for the range of the s:students property. It is not a must to >>>define >>>the range, anyway. >>> >>>It is *possible* to use rdf:parseType="Collection" even you have defined >>>the >>>rdfs:range as #person. However, it means that the anonymous Collection is >>>#person which is logically incorrect. >>> >>> >>>Jeremy >>> >>>----- Original Message ----- >>>From: "l" <linst@yourw.com.cn> >>>To: "Jeremy Wong" <50263336@student.cityu.edu.hk> >>>Cc: "semantic-web" <semantic-web@w3.org> >>>Sent: Wednesday, March 30, 2005 11:41 PM >>>Subject: Re: Re: how to describe the range of this kind of property >>> >>> >>>> Jeremy Wong,hi£¡ >>>> >>>> thanks. >>>> I prefer the first way. But how to describe the range of s:students? As >>>> i >>>> said, if it is <rdfs:range rdf:resource="#person"/>, it is impossible >>>> to >>>> use rdf:parseType="Collection" after s:students. >>>> regrads. >>>> >>>> ======= 2005-03-30 23:32:57 ÄúÔÚÀ´ÐÅÖÐдµÀ£º======= >>>> >>>>>l, >>>>> >>>>>There are 2 ways to say that there are 3 students in the course. >>>>> >>>>>A) Count the number of elements in the collection. Note that a >>>>>collection >>>>>is >>>>>closed, i.e. no more elements can be added. >>>>> >>>>>B) Add a property like "studentCount" to describe that there are 3 >>>>>students. >>>>> >>>>> >>>>>Jeremy >>>>> >>>>>----- Original Message ----- >>>>>From: "l" <linst@yourw.com.cn> >>>>>To: "semantic-web" <semantic-web@w3.org> >>>>>Sent: Wednesday, March 30, 2005 11:12 PM >>>>>Subject: how to describe the range of this kind of property >>>>> >>>>> >>>>>> Hi all, >>>>>> >>>>>> It really confuse me. >>>>>> In http://www.w3.org/TR/2004/REC-rdf-primer-20040210, there is a >>>>>> example: >>>>>> <rdf:Description rdf:about="http://example.org/courses/6.001"> >>>>>> <s:students rdf:parseType="Collection"> >>>>>> <rdf:Description >>>>>> rdf:about="http://example.org/students/Amy"/> >>>>>> <rdf:Description >>>>>> rdf:about="http://example.org/students/Mohamed"/> >>>>>> <rdf:Description >>>>>> rdf:about="http://example.org/students/Johann"/> >>>>>> </s:students> >>>>>> </rdf:Description> >>>>>> >>>>>> >>>>>> My question is how to describe the range of property s:students.. >>>>>> Below >>>>>> is >>>>>> a wrong description: <rdfs:range rdf:resource="#person"/>. This >>>>>> description is not compatible with above example. With this range >>>>>> description, I could only use s:students like this: >>>>>> <rdf:Description rdf:about="http://example.org/courses/6.001"> >>>>>> <s:students rdf:about="http://example.org/students/Amy"/> >>>>>> <rdf:Description rdf:about="http://example.org/courses/6.001"> >>>>>> <s:students rdf:about="http://example.org/students/Mohamed"/> >>>>>> <rdf:Description rdf:about="http://example.org/courses/6.001"> >>>>>> <s:students rdf:about="http://example.org/students/Johann"/> >>>>>> >>>>>> >>>>>> But actually, I want to say that this course has and only has 3 >>>>>> students, >>>>>> no more, no less. >>>>>> How could I do. >>>>>> Please help. >>>>>> >>>>>> Thanks and regards >>>>>> >>>>>> >>>>>> ¡¡ >>>>>> >>>>>> >>>>>> ¡¡¡¡¡¡¡¡ >>>>>> ¡¡ >>>>>> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡ >>>>>> >>>>> >>>>> >>>>> >>>> >>>> = = = = = = = = = = = = = = = = = = = = >>>> >>>> >>>> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Ö >>>> Àñ£¡ >>>> >>>> >>>> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡l >>>> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡linst@yourw.com.cn >>>> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡2005-03-30 >>>> >>>> >> >> = = = = = = = = = = = = = = = = = = = = >> >> >> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Ö >> Àñ£¡ >> >> >> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡l >> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡linst@yourw.com.cn >> ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡2005-03-31 >> >> > > > > > >
Received on Friday, 1 April 2005 03:22:04 UTC