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

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

From: Barclay, Daniel <daniel@fgm.com>
Date: Tue, 15 Sep 2009 13:40:15 -0400
Message-ID: <4AAFD17F.7030107@fgm.com>
To: <public-owl-comments@w3.org>
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 17:40:07 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:40:22 UTC