rdf-mt/tests/manifest-az.ttl
author azimmerm
Wed, 02 Oct 2013 17:37:12 +0200
changeset 1123 c1f078332a11
child 1134 8f9b06246313
permissions -rw-r--r--
Additional test cases for semantics.
     1 # Unapproved RDF Schema and Semantics tests
     2 ## Distributed under both the W3C Test Suite License[1] and the W3C 3-
     3 ## clause BSD License[2]. To contribute to a W3C Test Suite, see the
     4 ## policies and contribution forms [3]
     5 ##
     6 ## 1. http://www.w3.org/Consortium/Legal/2008/04-testsuite-license
     7 ## 2. http://www.w3.org/Consortium/Legal/2008/03-bsd-license
     8 ## 3. http://www.w3.org/2004/10/27-testcases
     9 
    10 @prefix rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
    11 @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
    12 @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
    13 @prefix rdft:   <http://www.w3.org/ns/rdftest#> .
    14 @prefix xsd:   <http://http://www.w3.org/2000/01/rdf-schema#> .
    15 
    16 <> rdf:type mf:Manifest ;
    17   rdfs:comment "Unapproved RDF Semantics tests" ;
    18   mf:entries (
    19     <#horst-complete-rules>
    20     <#ill-formed-string>
    21     <#inconsistent-recognizing-integer>
    22     <#langstring-disjoint-string>
    23     <#langstring-not-subclassof-string>
    24     <#langstring>
    25     <#manifest>
    26     <#only-one-class>
    27     <#only-one-property>
    28     <#only-two-classes>
    29     <#only-two-properties>
    30     <#rdf11-tautology>
    31     <#resource-is-literal>
    32     <#same-as-one>
    33     <#unrecognized-datatype001>
    34     <#unrecognized-datatype002>
    35     <#unrecognized-datatype003>
    36     <#well-formed-html>
    37   ) .
    38 
    39 <#ill-formed-string> a mf:PositiveEntailmentTest;
    40   mf:name "ill-formed-string";
    41   rdfs:comment """
    42     XSD Strings do not allow the null code point \0000.
    43   """;
    44   mf:entailmentRegime "Simple" ;
    45   mf:recognizedDatatypes ( xsd:string ) ;
    46   mf:unrecognizedDatatypes ( ) ;
    47   mf:action <az-tests/ill-formed-string.ttl>;
    48   mf:result false .
    49 
    50 <#well-formed-html> a mf:NegativeEntailmentTest;
    51   mf:name "well-formed-html";
    52   rdfs:comment """
    53     rdf:HTML does allow the null code point \0000.
    54   """;
    55   mf:entailmentRegime "Simple" ;
    56   mf:recognizedDatatypes ( rdf:HTML ) ;
    57   mf:unrecognizedDatatypes ( ) ;
    58   mf:action <az-tests/well-formed-html.ttl>;
    59   mf:result false .
    60 
    61 <#langstring-disjoint-string> a mf:PositiveEntailmentTest;
    62   mf:name "langstring-disjoint-string";
    63   rdfs:comment """
    64     langStrings are not strings.
    65   """;
    66   mf:entailmentRegime "RDFS" ;
    67   mf:recognizedDatatypes ( xsd:string rdf:langString ) ;
    68   mf:unrecognizedDatatypes ( ) ;
    69   mf:action <az-tests/langstring-disjoint-string.ttl>;
    70   mf:result false .
    71 
    72 <#langstring-not-subclassof-string> a mf:PositiveEntailmentTest;
    73   mf:name "langstring-not-subclassof-string";
    74   rdfs:comment """
    75     rdf:langString not a subclass of xsd:string.
    76   """;
    77   mf:entailmentRegime "RDFS" ;
    78   mf:recognizedDatatypes ( xsd:string rdf:langString ) ;
    79   mf:unrecognizedDatatypes ( ) ;
    80   mf:action <az-tests/langstring-not-subclassof-string.ttl>;
    81   mf:result false .
    82 
    83 <#unrecognized-datatype001> a mf:NegativeEntailmentTest;
    84   mf:name "unrecognized-datatype001";
    85   rdfs:comment """
    86     Literals typed with unrecognized datatypes may denote anything, including another datatype's value.
    87   """;
    88   mf:entailmentRegime "RDFS" ;
    89   mf:recognizedDatatypes ( xsd:integer ) ;
    90   mf:unrecognizedDatatypes ( ex:dt ) ;
    91   mf:action <az-tests/unrecognized-datatype001.ttl>;
    92   mf:result false .
    93 
    94 <#unrecognized-datatype002> a mf:NegativeEntailmentTest;
    95   mf:name "unrecognized-datatype002";
    96   rdfs:comment """
    97     Unrecognized datatypes may denote anything.
    98 	Literals typed with unrecognized datatypes will not be inferred to be
    99 	member of the datatype.
   100   """;
   101   mf:entailmentRegime "RDFS" ;
   102   mf:recognizedDatatypes ( ) ;
   103   mf:unrecognizedDatatypes ( ex:dt ) ;
   104   mf:action <az-tests/unrecognized-datatype002.ttl>;
   105   mf:result <az-tests/unrecognized-datatype003.ttl> .
   106 
   107 <#rdf11-tautology> a mf:PositiveEntailmentTest;
   108   mf:name "rdf11-tautology";
   109   rdfs:comment """
   110     In RDF 1.1, all IRIs denote.
   111   """;
   112   mf:entailmentRegime "RDFS" ;
   113   mf:recognizedDatatypes ( ) ;
   114   mf:unrecognizedDatatypes ( ) ;
   115   mf:action <rdfms-seq-representation/empty.nt>;
   116   mf:result <az-tests/rdf11-tautology.ttl> .
   117 
   118 <#langstring> a mf:PositiveEntailmentTest;
   119   mf:name "langstring";
   120   rdfs:comment """
   121     Language-tagged strings are now typed with rdf:langString.
   122   """;
   123   mf:entailmentRegime "RDF" ;
   124   mf:recognizedDatatypes ( rdf:langString ) ;
   125   mf:unrecognizedDatatypes ( ) ;
   126   mf:action <az-tests/langstring001.nt>;
   127   mf:result <az-tests/langstring002.ttl> .
   128 
   129 <#horst-complete-rules> a mf:PositiveEntailmentTest;
   130   mf:name "horst-complete-rules";
   131   rdfs:comment """
   132     Entailment that was not captured by the rules in RDF 1.0 Semantics.
   133   """;
   134   mf:entailmentRegime "RDFS" ;
   135   mf:recognizedDatatypes ( ) ;
   136   mf:unrecognizedDatatypes ( ) ;
   137   mf:action <az-tests/horst-complete-rules001.nt>;
   138   mf:result <az-tests/horst-complete-rules002.ttl> .
   139 
   140 <#inconsistent-recognizing-integer> a mf:PositiveEntailmentTest;
   141   mf:name "inconsistent-recognizing-integer";
   142   rdfs:comment """
   143     If everything is an integer and another datatype is recognized (such as xsd:string)
   144 	then there is an inconsistency.
   145   """;
   146   mf:entailmentRegime "RDFS" ;
   147   mf:recognizedDatatypes (  xsd:integer xsd:string ) ;
   148   mf:unrecognizedDatatypes ( ) ;
   149   mf:action <az-tests/inconsistent-recognizing-integer.nt>;
   150   mf:result false .
   151 
   152 <#resource-is-literal> a mf:PositiveEntailmentTest;
   153   mf:name "resource-is-literal";
   154   rdfs:comment """
   155     In RDF 1.1, all IRIs denote, so if something applies to all resources, it applies to all IRIs.
   156   """;
   157   mf:entailmentRegime "RDFS" ;
   158   mf:recognizedDatatypes (  ) ;
   159   mf:unrecognizedDatatypes ( ) ;
   160   mf:action <az-tests/resource-is-literal001.nt>;
   161   mf:result <az-tests/resource-is-literal002.nt> .
   162 
   163 <#only-one-property> a mf:PositiveEntailmentTest;
   164   mf:name "only-one-property";
   165   rdfs:comment """
   166     This forces all interpretations to have only one property, which has strange consequences.
   167   """;
   168   mf:entailmentRegime "RDFS" ;
   169   mf:recognizedDatatypes (  xsd:nonNegativeInteger xsd:nonPositiveInteger ) ;
   170   mf:unrecognizedDatatypes ( ) ;
   171   mf:action <az-tests/only-one-property.nt>;
   172   mf:result false .
   173 
   174 <#only-one-class> a mf:PositiveEntailmentTest;
   175   mf:name "only-one-property";
   176   rdfs:comment """
   177     This forces all interpretations to have only one class, which has strange consequences.
   178   """;
   179   mf:entailmentRegime "RDFS" ;
   180   mf:recognizedDatatypes (  xsd:nonNegativeInteger xsd:nonPositiveInteger ) ;
   181   mf:unrecognizedDatatypes ( ) ;
   182   mf:action <az-tests/only-one-class.nt>;
   183   mf:result false .
   184 
   185 <#same-as-one> a mf:PositiveEntailmentTest;
   186   mf:name "same-as-one";
   187   rdfs:comment """
   188     This forces two names to denote the number 1, so everything that applies to one name applies to the other.
   189   """;
   190   mf:entailmentRegime "RDFS" ;
   191   mf:recognizedDatatypes (  xsd:nonNegativeInteger xsd:nonPositiveInteger ) ;
   192   mf:unrecognizedDatatypes ( ) ;
   193   mf:action <az-tests/same-as-one001.nt>;
   194   mf:result <az-tests/same-as-one002.nt> .