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