LC3 Responses/DB10

From OWL
Jump to: navigation, search

To: daniel@fgm.com
CC: public-owl-comments@w3.org
Subject: [LC response] To Daniel Barclay

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



CUT AND PASTE THE BODY OF THE MESSAGE (I.E. FROM "Dear" TO "Group") INTO THE BODY OF AN EMAIL MESSAGE. SET THE To:, CC:, AND Subject: LINES ACCORDINGLY.

PLEASE TRY TO REPLY IN A WAY THAT WILL ALLOW THREADING TO WORK APPROPRIATELY, I.E., SO THAT YOUR REPLY CONTINUES THE THREAD STARTED BY THE ORIGINAL COMMENT EMAIL


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 ')'

)