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