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 Thursday, 31 March 2005 01:03:36 UTC