Re: Re: Re: how to describe the range of this kind of property

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