--- 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#> .
+@prefix 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> .