Update manifest to entailment regimes and fix up tests for changes to datatyped literals
authorPeter F. Patel-Schneider <pfpschneider@gmail.com>
Tue, 01 Oct 2013 16:31:32 -0700
changeset 1117 a3a19532aee8
parent 1116 68d68502a9da
child 1118 f544b3b24837
Update manifest to entailment regimes and fix up tests for changes to datatyped literals
rdf-mt/tests/manifest.ttl
--- a/rdf-mt/tests/manifest.ttl	Sat Sep 28 18:42:05 2013 -0700
+++ b/rdf-mt/tests/manifest.ttl	Tue Oct 01 16:31:32 2013 -0700
@@ -11,6 +11,7 @@
 @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
 @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
 @prefix rdft:   <http://www.w3.org/ns/rdftest#> .
[email protected] xsd:   <http://...#> .
 
 <> rdf:type mf:Manifest ;
   rdfs:comment "RDF Schema and Semantics tests" ;
@@ -67,6 +68,9 @@
     datatypes.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes-intensional/test001.nt>;
   mf:result false .
     
@@ -78,6 +82,9 @@
     datatypes.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes-intensional/test002.nt>;
   mf:result false .
     
@@ -88,18 +95,28 @@
     cannot be detected.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( xsd:integer ) ;
   mf:action <datatypes/test002.nt>;
   mf:result <datatypes/test002.nt> .
     
-<#datatypes-non-well-formed-literal-2> a mf:NegativeEntailmentTest;
+<#datatypes-non-well-formed-literal-2> a mf:PositiveEntailmentTest;
   mf:name "datatypes-non-well-formed-literal-2";
   rdfs:comment """
     With appropriate datatype knowledge, a 'badly-formed'
     datatyped literal can be detected.
   """;
+  rdfs:comment """
+    Ill-formed datatyped literals now are inconsistent.
+    Used to be negative entailment to <datatypes/test002b.nt>
+  """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:integer ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test002.nt>;
-  mf:result <datatypes/test002b.nt> .
+  mf:result false. 
     
 <#datatypes-semantic-equivalence-within-type-1> a mf:PositiveEntailmentTest;
   mf:name "datatypes-semantic-equivalence-within-type-1";
@@ -108,6 +125,9 @@
     the same datatyped value.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( xsd:integer ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test003a.nt>;
   mf:result <datatypes/test003b.nt> .
     
@@ -118,6 +138,9 @@
     both ways.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( xsd:integer ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test003b.nt>;
   mf:result <datatypes/test003a.nt> .
     
@@ -127,6 +150,9 @@
     Members of different datatypes may be semantically equivalent.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test005a.nt>;
   mf:result <datatypes/test005b.nt> .
     
@@ -137,6 +163,9 @@
     be detected; the document then contains a contradiction.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:decimal xsd:string ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test006.nt>;
   mf:result false .
     
@@ -147,6 +176,9 @@
     http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "simple" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test008a.nt>;
   mf:result <datatypes/test008b.nt> .
     
@@ -157,6 +189,9 @@
     http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "simple" ;
+  mf:recognizedDatatypes (  ) ;
+  mf:unrecognizedDatatypes ( xsd:integer ) ;
   mf:action <datatypes/test009a.nt>;
   mf:result <datatypes/test009b.nt> .
     
@@ -167,6 +202,9 @@
     http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test010.nt>;
   mf:result false .
     
@@ -177,6 +215,9 @@
     xsd:string, where one exists.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:string ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test011a.nt>;
   mf:result <datatypes/test011b.nt> .
     
@@ -186,6 +227,9 @@
     rdfs:subClassOf has intensional semantics, not extensional.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <horst-01/test001.ttl>;
   mf:result <horst-01/test002.ttl> .
     
@@ -195,6 +239,9 @@
     rdfs:subPropertyOf has intensional semantics, not extensional.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <horst-01/test003.ttl>;
   mf:result <horst-01/test004.ttl> .
     
@@ -204,6 +251,9 @@
     Test that ICEXT(I(rdfs:Literal)) is a subset of LV.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <pfps-10/test001a.nt>;
   mf:result <pfps-10/test001b.nt> .
     
@@ -215,6 +265,9 @@
     holds between them.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdf-charmod-uris/test001.ttl>;
   mf:result <rdf-charmod-uris/test002.ttl> .
     
@@ -226,6 +279,9 @@
     holds between them.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdf-charmod-uris/test002.ttl>;
   mf:result <rdf-charmod-uris/test001.ttl> .
     
@@ -235,6 +291,9 @@
     Statement of the MT closure rule.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfms-seq-representation/empty.nt>;
   mf:result <rdfms-seq-representation/test002.nt> .
     
@@ -244,6 +303,9 @@
     Statement of the MT closure rule.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfms-seq-representation/test003a.nt>;
   mf:result <rdfms-seq-representation/test003b.nt> .
     
@@ -253,6 +315,9 @@
     Statement of the MT closure rule.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfms-seq-representation/empty.nt>;
   mf:result <rdfms-seq-representation/test004.nt> .
     
@@ -263,6 +328,9 @@
     tags.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "simple" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfms-xmllang/test007a.nt>;
   mf:result <rdfms-xmllang/test007b.nt> .
     
@@ -273,6 +341,9 @@
     tags.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "simple" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfms-xmllang/test007b.nt>;
   mf:result <rdfms-xmllang/test007c.nt> .
     
@@ -283,6 +354,9 @@
     tags.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "simple" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfms-xmllang/test007c.nt>;
   mf:result <rdfms-xmllang/test007a.nt> .
     
@@ -293,6 +367,9 @@
     _:b . does NOT entail _:a <rdf:_n> _:b . for any _n.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-container-membership-superProperty/not1P.ttl>;
   mf:result <rdfs-container-membership-superProperty/not1C.ttl> .
     
@@ -306,6 +383,9 @@
     extensions.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-domain-and-range/premises005.ttl>;
   mf:result <rdfs-domain-and-range/nonconclusions005.ttl> .
     
@@ -319,6 +399,9 @@
     extensions.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-domain-and-range/premises006.ttl>;
   mf:result <rdfs-domain-and-range/nonconclusions006.ttl> .
     
@@ -329,7 +412,13 @@
     only produce inconsistencies through badly-formed XMLLiteral
     datatypes.
   """;
+  rdfs:comment """
+    rdf:XMLLiteral support is no longer mandatory.
+  """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-entailment/test001.nt>;
   mf:result false .
     
@@ -340,6 +429,9 @@
     is an example.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action false;
   mf:result <rdfs-entailment/test002.nt> .
     
@@ -350,6 +442,9 @@
     and the following entailment holds trivially.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-no-cycles-in-subClassOf/test001.ttl>;
   mf:result <rdfs-no-cycles-in-subClassOf/test001.nt> .
     
@@ -360,6 +455,9 @@
     occurs and the following entailment holds trivially.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-no-cycles-in-subPropertyOf/test001.ttl>;
   mf:result <rdfs-no-cycles-in-subPropertyOf/test001.nt> .
     
@@ -375,6 +473,9 @@
     subclass (that is, such an RDF graph is satisfiable)
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-subClassOf-a-Property/test001.nt>;
   mf:result false .
     
@@ -386,6 +487,9 @@
     the domain and range of their superproperties
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-subPropertyOf-semantics/test001.nt>;
   mf:result <rdfs-subPropertyOf-semantics/test002.nt> .
     
@@ -397,6 +501,9 @@
     hold.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <statement-entailment/test001a.nt>;
   mf:result <statement-entailment/test001b.nt> .
     
@@ -408,6 +515,9 @@
     hold.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <statement-entailment/test002a.nt>;
   mf:result <statement-entailment/test002b.nt> .
     
@@ -419,6 +529,9 @@
     hold. This is the same as test001, but using RDFS-entailment.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <statement-entailment/test001a.nt>;
   mf:result <statement-entailment/test001b.nt> .
     
@@ -430,6 +543,9 @@
     hold. This is the same as test002, but using RDFS-entailment.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <statement-entailment/test002a.nt>;
   mf:result <statement-entailment/test002b.nt> .
     
@@ -439,6 +555,9 @@
     The case of the language tag is not significant.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <tex-01/test001.ttl>;
   mf:result <tex-01/test002.ttl> .
     
@@ -448,6 +567,9 @@
     The case of the language tag is not significant.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDF" ;
+  mf:recognizedDatatypes ( ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <tex-01/test002.ttl>;
   mf:result <tex-01/test001.ttl> .
     
@@ -458,18 +580,28 @@
     literal. Even if they only differ by whitespace.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:int ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <xmlsch-02/test001.ttl>;
   mf:result <xmlsch-02/test002.ttl> .
     
-<#xmlsch-02-whitespace-facet-2> a mf:NegativeEntailmentTest;
+<#xmlsch-02-whitespace-facet-2> a mf:PositiveEntailmentTest;
   mf:name "xmlsch-02-whitespace-facet-2";
   rdfs:comment """
     A well-formed typed literal is not related to an ill-formed
     literal. Even if they only differ by whitespace.
   """;
+  rdfs:comment """
+    Ill-formed datatyped literals now are inconsistent.
+    Used to be negative entailment to <xmlsch-02/test001.ttl> .
+  """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:int ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <xmlsch-02/test002.ttl>;
-  mf:result <xmlsch-02/test001.ttl> .
+  mf:result false .
     
 <#xmlsch-02-whitespace-facet-3> a mf:PositiveEntailmentTest;
   mf:name "xmlsch-02-whitespace-facet-3";
@@ -477,15 +609,25 @@
     A simple test for well-formedness of a typed literal.
   """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:int ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <xmlsch-02/test001.ttl>;
   mf:result <xmlsch-02/test003.ttl> .
     
-<#xmlsch-02-whitespace-facet-4> a mf:NegativeEntailmentTest;
+<#xmlsch-02-whitespace-facet-4> a mf:PositiveEntailmentTest;
   mf:name "xmlsch-02-whitespace-facet-4";
   rdfs:comment """
     An integer with whitespace is ill-formed.
   """;
+  rdfs:comment """
+    Ill-formed datatyped literals now are inconsistent.
+    Used to be negative entailment.
+  """;
   rdfs:approval rdft:Approved;
+  mf:entailmentRegime "RDFS" ;
+  mf:recognizedDatatypes ( xsd:int ) ;
+  mf:unrecognizedDatatypes ( ) ;
   mf:action <xmlsch-02/test002.ttl>;
   mf:result <xmlsch-02/test003.ttl> .