W3C home > Mailing lists > Public > public-rif-comments@w3.org > October 2009

[BLD] minor syntax problem in the BLD tests

From: Alexandre Riazanov <alexandre.riazanov@gmail.com>
Date: Tue, 13 Oct 2009 18:00:40 -0400
Message-ID: <a7f786b70910131500q617dd686s1356a9bb3fd40680@mail.gmail.com>
To: public-rif-comments@w3.org
Hi,

These BLD test cases from http://www.w3.org/TR/2009/WD-rif-test-20091001/
do not conform with the XML schema for BLD:

Annotation_Entailment-premise.rif
Individual-Data_Separation_Inconsistency-premise.rif
Non-Annotation_Entailment-premise.rif
OWL_Combination_Vocabulary_Separation_Inconsistency_1-premise.rif
OWL_Combination_Vocabulary_Separation_Inconsistency_2-premise.rif

For example, Annotation_Entailment-premise.rif says


      <location>
         <Const type="http://www.w3.org/2007/rif#iri">
http://example.org/mygraph</Const>
      </location>
      <profile>
         <Const type="http://www.w3.org/2007/rif#iri">
http://www.w3.org/2007/rif-import-profile#OWL-DL-annotation</Const>
      </profile>


whereas BLDRule.xsd says:


  <xs:element name="location">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="Const" type="ANYURICONST.type"/>   <!--
type="&xs;anyURI" -->
      </xs:sequence>
    </xs:complexType>
  </xs:element>

  <xs:element name="profile">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="Const" type="ANYURICONST.type"/>   <!--
type="&xs;anyURI" -->
      </xs:sequence>
    </xs:complexType>
  </xs:element>


  <xs:complexType name="ANYURICONST.type" mixed="true">
    <!-- sensitive to location/profile context-->
    <xs:sequence/>
    <xs:attribute name="type" type="xs:anyURI" use="required" fixed="
http://www.w3.org/2001/XMLSchema#anyURI"/>
  </xs:complexType>



Suggested fix:

      <location>
         <Const type="http://www.w3.org/2001/XMLSchema#anyURI">
http://example.org/mygraph</Const>
      </location>
      <profile>
         <Const type="http://www.w3.org/2001/XMLSchema#anyURI">
http://www.w3.org/2007/rif-import-profile#OWL-DL-annotation</Const>
      </profile>


The remaining tests have the same problem.


Cheers,
======================================
Dr. Alexandre Riazanov (Alexander Ryazanov)
Montreal, Canada
cell: +1 - 514 - 961 86 89
http://www.freewebs.com/riazanov/
http://www.linkedin.com/in/riazanov
======================================
Received on Tuesday, 13 October 2009 22:01:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 13 October 2009 22:01:20 GMT