W3C home > Mailing lists > Public > public-owl-comments@w3.org > September 2009

Re: rdf:plainLiteral spec. - error (backwards example assertion)

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Tue, 15 Sep 2009 19:59:52 +0100
Message-Id: <0A95C970-2AF1-4F55-B460-3436BB07A41A@cs.man.ac.uk>
Cc: <public-owl-comments@w3.org>
To: "Barclay, Daniel" <daniel@fgm.com>
Dear Daniel,

Thank you for your comment
      <http://lists.w3.org/Archives/Public/public-owl-comments/ 
2009Sep/0016.html>
on the OWL 2 Web Ontology Language last call drafts.

You are correct in saying that this is an error; it has now been fixed.

Please acknowledge receipt of this email to <mailto:public-owl- 
comments@w3.org> (replying to this email should suffice). In your  
acknowledgment please let us know whether or not you are satisfied  
with the working group's response to your comment.

Regards,
Ian Horrocks
on behalf of the W3C OWL Working Group


On 15 Sep 2009, at 18:40, Barclay, Daniel wrote:

> In the rdf:plainLiteral specification at
> http://www.w3.org/TR/2009/CR-rdf-plain-literal-20090611/,
> in section 2, the first example says:
>
>    ClassAssertion( a:i  MinCardinality( n a:property  
> DatatypeRestriction( xs:string xs:length 1 ) ) )
>
> Those (top-level) arguments are backwards, right?
>
>
> (The OWL 2 Class Assertions specification section at
> http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/#Class_Assertions
> specifies that the class-expression argument comes before the
> individual argument:
>
>    9.6.3 Class Assertions
>
>     A class assertion ClassAssertion( CE a ) states that the  
> individual a
>     is an instance of the class expression CE.
>
>     ClassAssertion :=
>       'ClassAssertion' '(' axiomAnnotations ClassExpression  
> Individual ')'
>
> )
>
> Daniel
> --
> (Plain text sometimes corrupted to HTML "courtesy" of Microsoft  
> Exchange.) [F]
>
>
>
Received on Tuesday, 15 September 2009 19:00:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 15 September 2009 19:00:35 GMT