[BLD] minor syntax problem in the BLD tests

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 UTC