W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

Re: Guide: Legal syntax?

From: Dan Connolly <connolly@w3.org>
Date: 29 Oct 2002 11:45:27 -0600
To: "Smith, Michael K" <michael.smith@eds.com>
Cc: webont <www-webont-wg@w3.org>
Message-Id: <1035913528.23979.7840.camel@dirk>

On Tue, 2002-10-29 at 11:22, Smith, Michael K wrote:
> The question arose in our breakout session on the Guide as to whether the
> following is syntactically legal.  I had simply assumed it was.

Yes, I don't see any reason why not.

>  The issue
> is that we are combining what the abstract syntax labels a 'complete' class
> equivalence with a 'partial' one.

I'm not familiar enough with the abstract syntax to say
whether this is in "fast" owl, but I'd expect it is.

>  E.g. white Burgundies are exactly the
> intersection of Burgundy and WhiteWine AND white Burgundies are a subClass
> of things made from the Chardonnay grape.
>  <owl:Class rdf:ID="WhiteBurgundy">
>     <owl:intersectionOf rdf:parseType="Collection">
>       <owl:Class rdf:about="#Burgundy" />
>       <owl:Class rdf:about="#WhiteWine" />
>     </owl:intersectionOf>
>     <rdfs:subClassOf>
>       <owl:Restriction>
>         <owl:onProperty rdf:resource="#madeFromVarietal" />
>         <owl:hasValue rdf:resource="#ChardonnayGrape" />
>       </owl:Restriction>
>     </rdfs:subClassOf>
>   </owl:Class>
> As far as the XML syntax schema that Peter sent out, this looks fine, modulo
> tag names like owl:SubClassOf.

Yup; cwm accepts it*, and offers the following N3 presentation syntax:

    :WhiteBurgundy     a owl:Class;
         rdfs:subClassOf  [
             a owl:Restriction;
             owl:hasValue :ChardonnayGrape;
             owl:onProperty :madeFromVarietal ];
         owl:intersectionOf  (
        :WhiteWine  ) .

*after I change Collection to daml:collection; gotta
update cwm's RDF parser in that respect.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 29 October 2002 12:45:12 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:48 UTC