W3C home > Mailing lists > Public > public-wai-ert@w3.org > June 2005

Re: OWL Restrictions

From: Charles McCathieNevile <chaals@opera.com>
Date: Fri, 03 Jun 2005 10:59:47 +0200
To: shadi@w3.org, public-wai-ert@w3.org
Message-ID: <op.srsdxxwjwxe0ny@widsith.local>

On Fri, 03 Jun 2005 10:36:10 +0200, Shadi Abou-Zahra <shadi@w3.org> wrote:

> Still playing around with the optimal way of integrating external  
> vocabulary into the EARL schema. Let's say we want to define  
> earl:TestSubject to have *exactly* one dc:date and *any number* of  
> dc:isPartOf. Additionally, the dc:isPartOf should point from on  
> earl:TestSubject to another. Does the following OWL construct behave the  
> way we want it to?

The caridinality stuff for dc:date makes sense. There seems to me little  
poiint in saying that it is possible to have a dc:isPartOf property - it  
is possible to have any RDF you want.

We make the suggestion that dc:isPartOf should be used, but there is no  
sensible way to enforce it that I can think of - Where we actively want  
something then it makes sense, and where we want to use other things as  
our domain or range it makes sense to include them. But I really see no  
need to add a note in the schema itself - perhaps an rdfs:seeAlso to the  
things that we want people to use.

I don't expect *people* to use the schema for anything other than checking  
that they have got their tools correct, having built them based on the  
examples in the spec. So those should be good and clear, and demonstrate  
all the optional features in practice.

(BTW thanks for doing this - it is one of my action items that was  
outstanding :-)



> <rdfs:Class rdf:about="&earl;TestSubject" rdfs:label="Subject being  
> tested">
>   <rdfs:subClassOf rdf:resource="&rdfs;Resource"/>   <rdfs:subClassOf>
>     <owl:Restriction>
>       <owl:onProperty rdf:resource="&dc;date"/>
>       <owl:minCardinality  
> rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
>       <owl:maxCardinality  
> rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
>     </owl:Restriction>
>     <owl:Restriction>
>       <owl:onProperty rdf:resource="&dc;isPartOf">
>         <rdfs:range rdf:resource="&earl;TestSubject"/>  
>       </owl:onProperty>
>       <owl:minCardinality  
> rdf:datatype="&xsd;nonNegativeInteger">0</owl:minCardinality>
>     </owl:Restriction>
>   </rdfs:subClassOf>
> </rdfs:Class>  
> Regards,
>   Shadi

Charles McCathieNevile                              chaals@opera.com
          hablo español - je parle français - jeg lærer norsk
   Here's one we prepared earlier:   http://www.opera.com/download
Received on Friday, 3 June 2005 09:00:05 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:55:52 UTC