#Processed by Id: cwm.py,v 1.190 2006/08/09 23:20:42 syosi Exp # using base file:///Users/yosi/CVSROOT/WWW/2000/10/rdf-tests/rdfcore/Manifest.rdf # Notation3 generation by # notation3.py,v 1.191 2006/08/01 01:14:04 syosi Exp # Base was: file:///Users/yosi/CVSROOT/WWW/2000/10/rdf-tests/rdfcore/Manifest.rdf @prefix : . @prefix M: . @prefix Ma: . @prefix Man: . @prefix Man10: . @prefix Man11: . @prefix Man12: . @prefix Man13: . @prefix Man14: . @prefix Man15: . @prefix Man16: . @prefix Man17: . @prefix Man18: . @prefix Man19: . @prefix Man2: . @prefix Man20: . @prefix Man21: . @prefix Man22: . @prefix Man23: . @prefix Man24: . @prefix Man25: . @prefix Man3: . @prefix Man4: . @prefix Man5: . @prefix Man6: . @prefix Man7: . @prefix Man8: . @prefix Man9: . @prefix Mani: . @prefix Manif: . @prefix XML: . @prefix dat: . @prefix rdf: . @prefix rdfs: . a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . Man6:xsd-integer-decimal-compatible a :NegativeEntailmentTest; :approval ; :conclusionDocument [ a :False-Document ]; :datatypeSupport XML:decimal, XML:integer; :description """ The claim that xsd:integer is a subClassOF xsd:decimal is not incompatible with using the intensional semantics for datatypes. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . Man6:xsd-integer-string-incompatible a :PositiveEntailmentTest; :approval ; :conclusionDocument [ a :False-Document ]; :datatypeSupport XML:integer, XML:string; :description """ The claim that xsd:integer is a subClassOF xsd:string is incompatible with using the intensional semantics for datatypes. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :NT-Document . Man7:language-and-xml-literal a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport rdf:XMLLiteral; :description """ Language does not affect the denotation of rdf:XMLLiteral. NOTE that this is a change from previous versions of the spec. Langauge tags do not live on XMLLiterals. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "OBSOLETE" . Man7:language-ignored-for-numeric-types-1 a :PositiveEntailmentTest; :conclusionDocument ; :datatypeSupport XML:integer; :description """ Obsoleted: datatyped literals have no language tag. """; :entailmentRules rdf:, dat:; :premiseDocument ; :status "OBSOLETE" . Man7:language-ignored-for-numeric-types-2 a :PositiveEntailmentTest; :conclusionDocument ; :datatypeSupport XML:integer; :description """ Obsoleted: datatyped literals have no language tag. """; :entailmentRules rdf:, dat:; :premiseDocument ; :status "OBSOLETE" . Man7:language-ignored-for-numeric-types-3 a :PositiveEntailmentTest; :conclusionDocument ; :datatypeSupport XML:integer; :description """ Obsoleted: datatyped literals have no language tag. """; :entailmentRules rdf:, dat:; :premiseDocument ; :status "OBSOLETE" . Man7:language-important-for-non-dt-entailment-1 a :NegativeEntailmentTest; :conclusionDocument ; :description """ This test used to claim: Language attributes on a datatyped literal make them distinct for the purposes of non-datatype-aware entailments. There are no longer language tags on datatyped literals. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "OBSOLETE" . Man7:language-important-for-non-dt-entailment-2 a :NegativeEntailmentTest; :conclusionDocument ; :description """ This test used to claim: Language attributes on a datatyped literal make them distinct for the purposes of non-datatype-aware entailments. There are no longer language tags on datatyped literals. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "OBSOLETE" . Man7:non-well-formed-literal-1 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ Without datatype knowledge, a 'badly-formed' datatyped literal cannot be detected. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . Man7:non-well-formed-literal-2 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:integer; :description """ With appropriate datatype knowledge, a 'badly-formed' datatyped literal can be detected. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . Man7:plain-literal-and-xsd-string a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:string; :description """ A plain literal denotes the same thing as its corresponding xsd:string, where one exists. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . Man7:range-clash a :PositiveEntailmentTest; :approval ; :conclusionDocument [ a :False-Document ]; :datatypeSupport XML:decimal, XML:string; :description """ Where sufficient DT knowledge is available, a range clash may be detected; the document then contains a contradiction. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . Man7:semantic-equivalence-between-datatypes a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:decimal, XML:integer; :description """ Members of different datatypes may be semantically equivalent. """; :entailmentRules rdf:, dat:; :premiseDocument ; :status "APPROVED" . Man7:semantic-equivalence-within-type-1 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:integer; :description """ Demonstrating the semantic equivalence of two lexical forms of the same datatyped value. """; :entailmentRules rdf:, dat:; :premiseDocument ; :status "APPROVED" . Man7:semantic-equivalence-within-type-2 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:integer; :description """ As semantic-equivalence-within-type-1; the entailment works both ways. """; :entailmentRules rdf:, dat:; :premiseDocument ; :status "APPROVED" . Man7:test001 a :PositiveParserTest; :approval ; :description """ A simple datatype production; a language+datatype production. Simply duplicate the constructs under http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt """; :inputDocument ; :outputDocument ; :status "APPROVED" . Man7:test002 a :PositiveParserTest; :approval ; :description """ A parser is not required to know about well-formed datatyped literals. """; :inputDocument ; :outputDocument ; :status "APPROVED" . Man7:test008 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ From decisions listed in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html """; :entailmentRules :simpleEntailment; :premiseDocument ; :status "APPROVED" . Man7:test009 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ From decisions listed in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html """; :entailmentRules :simpleEntailment; :premiseDocument ; :status "APPROVED" . Man7:test010 a :PositiveEntailmentTest; :approval ; :conclusionDocument [ a :False-Document ]; :datatypeSupport rdf:XMLLiteral; :description """ From decisions listed in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . Man10:subClassOf-intensional a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ rdfs:subClassOf has intensional semantics, not extensional. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . Man10:subPropertyOf-intensional a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:integer, XML:string; :description """ rdfs:subPropertyOf has intensional semantics, not extensional. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ Test that ICEXT(I(rdfs:Literal)) is a subset of LV. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :NT-Document . Man17:error001 a :NegativeParserTest; :approval ; :description """ Does the treatment of literals conform to charmod ? Test for failure for literal not in Normal Form C This test case has been WITHDRAWN in light of changes to NFC handling in concepts """; :discussion ; :inputDocument ; :issue ; :status "WITHDRAWN" . Man17:error002 a :NegativeParserTest; :approval ; :description """ Does the treatment of literals conform to charmod ? Test for failure for literal not in Normal Form C This test case has been WITHDRAWN in light of changes to NFC handling in concepts """; :discussion ; :inputDocument ; :issue ; :status "WITHDRAWN" . Man17:test001 a :PositiveParserTest; :approval ; :description """ Does the treatment of literals conform to charmod ? Test for success of legal Normal Form C literal """; :discussion ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Ma:error001 a :NegativeParserTest; :approval ; :description """ Test for failure for uriref not in Normal Form C. """; :discussion ; :inputDocument ; :issue ; :status "OBSOLETE" . Ma:test001 a :PositiveParserTest; :approval ; :description """ A uriref is allowed to match non-US ASCII forms conforming to Unicode Normal Form C. No escaping algorithm is applied. """; :discussion ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Ma:test002 a :PositiveParserTest; :approval ; :description """ A uriref which already has % escaping is permitted. No unescaping algorithm is applied. """; :discussion ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Ma:test003 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ An international URI ref and its %-escaped form label different nodes in the graph. No model theoretic relationship holds between them. """; :discussion ; :entailmentRules rdf:; :issue ; :premiseDocument ; :status "APPROVED" . Ma:test004 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ An international URI ref and its %-escaped form label different nodes in the graph. No model theoretic relationship holds between them. """; :discussion ; :entailmentRules rdf:; :issue ; :premiseDocument ; :status "APPROVED" . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Manif:error001 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . Manif:error002 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . Manif:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Manif:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Manif:test003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Manif:test004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Manif:test005 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETED" . Manif:test006 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Manif:test007 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Manif:test008 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :PositiveParserTest; :approval ; :description """ A surrounding rdf:RDF element is no longer mandatory. """; :inputDocument ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . Man14:error0001 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0002 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0003 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0004 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0005 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0006 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0007 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0008 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:error0009 a :NegativeParserTest; :description """ This is again legal RDF """; :inputDocument ; :issue ; :status "OBSOLETE" . Man14:test0001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man14:test0003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0005 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0006 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0007 a :PositiveParserTest; :description """ rdf:aboutEach no longer valid. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man14:test0008 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man14:test0009 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0010 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0011 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0012 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0013 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man14:test0014 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man20:error001 a :NegativeParserTest; :approval ; :inputDocument ; :status "APPROVED" . Man20:error002 a :NegativeParserTest; :approval ; :inputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . Man16:error1 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . Man16:test1 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man16:test2 a :PositiveParserTest; :approval ; :description """ This test shows the treatment of non-ASCII characters in the value of rdf:ID attribute. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man16:test3 a :PositiveParserTest; :approval ; :description """ This test shows the treatment of non-ASCII characters in the value of rdf:about attribute. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :PositiveParserTest; :approval ; :description """ The question posed to the RDF WG was: should an RDF document containing multiple rdf:_n properties (with the same n) on an element be rejected as illegal? The WG decided that a parser should accept that case as legal RDF. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . Man23:error001 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . Man23:error002 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . Man23:error003 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . Man23:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test005 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test006 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test007 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test008 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test009 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test010 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test011 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test012 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test013 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test014 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test015 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test016 a :PositiveParserTest; :approval ; :description """ Like rdfms-empty-property-elements/test001.rdf but with a processing instruction as the only content of the otherwise empty element. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man23:test017 a :PositiveParserTest; :approval ; :description """ Like rdfms-empty-property-elements/test001.rdf but with a comment as the only content of the otherwise empty element. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man:test003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man:test004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man:test005 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man2:test001 a :PositiveParserTest; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . Man2:test002 a :PositiveParserTest; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . Man2:test003 a :PositiveParserTest; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . Man2:test004 a :PositiveParserTest; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . Man2:test005 a :PositiveParserTest; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man8:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test005 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test006 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test007 a :NegativeParserTest; :approval ; :description """ rdf:bagID is forbidden on property element prop with an rdf:resource or rdf:parseType attribute: the following is in error. """; :inputDocument ; :issue ; :status "OBSOLETE" . Man8:test008 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test009 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test010a a :PositiveParserTest; :approval ; :description """ Two property attributes and a property element on an rdf:Description. Since the property attributes are not ordered under document order, two different n-triples files corresponding to both possible orderings are permitted. One of test010a and test010b SHOULD pass, at least. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test010b a :PositiveParserTest; :approval ; :description """ Two property attributes and a property element on an rdf:Description. Since the property attributes are not ordered under document order, two different n-triples files corresponding to both possible orderings are permitted. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test011a a :PositiveParserTest; :approval ; :description """ Two property attributes and a property element on an rdf:Description. Since the property attributes are not ordered under document order, two different n-triples files corresponding to both possible orderings are permitted. One of test011a and test011b SHOULD pass, at least. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test011b a :PositiveParserTest; :approval ; :description """ Two property attributes and a property element on an rdf:Description. Since the property attributes are not ordered under document order, two different n-triples files corresponding to both possible orderings are permitted. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test012a a :PositiveParserTest; :approval ; :description """ Two property attributes and a property element on an rdf:Description. Since the property attributes are not ordered under document order, two different n-triples files corresponding to both possible orderings are permitted. One of test012a and test012b SHOULD pass, at least. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man8:test012b a :PositiveParserTest; :approval ; :description """ Two property attributes and a property element on an rdf:Description. Since the property attributes are not ordered under document order, two different n-triples files corresponding to both possible orderings are permitted. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :NT-Document . Man24:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man24:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man24:test003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man24:test004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man24:test005 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . Man12:error001 a :NegativeParserTest; :inputDocument ; :status "NOT_APPROVED" . Man12:error002 a :NegativeParserTest; :inputDocument ; :status "NOT_APPROVED" . Man12:error003 a :NegativeParserTest; :inputDocument ; :status "NOT_APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . Man18:error001 a :NegativeParserTest; :approval ; :description """ The value of rdf:ID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :status "APPROVED" . Man18:error002 a :NegativeParserTest; :approval ; :description """ The value of rdf:ID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :status "APPROVED" . Man18:error003 a :NegativeParserTest; :approval ; :description """ The value of rdf:ID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :status "APPROVED" . Man18:error004 a :NegativeParserTest; :approval ; :description """ The value of rdf:ID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :status "APPROVED" . Man18:error005 a :NegativeParserTest; :approval ; :description """ The value of rdf:ID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :status "APPROVED" . Man18:error006 a :NegativeParserTest; :approval ; :description """ The value of rdf:bagID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :status "APPROVED" . Man18:error007 a :NegativeParserTest; :approval ; :description """ The value of rdf:bagID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . M:error-001 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-002 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-003 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-004 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-005 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-006 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-007 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-008 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-009 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-010 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-011 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-012 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-013 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-014 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-015 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-016 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-017 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-018 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-019 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:error-020 a :NegativeParserTest; :approval ; :inputDocument ; :issue ; :status "APPROVED" . M:test-001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-005 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-006 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-007 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-008 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-009 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-010 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-011 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-012 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-013 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-014 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-015 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-016 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-017 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-018 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-019 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-020 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-021 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-022 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-023 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-024 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-025 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-026 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-027 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-028 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-029 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-030 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-031 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-032 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-033 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-034 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-035 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-036 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:test-037 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . M:warn-001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED"; :warning " allowed with warnings " . M:warn-002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED"; :warning " allowed with warnings " . M:warn-003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED"; :warning " allowed with warnings " . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . Man9:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man9:test002 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ Statement of the MT closure rule. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . Man9:test003 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ Statement of the MT closure rule. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . Man9:test004 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ Statement of the MT closure rule. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . Man13:error001 a :NegativeParserTest; :approval ; :description """ The value of rdf:nodeID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :issue ; :status "APPROVED" . Man13:error002 a :NegativeParserTest; :approval ; :description """ The value of rdf:nodeID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :issue ; :status "APPROVED" . Man13:error003 a :NegativeParserTest; :approval ; :description """ The value of rdf:nodeID must match the XML Name production, (as modified by XML Namespaces). """; :inputDocument ; :issue ; :status "APPROVED" . Man13:error004 a :NegativeParserTest; :approval ; :description """ Cannot have rdf:nodeID and rdf:ID. """; :inputDocument ; :issue ; :status "APPROVED" . Man13:error005 a :NegativeParserTest; :approval ; :description """ Cannot have rdf:nodeID and rdf:about. """; :inputDocument ; :issue ; :status "APPROVED" . Man13:error006 a :NegativeParserTest; :approval ; :description """ Cannot have rdf:nodeID and rdf:resource. """; :inputDocument ; :issue ; :status "APPROVED" . Man13:test001 a :PositiveParserTest; :approval ; :description """ rdf:nodeID can be used to label a blank node. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man13:test002 a :PositiveParserTest; :approval ; :description """ rdf:nodeID can be used to label a blank node. These have file scope and are distinct from any unlabelled blank nodes. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man13:test003 a :PositiveParserTest; :approval ; :description """ On an rdf:Description or typed node rdf:nodeID behaves similarly to an rdf:about. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man13:test004 a :PositiveParserTest; :approval ; :description """ On a property element rdf:nodeID behaves similarly to rdf:resource. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man21:error001 a :MiscellaneousTest; :approval ; :description """ An RDF/XML serlializer is recommended to produce an exception if asked to serialize the following graph since there is no way to represent it in the RDF/XML syntax. """; :document ; :status "APPROVED"; :warning """ An RDF/XML serlializer is recommended to produce an exception if asked to serialize the following graph since there is no way to represent it in the RDF/XML syntax. """ . Man21:test001 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :NT-Document . a :RDF-XML-Document . Man25:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man25:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man19:test001 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . Man19:test002 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . Man19:test003 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . Man19:test004 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . Man19:test005 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . Man19:test006 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . Man19:test007a a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ Plain literals are distinguishable on the basis of language tags. """; :entailmentRules :simpleEntailment; :premiseDocument ; :status "APPROVED" . Man19:test007b a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ Plain literals are distinguishable on the basis of language tags. """; :entailmentRules :simpleEntailment; :premiseDocument ; :status "APPROVED" . Man19:test007c a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ Plain literals are distinguishable on the basis of language tags. """; :entailmentRules :simpleEntailment; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :NT-Document . a :NT-Document . a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ While it is a superproperty, _:a _:b . does NOT entail _:a _:b . for any _n. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . Man5:conjunction-test a :PositiveEntailmentTest; :conclusionDocument ; :description """ Should a property be allowed more than one rdfs:range property? What should the semantics of multiple domain and range properties be? -> Multiple domain and range constraints are permissable and will have conjunctive semantics. test001 describes a property with rdfs:domain the intersection of 2 domains test002 describes a property with rdfs:range the intersection of 2 ranges test003 sample statement test004 entailed description using test001, test002, test003 and the rules for RDF and RDFS entailment (see http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/ ) """; :entailmentRules rdf:, rdfs:; :issue ; :premiseDocument , , ; :status "NOT_APPROVED" . Man5:intensionality-domain a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ RDF Semantics defines rdfs:range to have an intensional reading of domain. However, semantic extensions may give an extensional reading to domain. The premise/conclusion pair is a non-entailment for RDFS reasoning, but may hold in semantic extensions. """; :entailmentRules rdf:, rdfs:; :issue , ; :premiseDocument ; :status "APPROVED" . Man5:intensionality-range a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ RDF Semantics defines rdfs:range to have an intensional reading. However, semantic extensions may give an extensional reading to range. The premise/conclusion pair is a non-entailment for RDFS reasoning, but may hold in semantic extensions. """; :entailmentRules rdf:, rdfs:; :issue , ; :premiseDocument ; :status "APPROVED" . Man5:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man5:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man5:test003 a :PositiveParserTest; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . Man5:test004 a :PositiveParserTest; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man22:test001 a :PositiveEntailmentTest; :approval ; :conclusionDocument [ a :False-Document ]; :description """ Indicating a simple inconsistency drawn from RDFS. RDFS can only produce inconsistencies through badly-formed XMLLiteral datatypes. """; :entailmentRules rdf:, rdfs:; :issue ; :premiseDocument ; :status "APPROVED" . Man22:test002 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ From an inconsistent graph, any entailment can be drawn. This is an example. """; :entailmentRules rdf:, rdfs:; :issue ; :premiseDocument [ a :False-Document ]; :status "APPROVED" . a :NT-Document . a :NT-Document . a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ Cycles are permitted in subClassOf; therefore, no error occurs and the following entailment holds trivially. """; :entailmentRules rdf:, rdfs:; :issue ; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ Cycles are permitted in subPropertyOf; therefore, no error occurs and the following entailment holds trivially. """; :entailmentRules rdf:, rdfs:; :issue ; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NegativeEntailmentTest; :approval ; :conclusionDocument [ a :False-Document ]; :description """ an instance of the Property class may have an rdfs:subClassOf property. the meaning of such a property is defined by the model theory. The wording of the formal resolution is a bit bare, so let me add a few words of explanation. What this means is that a resource can be both a class and a property. This test is encoded as follows: a Property may have a subclass (that is, such an RDF graph is satisfiable) """; :entailmentRules rdf:, rdfs:; :issue ; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ The inheritance semantics of the subPropertyOf relationship needs to be clarified. => subProperties inherit conjunctively the domain and range of their superproperties """; :entailmentRules rdf:, rdfs:; :issue ; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :NT-Document . Man4:test001 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ RDFCore WG RESOLVED that a reified statement was a stating, not a statement. The following entailment does not, therefore, hold. """; :entailmentRules rdf:; :premiseDocument ; :status "APPROVED" . Man4:test002 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ RDFCore WG RESOLVED that a statement does NOT entail its reification. The following entailment does not, therefore, hold. """; :entailmentRules rdf:; :premiseDocument ; :status "APPROVED" . Man4:test003 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ RDFCore WG RESOLVED that a reified statement was a stating, not a statement. The following entailment does not, therefore, hold. This is the same as test001, but using RDFS-entailment. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . Man4:test004 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :description """ RDFCore WG RESOLVED that a statement does NOT entail its reification. The following entailment does not, therefore, hold. This is the same as test002, but using RDFS-entailment. """; :entailmentRules rdf:, rdfs:; :premiseDocument ; :status "APPROVED" . a :NT-Document . a :NT-Document . a :NT-Document . a :NT-Document . Man15:language-tag-case-1 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ The case of the language tag is not significant. """; :entailmentRules rdf:; :premiseDocument ; :status "APPROVED" . Man15:language-tag-case-2 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :description """ The case of the language tag is not significant. """; :entailmentRules rdf:; :premiseDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . Mani:test001 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . Mani:test002 a :PositiveParserTest; :approval ; :inputDocument ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :PositiveParserTest; :approval ; :description """ Demonstrating the canonicalisation of XMLLiterals. """; :inputDocument ; :outputDocument ; :status "APPROVED" . a :NT-Document . a :RDF-XML-Document . Man3:error001 a :NegativeParserTest; :description """ This test case concerns URIs relative to a non-relative URI scheme base. It's beyond the scope of the WG to deal with this; it has therefore not been approved. """; :inputDocument ; :issue ; :status "NOT_APPROVED" . Man3:test001 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test002 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test003 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test004 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test005 a :PositiveParserTest; :description """ This is not valid rdf/xml. The embedding of RDF/XML in other XML formats is beyond the scope of these test cases. Test case withdrawn. """; :inputDocument ; :issue ; :outputDocument ; :status "OBSOLETE" . Man3:test006 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test007 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test008 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test009 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test010 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test011 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test012 a :PositiveParserTest; :approval ; :description """ Test case WITHDRAWN in light of 2396bis """; :inputDocument ; :issue ; :outputDocument ; :status "WITHDRAWN" . Man3:test013 a :PositiveParserTest; :approval ; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test014 a :PositiveParserTest; :approval ; :description """ Test output corrected to use correct base URL. """; :inputDocument ; :issue ; :outputDocument ; :status "APPROVED" . Man3:test015 a :PositiveParserTest; :approval ; :description """ This test case is deprecated. The use of mailto: URIs with xml:base is not within the scope of RDFCore's charter to sort out. """; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . Man3:test016 a :PositiveParserTest; :approval ; :description """ This test case is deprecated. The use of mailto: URIs with xml:base is not within the scope of RDFCore's charter to sort out. """; :inputDocument ; :issue ; :outputDocument ; :status "NOT_APPROVED" . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . a :NT-Document . a :RDF-XML-Document . Man11:whitespace-facet-1 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:int; :description """ A well-formed typed literal is not related to an ill-formed literal. Even if they only differ by whitespace. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . Man11:whitespace-facet-2 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:int; :description """ A well-formed typed literal is not related to an ill-formed literal. Even if they only differ by whitespace. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . Man11:whitespace-facet-3 a :PositiveEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:int; :description """ A simple test for well-formedness of a typed literal. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . Man11:whitespace-facet-4 a :NegativeEntailmentTest; :approval ; :conclusionDocument ; :datatypeSupport XML:int; :description """ An integer with whitespace is ill-formed. """; :entailmentRules rdf:, rdfs:, dat:; :premiseDocument ; :status "APPROVED" . a :RDF-XML-Document . a :RDF-XML-Document . a :RDF-XML-Document . #ENDS