--- a/rdf-mt/reports/earl.jsonld Fri Nov 01 09:51:40 2013 -0400
+++ b/rdf-mt/reports/earl.jsonld Fri Nov 01 10:52:40 2013 -0700
@@ -0,0 +1,1190 @@
+{
+ "@context": {
+ "@vocab": "http://www.w3.org/ns/earl#",
+ "foaf:homepage": {
+ "@type": "@id"
+ },
+ "dc": "http://purl.org/dc/terms/",
+ "doap": "http://usefulinc.com/ns/doap#",
+ "earl": "http://www.w3.org/ns/earl#",
+ "mf": "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#",
+ "foaf": "http://xmlns.com/foaf/0.1/",
+ "rdfs": "http://www.w3.org/2000/01/rdf-schema#",
+ "assertedBy": {
+ "@type": "@id"
+ },
+ "assertions": {
+ "@type": "@id",
+ "@container": "@list"
+ },
+ "bibRef": {
+ "@id": "dc:bibliographicCitation"
+ },
+ "created": {
+ "@id": "doap:created",
+ "@type": "xsd:date"
+ },
+ "description": {
+ "@id": "dc:description",
+ "@language": "en"
+ },
+ "developer": {
+ "@id": "doap:developer",
+ "@type": "@id",
+ "@container": "@set"
+ },
+ "doapDesc": {
+ "@id": "doap:description",
+ "@language": "en"
+ },
+ "generatedBy": {
+ "@type": "@id"
+ },
+ "homepage": {
+ "@id": "doap:homepage",
+ "@type": "@id"
+ },
+ "label": {
+ "@id": "rdfs:label",
+ "@language": "en"
+ },
+ "language": {
+ "@id": "doap:programming-language"
+ },
+ "license": {
+ "@id": "doap:license",
+ "@type": "@id"
+ },
+ "mode": {
+ "@type": "@id"
+ },
+ "name": {
+ "@id": "doap:name"
+ },
+ "outcome": {
+ "@type": "@id"
+ },
+ "release": {
+ "@id": "doap:release",
+ "@type": "@id"
+ },
+ "shortdesc": {
+ "@id": "doap:shortdesc",
+ "@language": "en"
+ },
+ "subject": {
+ "@type": "@id"
+ },
+ "test": {
+ "@type": "@id"
+ },
+ "testAction": {
+ "@id": "mf:action",
+ "@type": "@id"
+ },
+ "testResult": {
+ "@id": "mf:result",
+ "@type": "@id"
+ },
+ "entries": {
+ "@id": "mf:entries",
+ "@type": "@id",
+ "@container": "@list"
+ },
+ "testSubjects": {
+ "@type": "@id",
+ "@container": "@list"
+ },
+ "title": {
+ "@id": "dc:title"
+ },
+ "xsd": {
+ "@id": "http://www.w3.org/2001/XMLSchema#"
+ }
+ },
+ "@id": "",
+ "@type": [
+ "earl:Software",
+ "doap:Project"
+ ],
+ "name": "RDF Semantics",
+ "bibRef": "[[RDF11-MT]]",
+ "generatedBy": {
+ "@id": "http://rubygems.org/gems/earl-report",
+ "@type": "doap:Project",
+ "name": "earl-report",
+ "shortdesc": "Earl Report summary generator",
+ "doapDesc": "EarlReport generates HTML+RDFa rollups of multiple EARL reports",
+ "homepage": "https://github.com/gkellogg/earl-report",
+ "language": "Ruby",
+ "license": "http://unlicense.org",
+ "release": {
+ "@id": "https://github.com/gkellogg/earl-report/tree/0.2.7.2",
+ "@type": "doap:Version",
+ "name": "earl-report-0.2.7.2",
+ "created": "2013-10-23",
+ "revision": "0.2.7.2"
+ },
+ "developer": {
+ "@type": "foaf:Person",
+ "@id": "http://greggkellogg.net/foaf#me",
+ "foaf:name": "Gregg Kellogg",
+ "foaf:homepage": "http://greggkellogg.net/"
+ }
+ },
+ "assertions": [
+ "rdf.rb-earl-2013-11-01.ttl"
+ ],
+ "testSubjects": [
+ {
+ "@id": "http://rubygems.org/gems/rdf",
+ "@type": [
+ "earl:TestSubject",
+ "doap:Project"
+ ],
+ "name": "RDF.rb",
+ "developer": [
+ {
+ "@type": "foaf:Person",
+ "@id": "http://ar.to/#self",
+ "foaf:name": "Arto Bendiken",
+ "foaf:homepage": "http://ar.to/"
+ },
+ {
+ "@type": "foaf:Person",
+ "@id": "http://bhuga.net/#ben",
+ "foaf:name": "Ben Lavender",
+ "foaf:homepage": "http://bhuga.net/"
+ },
+ {
+ "@type": "foaf:Person",
+ "@id": "http://greggkellogg.net/foaf#me",
+ "foaf:name": "Gregg Kellogg",
+ "foaf:homepage": "http://greggkellogg.net/"
+ }
+ ],
+ "doapDesc": "RDF.rb is a pure-Ruby library for working with Resource Description Framework (RDF) data.",
+ "homepage": "http://rubygems.org/gems/rdf"
+ }
+ ],
+ "entries": [
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl",
+ "@type": [
+ "earl:Report",
+ "mf:Manifest"
+ ],
+ "entries": [
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-decimal-compatible",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "datatypes-intensional-xsd-integer-decimal-compatible",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes-intensional/test001.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-decimal-compatible",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n The claim that xsd:integer is a subClassOF xsd:decimal is not\n incompatible with using the intensional semantics for\n datatypes.\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-string-incompatible",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-intensional-xsd-integer-string-incompatible",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes-intensional/test002.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-string-incompatible",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n The claim that xsd:integer is a subClassOF xsd:string is\n incompatible with using the intensional semantics for\n datatypes.\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-1",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "datatypes-non-well-formed-literal-1",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test002.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-1",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Used to be a postitive test to itself.\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-2",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-non-well-formed-literal-2",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test002.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-2",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Ill-formed datatyped literals now are inconsistent.\n Used to be negative entailment to <datatypes/test002b.nt>\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-1",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-semantic-equivalence-within-type-1",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-1",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Demonstrating the semantic equivalence of two lexical forms of\n the same datatyped value.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-2",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-semantic-equivalence-within-type-2",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003b.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-2",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n As semantic-equivalence-within-type-1; the entailment works\n both ways.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003a.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-between-datatypes",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-semantic-equivalence-between-datatypes",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test005a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-between-datatypes",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Members of different datatypes may be semantically equivalent.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test005b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-range-clash",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-range-clash",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test006.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-range-clash",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Where sufficient DT knowledge is available, a range clash may\n be detected; the document then contains a contradiction.\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test008",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-test008",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test008a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test008",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n From decisions listed in\n http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test008b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test009",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "datatypes-test009",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test009a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test009",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n From decisions listed in\n http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test009b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test010",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-test010",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test010.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test010",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n From decisions listed in\n http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-plain-literal-and-xsd-string",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "datatypes-plain-literal-and-xsd-string",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test011a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-plain-literal-and-xsd-string",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n A plain literal denotes the same thing as its corresponding\n xsd:string, where one exists.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test011b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subClassOf-intensional",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "horst-01-subClassOf-intensional",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test001.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subClassOf-intensional",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n rdfs:subClassOf has intensional semantics, not extensional.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test002.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subPropertyOf-intensional",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "horst-01-subPropertyOf-intensional",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test003.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subPropertyOf-intensional",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n rdfs:subPropertyOf has intensional semantics, not extensional.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test004.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#pfps-10-non-well-formed-literal-1",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "pfps-10-non-well-formed-literal-1",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/pfps-10/test001a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#pfps-10-non-well-formed-literal-1",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Test that ICEXT(I(rdfs:Literal)) is a subset of LV.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/pfps-10/test001b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test003",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdf-charmod-uris-test003",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test001.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test003",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n An international URI ref and its %-escaped form label\n different nodes in the graph. No model theoretic relationship\n holds between them.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test002.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test004",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdf-charmod-uris-test004",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test002.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test004",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n An international URI ref and its %-escaped form label\n different nodes in the graph. No model theoretic relationship\n holds between them.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test001.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test002",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfms-seq-representation-test002",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/empty.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test002",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Statement of the MT closure rule.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test002.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test003",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfms-seq-representation-test003",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test003a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test003",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Statement of the MT closure rule.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test003b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test004",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfms-seq-representation-test004",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/empty.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test004",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Statement of the MT closure rule.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test004.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007a",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdfms-xmllang-test007a",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007a",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Plain literals are distinguishable on the basis of language\n tags.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007b",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdfms-xmllang-test007b",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007b.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007b",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Plain literals are distinguishable on the basis of language\n tags.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007c.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007c",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdfms-xmllang-test007c",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007c.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007c",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Plain literals are distinguishable on the basis of language\n tags.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007a.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-container-membership-superProperty-test001",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdfs-container-membership-superProperty-test001",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-container-membership-superProperty/not1P.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-container-membership-superProperty-test001",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n While it is a superproperty, _:a <rdfs:contains (@@member?)>\n _:b . does NOT entail _:a <rdf:_n> _:b . for any _n.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-container-membership-superProperty/not1C.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-range",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdfs-domain-and-range-intensionality-range",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/premises005.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-range",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n RDF Semantics defines rdfs:range to have an intensional\n reading. However, semantic extensions may give an extensional\n reading to range. The premise/conclusion pair is a\n non-entailment for RDFS reasoning, but may hold in semantic\n extensions.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/nonconclusions005.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-domain",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdfs-domain-and-range-intensionality-domain",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/premises006.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-domain",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n RDF Semantics defines rdfs:range to have an intensional\n reading of domain. However, semantic extensions may give an\n extensional reading to domain. The premise/conclusion pair is\n a non-entailment for RDFS reasoning, but may hold in semantic\n extensions.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/nonconclusions006.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test001",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfs-entailment-test001",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-entailment/test001.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test001",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n rdf:XMLLiteral support is no longer mandatory.\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test002",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfs-entailment-test002",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-entailment/test002p.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test002",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n From an inconsistent graph, any entailment can be drawn. This\n is an example.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-entailment/test002.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subClassOf-test001",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfs-no-cycles-in-subClassOf-test001",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subClassOf-test001",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Cycles are permitted in subClassOf; therefore, no error occurs\n and the following entailment holds trivially.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subPropertyOf-test001",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfs-no-cycles-in-subPropertyOf-test001",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subPropertyOf-test001",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Cycles are permitted in subPropertyOf; therefore, no error\n occurs and the following entailment holds trivially.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subClassOf-a-Property-test001",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "rdfs-subClassOf-a-Property-test001",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-subClassOf-a-Property/test001.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subClassOf-a-Property-test001",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n an instance of the Property class may have an rdfs:subClassOf\n property. the meaning of such a property is defined by the\n model theory. The wording of the formal resolution is a bit\n bare, so let me add a few words of explanation. What this\n means is that a resource can be both a class and a property.\n This test is encoded as follows: a Property may have a\n subclass (that is, such an RDF graph is satisfiable)\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subPropertyOf-semantics-test001",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "rdfs-subPropertyOf-semantics-test001",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-subPropertyOf-semantics/test001.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subPropertyOf-semantics-test001",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n The inheritance semantics of the subPropertyOf relationship\n needs to be clarified. => subProperties inherit conjunctively\n the domain and range of their superproperties\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-subPropertyOf-semantics/test002.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test001",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "statement-entailment-test001",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test001",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n RDFCore WG RESOLVED that a reified statement was a stating,\n not a statement. The following entailment does not, therefore,\n hold.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test002",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "statement-entailment-test002",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test002",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n RDFCore WG RESOLVED that a statement does NOT entail its\n reification. The following entailment does not, therefore,\n hold.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test003",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "statement-entailment-test003",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test003",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n RDFCore WG RESOLVED that a reified statement was a stating,\n not a statement. The following entailment does not, therefore,\n hold. This is the same as test001, but using RDFS-entailment.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test004",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "statement-entailment-test004",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002a.nt",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test004",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n RDFCore WG RESOLVED that a statement does NOT entail its\n reification. The following entailment does not, therefore,\n hold. This is the same as test002, but using RDFS-entailment.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002b.nt"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-1",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "tex-01-language-tag-case-1",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test001.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-1",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n The case of the language tag is not significant.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test002.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-2",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "tex-01-language-tag-case-2",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test002.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-2",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n The case of the language tag is not significant.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test001.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-1",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest"
+ ],
+ "title": "xmlsch-02-whitespace-facet-1",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test001.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-1",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n A well-formed typed literal is not related to an ill-formed\n literal. Even if they only differ by whitespace.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test002.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-2",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "xmlsch-02-whitespace-facet-2",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test002.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-2",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Ill-formed datatyped literals now are inconsistent.\n Used to be negative entailment to <xmlsch-02/test001.ttl> .\n ",
+ "testResult": "false"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-3",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "xmlsch-02-whitespace-facet-3",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test001.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-3",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n A simple test for well-formedness of a typed literal.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test003.ttl"
+ },
+ {
+ "@id": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-4",
+ "@type": [
+ "earl:TestCriterion",
+ "earl:TestCase",
+ "http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest"
+ ],
+ "title": "xmlsch-02-whitespace-facet-4",
+ "testAction": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test002.ttl",
+ "assertions": [
+ {
+ "@type": "earl:Assertion",
+ "test": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-4",
+ "subject": "http://rubygems.org/gems/rdf",
+ "mode": "earl:notAvailable",
+ "result": {
+ "@type": "earl:TestResult",
+ "outcome": "earl:untested"
+ }
+ }
+ ],
+ "description": "\n Ill-formed datatyped literals now are inconsistent.\n Used to be negative entailment.\n ",
+ "testResult": "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test003.ttl"
+ }
+ ],
+ "title": "RDF Schema and Semantics tests"
+ }
+ ]
+}
\ No newline at end of file
--- a/rdf-mt/reports/index.html Fri Nov 01 09:51:40 2013 -0400
+++ b/rdf-mt/reports/index.html Fri Nov 01 10:52:40 2013 -0700
@@ -1,9 +1,961 @@
<!DOCTYPE html>
-<html lang="en-US">
-<head>
-<title>RDF Semantics: Implementation Report</title>
-</head>
-<body>
-<p>Please report implementations of RDF 1.1 Semantics to public-rdf-comments@w3.org. A summary of reported implementations will appear in this location.</p>
-</body>
-</html>
\ No newline at end of file
+<html prefix='earl: http://www.w3.org/ns/earl# doap: http://usefulinc.com/ns/doap# mf: http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#'>
+ <head>
+ <meta content='text/html;charset=utf-8' http-equiv='Content-Type' />
+ <link href='earl.ttl' rel='alternate' />
+ <link href='earl.jsonld' rel='alternate' />
+ <link href='rdf.rb-earl-2013-11-01.ttl' rel='related' />
+ <title>
+ RDF Semantics
+ Implementation Report
+ </title>
+ <script class='remove' src='http://www.w3.org/Tools/respec/respec-w3c-common' type='text/javascript'></script>
+ <script type='text/javascript'>
+ //<![CDATA[
+ var respecConfig = {
+ // extend the bibliography entries
+ localBiblio: {
+ TURTLE: "Eric Prud'hommeaux, Gavin Carothers. <cite><a href=\"http://www.w3.org/TR/2013/CR-turtle-20130219/\">Turtle: Terse RDF Triple Language.</a></cite> W3C Candidate Recommendation 19 February 2013. URL: <a href=\"http://www.w3.org/TR/2013/CR-turtle-20130219/\">http://www.w3.org/TR/2013/CR-turtle-20130219/</a>",
+ DOAP: "Ed Dumbill. <cite><a href=\"https://github.com/edumbill/doap/wiki\">Turtle: Terse RDF Triple Language.</a></cite> Community Specification. URL: <a href=\"https://github.com/edumbill/doap/wiki\">https://github.com/edumbill/doap/wiki</a>",
+ },
+
+ // specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
+ specStatus: "unofficial",
+ copyrightStart: "2010",
+ doRDFa: "1.1",
+
+ // the specification's short name, as in http://www.w3.org/TR/short-name/
+ shortName: "turtle-earl",
+ //subtitle: "Turtle Implementation Conformance Report",
+ // if you wish the publication date to be other than today, set this
+ publishDate: "2013/11/01",
+
+ // if there is a previously published draft, uncomment this and set its YYYY-MM-DD date
+ // and its maturity status
+ //previousPublishDate: "2011-10-23",
+ //previousMaturity: "ED",
+ //previousDiffURI: "http://json-ld.org/spec/ED/json-ld-syntax/20111023/index.html",
+ //diffTool: "http://www.aptest.com/standards/htmldiff/htmldiff.pl",
+
+ // if there a publicly available Editor's Draft, this is the link
+ //edDraftURI: "",
+
+ // if this is a LCWD, uncomment and set the end of its review period
+ // lcEnd: "2009-08-05",
+
+ // if you want to have extra CSS, append them to this list
+ // it is recommended that the respec.css stylesheet be kept
+ extraCSS: [
+ "http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css"
+ ],
+
+ // editors, add as many as you like
+ // only "name" is required
+ editors: [
+ { name: "Gregg Kellogg", url: "http://greggkellogg.net/",
+ company: "Kellogg Associates" },
+ { name: "Andy Seaborne",
+ company: "The Apache Software Foundation"}
+ ],
+
+ // authors, add as many as you like.
+ // This is optional, uncomment if you have authors as well as editors.
+ // only "name" is required. Same format as editors.
+ //authors: [
+ //RDF Working Group],
+
+ // name of the WG
+ wg: "RDF Working Group",
+
+ // URI of the public WG page
+ wgURI: "http://www.w3.org/2011/rdf-wg/",
+
+ // name (with the @w3c.org) of the public mailing to which comments are due
+ wgPublicList: "public-rdf-comments",
+
+ // URI of the patent status for this WG, for Rec-track documents
+ // !!!! IMPORTANT !!!!
+ // This is important for Rec-track documents, do not copy a patent URI from a random
+ // document unless you know what you're doing. If in doubt ask your friendly neighbourhood
+ // Team Contact.
+ wgPatentURI: "http://www.w3.org/2004/01/pp-impl/46168/status",
+ alternateFormats: [
+ {uri: "earl.ttl", label: "Turtle"},
+ {uri: "earl.jsonld", label: "JSON-LD"}
+ ],
+ };
+ //]]>
+ </script>
+ <style type='text/css'>
+ /*<![CDATA[*/
+ span[property='dc:description'] { display: none; }
+ td.PASS { color: green; }
+ td.FAIL { color: red; }
+ table.report {
+ border-width: 1px;
+ border-spacing: 2px;
+ border-style: outset;
+ border-color: gray;
+ border-collapse: separate;
+ background-color: white;
+ }
+ table.report th {
+ border-width: 1px;
+ padding: 1px;
+ border-style: inset;
+ border-color: gray;
+ background-color: white;
+ -moz-border-radius: ;
+ }
+ table.report td {
+ border-width: 1px;
+ padding: 1px;
+ border-style: inset;
+ border-color: gray;
+ background-color: white;
+ -moz-border-radius: ;
+ }
+ tr.summary {font-weight: bold;}
+ td.passed-all {color: green;}
+ td.passed-most {color: darkorange;}
+ td.passed-some {color: red;}
+ /*]]>*/
+ </style>
+ </head>
+ <body prefix='earl: http://www.w3.org/ns/earl# doap: http://usefulinc.com/ns/doap# mf: http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#'>
+ <section about='' id='abstract' typeof='earl:Software doap:Project'>
+ <p>
+ This document report test subject conformance for and related specifications for
+ <span property='doap:name'>RDF Semantics</span>
+ <span property='dc:bibliographicCitation'>[[RDF11-MT]]</span>
+ according to the requirements of the Evaluation and Report Language (EARL) 1.0 Schema [[EARL10-SCHEMA]].
+ </p>
+ <p>
+ This report is also available in alternate formats:
+ <a href='earl.ttl' rel='xhv:alternate'>
+ Turtle
+ </a>
+ and
+ <a href='earl.jsonld' rel='xhv:alternate'>
+ JSON-LD
+ </a>
+ </p>
+ </section>
+ <section id='sodt'></section>
+ <section>
+ <h2>Instructions for submitting implementation reports</h2>
+
+ <p>Tests should be run using the test manifests defined in the
+ <a href="#test-manifests">Test Manifests</a> Section.</p>
+
+ <p>The assumed base URI for the tests is <code><http://example/base/></code> if needed.</p>
+
+ <p>Reports should be submitted in Turtle format to <a href="mailto:public-rdf-comments@w3.org">public-rdf-comments@w3.org</a>
+ and include an <code>earl:Assertion</code>
+ for each test, referencing the test resource from the associated manifest
+ and the test subject being reported upon. An example test entry is be the following:</p>
+
+ <pre><code> [ a earl:Assertion;
 earl:assertedBy <http://greggkellogg.net/foaf#me>;
 earl:subject <http://rubygems.org/gems/rdf>;
 earl:test <https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl##datatypes-intensional-xsd-integer-decimal-compatible>;
 earl:result [
 a earl:TestResult;
 earl:outcome earl:passed;
 dc:date "2013-02-22T15:12:30-08:00"^^xsd:dateTime];
 earl:mode earl:automatic ] .
</code></pre>
+
+ <p>The Test Subject should be defined as a <code>doap:Project</code>, including the name,
+ homepage and developer(s) of the software (see [[DOAP]]). Optionally, including the
+ project description and programming language. An example test subject description is the following:</p>
+
+ <pre><code> <> foaf:primaryTopic <http://rubygems.org/gems/rdf>
 dc:issued "2013-02-22T15:12:30-08:00"^^xsd:dateTime ;
 foaf:maker <http://greggkellogg.net/foaf#me> .

 <http://rubygems.org/gems/rdf> a doap:Project, earl:TestSubject, earl:Software ;
 doap:name "RDF.rb" ;
 doap:homepage <http://rubygems.org/gems/rdf> ;
 doap:license <http://creativecommons.org/licenses/publicdomain/> ;
 doap:description "RDF.rb is a pure-Ruby library for working with Resource Description Framework (RDF) data."@en ;
 doap:developer <http://ar.to/#self>, <http://bhuga.net/#ben>, <http://greggkellogg.net/foaf#me> ;
 doap:maintainer <http://ar.to/#self>, <http://bhuga.net/#ben>, <http://greggkellogg.net/foaf#me> ;
 doap:documenter <http://ar.to/#self>, <http://bhuga.net/#ben>, <http://greggkellogg.net/foaf#me> ;
 foaf:maker <http://ar.to/#self> ;
 dc:creator <http://ar.to/#self> .
</code></pre>
+
+ <p>The software developer, either an organization or one or more individuals SHOULD be
+ referenced from <code>doap:developer</code> using [[FOAF]]. For example:</p>
+
+ <pre><code> <http://greggkellogg.net/foaf#me> a foaf:Person, earl:Assertor;
 foaf:name "Gregg Kellogg";
 foaf:title "Implementor";
 foaf:homepage <http://greggkellogg.net/> .
</code></pre>
+
+ <p>See <a href="http://www.w3.org/2011/rdf-wg/wiki/Semantics_Test_Suite">RDF Semantics Test Suite Wiki</a>
+ for more information.</p>
+ </section>
+ <section>
+ <h2>
+ Test Manifests
+ </h2>
+ <section resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl' typeof='earl:Report mf:Manifest'>
+ <h2>RDF Schema and Semantics tests</h2>
+ <table class='report'>
+ <tr>
+ <th>
+ Test
+ </th>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-decimal-compatible' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-intensional-xsd-integer-decimal-compatible'>datatypes-intensional-xsd-integer-decimal-compatible</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-string-incompatible' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-intensional-xsd-integer-string-incompatible'>datatypes-intensional-xsd-integer-string-incompatible</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-1' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-non-well-formed-literal-1'>datatypes-non-well-formed-literal-1</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-2' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-non-well-formed-literal-2'>datatypes-non-well-formed-literal-2</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-1' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-semantic-equivalence-within-type-1'>datatypes-semantic-equivalence-within-type-1</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-2' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-semantic-equivalence-within-type-2'>datatypes-semantic-equivalence-within-type-2</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-between-datatypes' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-semantic-equivalence-between-datatypes'>datatypes-semantic-equivalence-between-datatypes</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-range-clash' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-range-clash'>datatypes-range-clash</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test008' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-test008'>datatypes-test008</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test009' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-test009'>datatypes-test009</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test010' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-test010'>datatypes-test010</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-plain-literal-and-xsd-string' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_datatypes-plain-literal-and-xsd-string'>datatypes-plain-literal-and-xsd-string</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subClassOf-intensional' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_horst-01-subClassOf-intensional'>horst-01-subClassOf-intensional</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subPropertyOf-intensional' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_horst-01-subPropertyOf-intensional'>horst-01-subPropertyOf-intensional</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#pfps-10-non-well-formed-literal-1' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_pfps-10-non-well-formed-literal-1'>pfps-10-non-well-formed-literal-1</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test003' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdf-charmod-uris-test003'>rdf-charmod-uris-test003</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test004' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdf-charmod-uris-test004'>rdf-charmod-uris-test004</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test002' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfms-seq-representation-test002'>rdfms-seq-representation-test002</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test003' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfms-seq-representation-test003'>rdfms-seq-representation-test003</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test004' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfms-seq-representation-test004'>rdfms-seq-representation-test004</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007a' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdfms-xmllang-test007a'>rdfms-xmllang-test007a</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007b' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdfms-xmllang-test007b'>rdfms-xmllang-test007b</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007c' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdfms-xmllang-test007c'>rdfms-xmllang-test007c</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-container-membership-superProperty-test001' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-container-membership-superProperty-test001'>rdfs-container-membership-superProperty-test001</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-range' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-domain-and-range-intensionality-range'>rdfs-domain-and-range-intensionality-range</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-domain' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-domain-and-range-intensionality-domain'>rdfs-domain-and-range-intensionality-domain</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test001' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-entailment-test001'>rdfs-entailment-test001</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test002' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-entailment-test002'>rdfs-entailment-test002</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subClassOf-test001' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-no-cycles-in-subClassOf-test001'>rdfs-no-cycles-in-subClassOf-test001</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subPropertyOf-test001' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-no-cycles-in-subPropertyOf-test001'>rdfs-no-cycles-in-subPropertyOf-test001</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subClassOf-a-Property-test001' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-subClassOf-a-Property-test001'>rdfs-subClassOf-a-Property-test001</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subPropertyOf-semantics-test001' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_rdfs-subPropertyOf-semantics-test001'>rdfs-subPropertyOf-semantics-test001</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test001' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_statement-entailment-test001'>statement-entailment-test001</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test002' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_statement-entailment-test002'>statement-entailment-test002</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test003' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_statement-entailment-test003'>statement-entailment-test003</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test004' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_statement-entailment-test004'>statement-entailment-test004</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-1' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_tex-01-language-tag-case-1'>tex-01-language-tag-case-1</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-2' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_tex-01-language-tag-case-2'>tex-01-language-tag-case-2</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-1' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#NegativeEntailmentTest'>
+ <td>
+ <a href='#test_xmlsch-02-whitespace-facet-1'>xmlsch-02-whitespace-facet-1</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-2' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_xmlsch-02-whitespace-facet-2'>xmlsch-02-whitespace-facet-2</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-3' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_xmlsch-02-whitespace-facet-3'>xmlsch-02-whitespace-facet-3</a>
+ </td>
+ </tr>
+ <tr inlist='inlist' rel='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-4' typeof='earl:TestCriterion earl:TestCase http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#PositiveEntailmentTest'>
+ <td>
+ <a href='#test_xmlsch-02-whitespace-facet-4'>xmlsch-02-whitespace-facet-4</a>
+ </td>
+ </tr>
+ <tr class='summary'>
+ <td>
+ Percentage passed out of 42 Tests
+ </td>
+ </tr>
+ </table>
+ </section>
+ </section>
+ <section class='appendix'>
+ <h2>
+ Test Subjects
+ </h2>
+ <p>
+ This report was tested using the following test subjects:
+ </p>
+ <dl>
+ <dt id='subj_0'>
+ <a href='http://rubygems.org/gems/rdf'>
+ <span about='http://rubygems.org/gems/rdf' property='doap:name'>RDF.rb</span>
+ </a>
+ </dt>
+ <dd inlist='inlist' property='earl:testSubjects' resource='http://rubygems.org/gems/rdf' typeof='earl:TestSubject doap:Project'>
+ <dl>
+ <dt>Description</dt>
+ <dd lang='en' property='doap:description'>RDF.rb is a pure-Ruby library for working with Resource Description Framework (RDF) data.</dd>
+ <dt>Home Page</dt>
+ <dd property='doap:homepage'>
+ <a href='http://rubygems.org/gems/rdf'>
+ http://rubygems.org/gems/rdf
+ </a>
+ </dd>
+ <dt>Developer</dt>
+ <dd rel='doap:developer'>
+ <div resource='http://ar.to/#self' typeof='foaf:Person'>
+ <a href='http://ar.to/#self'>
+ <span property='foaf:name'>Arto Bendiken</span>
+ </a>
+ <dt>
+ Home Page
+ </dt>
+ <dd>
+ <a href='http://ar.to/' property='foaf:homepage'>
+ http://ar.to/
+ </a>
+ </dd>
+ </div>
+ <div resource='http://bhuga.net/#ben' typeof='foaf:Person'>
+ <a href='http://bhuga.net/#ben'>
+ <span property='foaf:name'>Ben Lavender</span>
+ </a>
+ <dt>
+ Home Page
+ </dt>
+ <dd>
+ <a href='http://bhuga.net/' property='foaf:homepage'>
+ http://bhuga.net/
+ </a>
+ </dd>
+ </div>
+ <div resource='http://greggkellogg.net/foaf#me' typeof='foaf:Person'>
+ <a href='http://greggkellogg.net/foaf#me'>
+ <span property='foaf:name'>Gregg Kellogg</span>
+ </a>
+ <dt>
+ Home Page
+ </dt>
+ <dd>
+ <a href='http://greggkellogg.net/' property='foaf:homepage'>
+ http://greggkellogg.net/
+ </a>
+ </dd>
+ </div>
+ </dd>
+ <dt>
+ Test Suite Compliance
+ </dt>
+ <dd>
+ <table class='report'>
+ <tbody>
+ </tbody>
+ </table>
+ </dd>
+ </dl>
+ </dd>
+ </dl>
+ </section>
+ <section class='appendix' rel='xhv:related earl:assertions'>
+ <h2>
+ Individual Test Results
+ </h2>
+ <p>
+ Individual test results used to construct this report are available here:
+ </p>
+ <ul>
+ <li>
+ <a class='source' href='rdf.rb-earl-2013-11-01.ttl'>rdf.rb-earl-2013-11-01.ttl</a>
+ </li>
+ </ul>
+ </section>
+ <section class='appendix'>
+ <h2>
+ Test Definitions
+ </h2>
+ <dl>
+ <div inlist='inlist' property='mf:entries' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl'>
+ <dt id='test_datatypes-intensional-xsd-integer-decimal-compatible' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-decimal-compatible'>
+ Test
+ <span property='dc:title mf:name'>datatypes-intensional-xsd-integer-decimal-compatible</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-decimal-compatible'>
+ <p lang='en' property='dc:description'>The claim that xsd:integer is a subClassOF xsd:decimal is not
+ incompatible with using the intensional semantics for
+ datatypes.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes-intensional/test001.nt' title='datatypes-intensional-xsd-integer-decimal-compatible Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># xsd:integer and xsd:decimal are compatible using intensional<br/># datatype semantics. The following is consistent with a<br/># rdfs+d(xsd:integer, xsd:decimal) interpretation:<br/>#<br/># $Id: test001.nt,v 1.1 2003/09/03 12:05:35 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2001/XMLSchema#decimal> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='datatypes-intensional-xsd-integer-decimal-compatible Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_datatypes-intensional-xsd-integer-string-incompatible' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-string-incompatible'>
+ Test
+ <span property='dc:title mf:name'>datatypes-intensional-xsd-integer-string-incompatible</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-intensional-xsd-integer-string-incompatible'>
+ <p lang='en' property='dc:description'>The claim that xsd:integer is a subClassOF xsd:string is
+ incompatible with using the intensional semantics for
+ datatypes.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes-intensional/test002.nt' title='datatypes-intensional-xsd-integer-string-incompatible Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># xsd:string and xsd:integer are incompatible using intensional<br/># datatype semantics. The following is inconsistent with a<br/># rdfs+d(xsd:integer, xsd:string) interpretation:<br/>#<br/># $Id: test002.nt,v 1.1 2003/09/03 12:05:35 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2001/XMLSchema#string> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='datatypes-intensional-xsd-integer-string-incompatible Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_datatypes-non-well-formed-literal-1' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-1'>
+ Test
+ <span property='dc:title mf:name'>datatypes-non-well-formed-literal-1</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-1'>
+ <p lang='en' property='dc:description'>Used to be a postitive test to itself.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test002.nt' title='datatypes-non-well-formed-literal-1 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test002.nt,v 1.1 2002/11/19 14:04:16 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='datatypes-non-well-formed-literal-1 Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_datatypes-non-well-formed-literal-2' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-2'>
+ Test
+ <span property='dc:title mf:name'>datatypes-non-well-formed-literal-2</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-non-well-formed-literal-2'>
+ <p lang='en' property='dc:description'>Ill-formed datatyped literals now are inconsistent.
+ Used to be negative entailment to <datatypes/test002b.nt></p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test002.nt' title='datatypes-non-well-formed-literal-2 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test002.nt,v 1.1 2002/11/19 14:04:16 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='datatypes-non-well-formed-literal-2 Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_datatypes-semantic-equivalence-within-type-1' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-1'>
+ Test
+ <span property='dc:title mf:name'>datatypes-semantic-equivalence-within-type-1</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-1'>
+ <p lang='en' property='dc:description'>Demonstrating the semantic equivalence of two lexical forms of
+ the same datatyped value.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003a.nt' title='datatypes-semantic-equivalence-within-type-1 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence of lexical forms, given datatype knowledge.<br/>#<br/># $Id: test003a.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "010"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003b.nt' title='datatypes-semantic-equivalence-within-type-1 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence of lexical forms, given datatype knowledge.<br/>#<br/># $Id: test003b.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ </dd>
+ <dt id='test_datatypes-semantic-equivalence-within-type-2' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-2'>
+ Test
+ <span property='dc:title mf:name'>datatypes-semantic-equivalence-within-type-2</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-within-type-2'>
+ <p lang='en' property='dc:description'>As semantic-equivalence-within-type-1; the entailment works
+ both ways.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003b.nt' title='datatypes-semantic-equivalence-within-type-2 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence of lexical forms, given datatype knowledge.<br/>#<br/># $Id: test003b.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test003a.nt' title='datatypes-semantic-equivalence-within-type-2 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence of lexical forms, given datatype knowledge.<br/>#<br/># $Id: test003a.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "010"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ </dd>
+ <dt id='test_datatypes-semantic-equivalence-between-datatypes' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-between-datatypes'>
+ Test
+ <span property='dc:title mf:name'>datatypes-semantic-equivalence-between-datatypes</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-semantic-equivalence-between-datatypes'>
+ <p lang='en' property='dc:description'>Members of different datatypes may be semantically equivalent.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test005a.nt' title='datatypes-semantic-equivalence-between-datatypes Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence between members of different datatypes.<br/>#<br/># $Id: test005a.nt,v 1.1 2002/11/19 17:02:56 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test005b.nt' title='datatypes-semantic-equivalence-between-datatypes Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence between members of different datatypes.<br/>#<br/># $Id: test005b.nt,v 1.2 2002/12/11 16:49:41 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "10.0"^^<http://www.w3.org/2001/XMLSchema#decimal> .<br/></pre>
+ </dd>
+ <dt id='test_datatypes-range-clash' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-range-clash'>
+ Test
+ <span property='dc:title mf:name'>datatypes-range-clash</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-range-clash'>
+ <p lang='en' property='dc:description'>Where sufficient DT knowledge is available, a range clash may
+ be detected; the document then contains a contradiction.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test006.nt' title='datatypes-range-clash Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence between members of different datatypes.<br/>#<br/># $Id: test006.nt,v 1.1 2002/12/13 11:22:19 jgrant Exp $<br/>#<br/>#####################################################################<br/><br/><http://example.org/foo> <http://example.org/bar> "25"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/><http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2001/XMLSchema#string> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='datatypes-range-clash Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_datatypes-test008' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test008'>
+ Test
+ <span property='dc:title mf:name'>datatypes-test008</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test008'>
+ <p lang='en' property='dc:description'>From decisions listed in
+ http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test008a.nt' title='datatypes-test008 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test008a.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/a> <http://example.org/b> "10" .<br/><http://example.org/c> <http://example.org/d> "10" .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test008b.nt' title='datatypes-test008 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test008b.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/a> <http://example.org/b> _:x .<br/><http://example.org/c> <http://example.org/d> _:x .<br/></pre>
+ </dd>
+ <dt id='test_datatypes-test009' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test009'>
+ Test
+ <span property='dc:title mf:name'>datatypes-test009</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test009'>
+ <p lang='en' property='dc:description'>From decisions listed in
+ http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test009a.nt' title='datatypes-test009 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test009a.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/a> <http://example.org/b> "10" .<br/><http://example.org/c> <http://example.org/d> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test009b.nt' title='datatypes-test009 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test009b.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/a> <http://example.org/b> _:x .<br/><http://example.org/c> <http://example.org/d> _:x .<br/></pre>
+ </dd>
+ <dt id='test_datatypes-test010' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test010'>
+ Test
+ <span property='dc:title mf:name'>datatypes-test010</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-test010'>
+ <p lang='en' property='dc:description'>From decisions listed in
+ http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test010.nt' title='datatypes-test010 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Semantic equivalence between members of different datatypes.<br/>#<br/># $Id: test010.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "25" .<br/><http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2001/XMLSchema#integer> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='datatypes-test010 Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_datatypes-plain-literal-and-xsd-string' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-plain-literal-and-xsd-string'>
+ Test
+ <span property='dc:title mf:name'>datatypes-plain-literal-and-xsd-string</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#datatypes-plain-literal-and-xsd-string'>
+ <p lang='en' property='dc:description'>A plain literal denotes the same thing as its corresponding
+ xsd:string, where one exists.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test011a.nt' title='datatypes-plain-literal-and-xsd-string Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Plain literals without language denote the same thing as<br/># the corresponding xsd:strings (where their value spaces intersect).<br/>#<br/># $Id: test011a.nt,v 1.1 2003/09/03 12:22:06 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "a string" .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/datatypes/test011b.nt' title='datatypes-plain-literal-and-xsd-string Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># Plain literals without language denote the same thing as<br/># the corresponding xsd:strings (where their value spaces intersect).<br/>#<br/># $Id: test011b.nt,v 1.1 2003/09/03 12:22:06 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "a string"^^<http://www.w3.org/2001/XMLSchema#string> .<br/></pre>
+ </dd>
+ <dt id='test_horst-01-subClassOf-intensional' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subClassOf-intensional'>
+ Test
+ <span property='dc:title mf:name'>horst-01-subClassOf-intensional</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subClassOf-intensional'>
+ <p lang='en' property='dc:description'>rdfs:subClassOf has intensional semantics, not extensional.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test001.ttl' title='horst-01-subClassOf-intensional Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: any interpretation of this file<br/># must have the extension of class x<br/># being a subset of the extension of class y.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01<br/># <br/># Author: Herman ter Horst<br/># <br/># $Id: test001.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $<br/># <br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://example.org/x> a rdfs:Class .<br/><br/>rdf:type rdfs:domain <http://example.org/y> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test002.ttl' title='horst-01-subClassOf-intensional Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: <br/># If the class extension of x is known to be a subset<br/># of the class extension of y then x is not known to<br/># be an rdfs:subClassOf y (unless operating in<br/># a semantic extension to RDFS with extensional <br/># semantics).<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01<br/># <br/># Author: Herman ter Horst<br/># <br/># $Id: test002.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $<br/># <br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://example.org/x> rdfs:subClassOf <http://example.org/y> .<br/></pre>
+ </dd>
+ <dt id='test_horst-01-subPropertyOf-intensional' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subPropertyOf-intensional'>
+ Test
+ <span property='dc:title mf:name'>horst-01-subPropertyOf-intensional</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#horst-01-subPropertyOf-intensional'>
+ <p lang='en' property='dc:description'>rdfs:subPropertyOf has intensional semantics, not extensional.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test003.ttl' title='horst-01-subPropertyOf-intensional Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: any interpretation of this file<br/># respecting xsd:string and xsd:integer<br/># must have the extension of property p <br/># being empty.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01<br/># <br/># Author: Jeremy Carroll <br/># <br/># $Id: test003.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $<br/># <br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/>@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .<br/><br/><http://example.org/p> a rdf:Property;<br/> rdfs:range xsd:integer,<br/> xsd:string .<br/><br/><http://example.org/q> a rdf:Property .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/horst-01/test004.ttl' title='horst-01-subPropertyOf-intensional Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description:<br/># If the property extension of x is known to be a subset<br/># of the property extension of y then x is not known to<br/># be an rdfs:subPropertyOf y (unless operating in<br/># a semantic extension to RDFS with extensional<br/># semantics).<br/># <br/># <br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01<br/># <br/># Author: Jeremy Carroll <br/># <br/># $Id: test004.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $<br/># <br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://example.org/p> a rdf:Property;<br/> rdfs:subPropertyOf <http://example.org/q> .<br/></pre>
+ </dd>
+ <dt id='test_pfps-10-non-well-formed-literal-1' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#pfps-10-non-well-formed-literal-1'>
+ Test
+ <span property='dc:title mf:name'>pfps-10-non-well-formed-literal-1</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#pfps-10-non-well-formed-literal-1'>
+ <p lang='en' property='dc:description'>Test that ICEXT(I(rdfs:Literal)) is a subset of LV.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/pfps-10/test001a.nt' title='pfps-10-non-well-formed-literal-1 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test001a.nt,v 1.1 2003/08/18 09:40:01 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> "a" .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/pfps-10/test001b.nt' title='pfps-10-non-well-formed-literal-1 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test001b.nt,v 1.1 2003/08/18 09:40:01 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/foo> <http://example.org/bar> _:x .<br/>_:x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Literal> .<br/></pre>
+ </dd>
+ <dt id='test_rdf-charmod-uris-test003' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test003'>
+ Test
+ <span property='dc:title mf:name'>rdf-charmod-uris-test003</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test003'>
+ <p lang='en' property='dc:description'>An international URI ref and its %-escaped form label
+ different nodes in the graph. No model theoretic relationship
+ holds between them.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test001.ttl' title='rdf-charmod-uris-test003 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris<br/># Test: 1<br/># Author: Jeremy Carroll, HP<br/># <br/># Description:<br/># Non US-ASCII characters are permitted in the uriref labels<br/># on the RDF graph. The % escaping algorithm is not applied<br/># during graph construction.<br/># <br/># $Id: test001.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $<br/><br/><http://example.org/#André> <http://example.org/#owes> "2000" .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test002.ttl' title='rdf-charmod-uris-test003 Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris<br/># Test: 2<br/># Author: Jeremy Carroll, HP<br/># <br/># Description:<br/># An explicit % escaped URI is treated like any other US ASCII URI. <br/># Non US-ASCII characters are permitted in the uriref labels<br/># on the RDF graph. The % escaping algorithm is not applied<br/># during graph construction.<br/># <br/># $Id: test002.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $<br/><br/><http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000" .<br/></pre>
+ </dd>
+ <dt id='test_rdf-charmod-uris-test004' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test004'>
+ Test
+ <span property='dc:title mf:name'>rdf-charmod-uris-test004</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdf-charmod-uris-test004'>
+ <p lang='en' property='dc:description'>An international URI ref and its %-escaped form label
+ different nodes in the graph. No model theoretic relationship
+ holds between them.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test002.ttl' title='rdf-charmod-uris-test004 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris<br/># Test: 2<br/># Author: Jeremy Carroll, HP<br/># <br/># Description:<br/># An explicit % escaped URI is treated like any other US ASCII URI. <br/># Non US-ASCII characters are permitted in the uriref labels<br/># on the RDF graph. The % escaping algorithm is not applied<br/># during graph construction.<br/># <br/># $Id: test002.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $<br/><br/><http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000" .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdf-charmod-uris/test001.ttl' title='rdf-charmod-uris-test004 Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris<br/># Test: 1<br/># Author: Jeremy Carroll, HP<br/># <br/># Description:<br/># Non US-ASCII characters are permitted in the uriref labels<br/># on the RDF graph. The % escaping algorithm is not applied<br/># during graph construction.<br/># <br/># $Id: test001.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $<br/><br/><http://example.org/#André> <http://example.org/#owes> "2000" .<br/></pre>
+ </dd>
+ <dt id='test_rdfms-seq-representation-test002' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test002'>
+ Test
+ <span property='dc:title mf:name'>rdfms-seq-representation-test002</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test002'>
+ <p lang='en' property='dc:description'>Statement of the MT closure rule.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/empty.nt' title='rdfms-seq-representation-test002 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: empty.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $<br/>#<br/>#####################################################################<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test002.nt' title='rdfms-seq-representation-test002 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test002.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty> .<br/></pre>
+ </dd>
+ <dt id='test_rdfms-seq-representation-test003' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test003'>
+ Test
+ <span property='dc:title mf:name'>rdfms-seq-representation-test003</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test003'>
+ <p lang='en' property='dc:description'>Statement of the MT closure rule.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test003a.nt' title='rdfms-seq-representation-test003 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test003a.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/b> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test003b.nt' title='rdfms-seq-representation-test003 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test003b.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://example.org/a> <http://www.w3.org/2000/01/rdf-schema#member> <http://example.org/b> .<br/></pre>
+ </dd>
+ <dt id='test_rdfms-seq-representation-test004' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test004'>
+ Test
+ <span property='dc:title mf:name'>rdfms-seq-representation-test004</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-seq-representation-test004'>
+ <p lang='en' property='dc:description'>Statement of the MT closure rule.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/empty.nt' title='rdfms-seq-representation-test004 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: empty.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $<br/>#<br/>#####################################################################<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-seq-representation/test004.nt' title='rdfms-seq-representation-test004 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test004.nt,v 1.1 2002/12/13 16:48:04 jgrant Exp $<br/>#<br/>#####################################################################<br/><http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/01/rdf-schema#member> .<br/></pre>
+ </dd>
+ <dt id='test_rdfms-xmllang-test007a' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007a'>
+ Test
+ <span property='dc:title mf:name'>rdfms-xmllang-test007a</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007a'>
+ <p lang='en' property='dc:description'>Plain literals are distinguishable on the basis of language
+ tags.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007a.nt' title='rdfms-xmllang-test007a Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test007a.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $<br/># <br/>#####################################################################<br/><http://example.org/node> <http://example.org/property> "chat"@fr .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007b.nt' title='rdfms-xmllang-test007a Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test007b.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $<br/># <br/>#####################################################################<br/><http://example.org/node> <http://example.org/property> "chat"@en .<br/></pre>
+ </dd>
+ <dt id='test_rdfms-xmllang-test007b' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007b'>
+ Test
+ <span property='dc:title mf:name'>rdfms-xmllang-test007b</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007b'>
+ <p lang='en' property='dc:description'>Plain literals are distinguishable on the basis of language
+ tags.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007b.nt' title='rdfms-xmllang-test007b Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test007b.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $<br/># <br/>#####################################################################<br/><http://example.org/node> <http://example.org/property> "chat"@en .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007c.nt' title='rdfms-xmllang-test007b Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test007c.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $<br/># <br/>#####################################################################<br/><http://example.org/node> <http://example.org/property> "chat" .<br/></pre>
+ </dd>
+ <dt id='test_rdfms-xmllang-test007c' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007c'>
+ Test
+ <span property='dc:title mf:name'>rdfms-xmllang-test007c</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfms-xmllang-test007c'>
+ <p lang='en' property='dc:description'>Plain literals are distinguishable on the basis of language
+ tags.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007c.nt' title='rdfms-xmllang-test007c Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test007c.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $<br/># <br/>#####################################################################<br/><http://example.org/node> <http://example.org/property> "chat" .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfms-xmllang/test007a.nt' title='rdfms-xmllang-test007c Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test007a.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $<br/># <br/>#####################################################################<br/><http://example.org/node> <http://example.org/property> "chat"@fr .<br/></pre>
+ </dd>
+ <dt id='test_rdfs-container-membership-superProperty-test001' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-container-membership-superProperty-test001'>
+ Test
+ <span property='dc:title mf:name'>rdfs-container-membership-superProperty-test001</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-container-membership-superProperty-test001'>
+ <p lang='en' property='dc:description'>While it is a superproperty, _:a <rdfs:contains (@@member?)>
+ _:b . does NOT entail _:a <rdf:_n> _:b . for any _n.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-container-membership-superProperty/not1P.ttl' title='rdfs-container-membership-superProperty-test001 Input'># Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://example/stuff#something> rdfs:member <http://example/stuff#somethingElse> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-container-membership-superProperty/not1C.ttl' title='rdfs-container-membership-superProperty-test001 Result'># Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/><br/><http://example/stuff#something> rdf:_1 <http://example/stuff#somethingElse> .<br/></pre>
+ </dd>
+ <dt id='test_rdfs-domain-and-range-intensionality-range' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-range'>
+ Test
+ <span property='dc:title mf:name'>rdfs-domain-and-range-intensionality-range</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-range'>
+ <p lang='en' property='dc: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.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/premises005.ttl' title='rdfs-domain-and-range-intensionality-range Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># $Id: premises005.rdf,v 1.2 2002/11/22 13:21:49 jcarroll Exp $<br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#A> a rdfs:Class;<br/> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> a rdfs:Class .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#prop> a rdfs:Property;<br/> rdfs:range <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#A> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/nonconclusions005.ttl' title='rdfs-domain-and-range-intensionality-range Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># $Id: nonconclusions005.rdf,v 1.2 2002/11/22 13:21:49 jcarroll Exp $<br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> a rdfs:Class .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#prop> a rdfs:Property;<br/> rdfs:range <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> .<br/></pre>
+ </dd>
+ <dt id='test_rdfs-domain-and-range-intensionality-domain' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-domain'>
+ Test
+ <span property='dc:title mf:name'>rdfs-domain-and-range-intensionality-domain</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-domain-and-range-intensionality-domain'>
+ <p lang='en' property='dc: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.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/premises006.ttl' title='rdfs-domain-and-range-intensionality-domain Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># $Id: premises006.rdf,v 1.1 2002/11/22 13:21:49 jcarroll Exp $<br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#A> a rdfs:Class;<br/> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> a rdfs:Class .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#prop> a rdfs:Property;<br/> rdfs:domain <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#A> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-domain-and-range/nonconclusions006.ttl' title='rdfs-domain-and-range-intensionality-domain Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># $Id: nonconclusions006.rdf,v 1.1 2002/11/22 13:21:49 jcarroll Exp $<br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> a rdfs:Class .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#prop> a rdfs:Property;<br/> rdfs:domain <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> .<br/></pre>
+ </dd>
+ <dt id='test_rdfs-entailment-test001' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test001'>
+ Test
+ <span property='dc:title mf:name'>rdfs-entailment-test001</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test001'>
+ <p lang='en' property='dc:description'>rdf:XMLLiteral support is no longer mandatory.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-entailment/test001.nt' title='rdfs-entailment-test001 Input'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># $Id: test001.nt,v 1.1 2003/11/13 10:21:45 jgrant Exp $<br/># <br/>#####################################################################<br/><http://example.org/prop> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .<br/><http://example.org/foo> <http://example.org/prop> "<"^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .<br/><br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='rdfs-entailment-test001 Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_rdfs-entailment-test002' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test002'>
+ Test
+ <span property='dc:title mf:name'>rdfs-entailment-test002</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-entailment-test002'>
+ <p lang='en' property='dc:description'>From an inconsistent graph, any entailment can be drawn. This
+ is an example.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-entailment/test002p.nt' title='rdfs-entailment-test002 Input'>https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-entailment/test002p.nt not loaded</pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-entailment/test002.nt' title='rdfs-entailment-test002 Result'>#<br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># MODIFIED<br/># <br/>#####################################################################<br/><http://example.org/subject> <http://example.org/predicate> <http://example.org/object> .<br/><br/></pre>
+ </dd>
+ <dt id='test_rdfs-no-cycles-in-subClassOf-test001' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subClassOf-test001'>
+ Test
+ <span property='dc:title mf:name'>rdfs-no-cycles-in-subClassOf-test001</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subClassOf-test001'>
+ <p lang='en' property='dc:description'>Cycles are permitted in subClassOf; therefore, no error occurs
+ and the following entailment holds trivially.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.ttl' title='rdfs-no-cycles-in-subClassOf-test001 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Author: Dan Connolly<br/># <br/># Description: see:<br/># <br/># http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subClassOf<br/># <br/># $Id:$<br/># <br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.nt' title='rdfs-no-cycles-in-subClassOf-test001 Result'># Copyright World Wide Web Consortium, (Massachusetts Institute of
<br/># Technology, Institut National de Recherche en Informatique et en
<br/># Automatique, Keio University).
<br/>#
<br/># All Rights Reserved.
<br/>#
<br/># Please see the full Copyright clause at
<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html>
<br/>#
<br/># Author: Dan Connolly
<br/>#
<br/># $Id: test001.nt,v 1.3 2001/10/01 13:45:20 barstow Exp $
<br/>#
<br/>
<br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> .
<br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> .
<br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> .
<br/>
<br/></pre>
+ </dd>
+ <dt id='test_rdfs-no-cycles-in-subPropertyOf-test001' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subPropertyOf-test001'>
+ Test
+ <span property='dc:title mf:name'>rdfs-no-cycles-in-subPropertyOf-test001</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-no-cycles-in-subPropertyOf-test001'>
+ <p lang='en' property='dc:description'>Cycles are permitted in subPropertyOf; therefore, no error
+ occurs and the following entailment holds trivially.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.ttl' title='rdfs-no-cycles-in-subPropertyOf-test001 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, Institut National de Recherche en Informatique et en<br/># Automatique, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Author: Frank Manola<br/># <br/># Description:<br/># <br/># Related issue:<br/># <br/># http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subPropertyOf<br/># <br/># $Id$<br/># <br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> rdfs:subPropertyOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> rdfs:subPropertyOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> .<br/><br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> rdfs:subPropertyOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.nt' title='rdfs-no-cycles-in-subPropertyOf-test001 Result'># Copyright World Wide Web Consortium, (Massachusetts Institute of
<br/># Technology, Institut National de Recherche en Informatique et en
<br/># Automatique, Keio University).
<br/>#
<br/># All Rights Reserved.
<br/>#
<br/># Please see the full Copyright clause at
<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html>
<br/>#
<br/># Author: Frank Manola
<br/>#
<br/># $Id: test001.nt,v 1.3 2001/10/01 13:43:50 barstow Exp $
<br/>#
<br/>
<br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> .
<br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> .
<br/><http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> .
<br/>
<br/></pre>
+ </dd>
+ <dt id='test_rdfs-subClassOf-a-Property-test001' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subClassOf-a-Property-test001'>
+ Test
+ <span property='dc:title mf:name'>rdfs-subClassOf-a-Property-test001</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subClassOf-a-Property-test001'>
+ <p lang='en' property='dc: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)</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-subClassOf-a-Property/test001.nt' title='rdfs-subClassOf-a-Property-test001 Input'># Copyright World Wide Web Consortium (Massachusetts Institute of<br/># Technology Institut National de Recherche en Informatique et en<br/># Automatique Keio University).<br/>#<br/># All Rights Reserved.<br/>#<br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/>#<br/># The following graph is legal (satisfiable)<br/>#<br/># $Id: test001.nt,v 1.1 2002/12/18 15:44:22 jgrant Exp $<br/>##################################################################<br/><http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .<br/><http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/foo> .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='rdfs-subClassOf-a-Property-test001 Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_rdfs-subPropertyOf-semantics-test001' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subPropertyOf-semantics-test001'>
+ Test
+ <span property='dc:title mf:name'>rdfs-subPropertyOf-semantics-test001</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#rdfs-subPropertyOf-semantics-test001'>
+ <p lang='en' property='dc:description'>The inheritance semantics of the subPropertyOf relationship
+ needs to be clarified. => subProperties inherit conjunctively
+ the domain and range of their superproperties</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-subPropertyOf-semantics/test001.nt' title='rdfs-subPropertyOf-semantics-test001 Input'># Copyright World Wide Web Consortium, (Massachusetts Institute of
<br/># Technology, Institut National de Recherche en Informatique et en
<br/># Automatique, Keio University).
<br/>#
<br/># All Rights Reserved.
<br/>#
<br/># Please see the full Copyright clause at
<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html>
<br/>#
<br/># Issue rdfs-subPropertyOf-semantics:
<br/># The inheritance semantics of the subPropertyOf relationship needs to be clarified.
<br/>#
<br/># => subProperties inherit conjunctively the domain and range of their superproperties
<br/>#
<br/># $Id: test001.nt,v 1.4 2002/04/05 13:25:37 josderoo Exp $
<br/>##################################################################
<br/>
<br/><http://example.org/bar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<br/><http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/bar> .
<br/><http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain1> .
<br/><http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain2> .
<br/><http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range1> .
<br/><http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range2> .
<br/><http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2> .
<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/rdfs-subPropertyOf-semantics/test002.nt' title='rdfs-subPropertyOf-semantics-test001 Result'># Copyright World Wide Web Consortium, (Massachusetts Institute of
<br/># Technology, Institut National de Recherche en Informatique et en
<br/># Automatique, Keio University).
<br/>#
<br/># All Rights Reserved.
<br/>#
<br/># Please see the full Copyright clause at
<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html>
<br/>#
<br/># Issue rdfs-subPropertyOf-semantics:
<br/># The inheritance semantics of the subPropertyOf relationship needs to be clarified.
<br/>#
<br/># => subProperties inherit conjunctively the domain and range of their superproperties
<br/>#
<br/># $Id: test002.nt,v 1.2 2002/04/05 13:25:45 josderoo Exp $
<br/>##################################################################
<br/>
<br/><http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1> .
<br/><http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2> .
<br/><http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1> .
<br/><http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2> .
<br/></pre>
+ </dd>
+ <dt id='test_statement-entailment-test001' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test001'>
+ Test
+ <span property='dc:title mf:name'>statement-entailment-test001</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test001'>
+ <p lang='en' property='dc:description'>RDFCore WG RESOLVED that a reified statement was a stating,
+ not a statement. The following entailment does not, therefore,
+ hold.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001a.nt' title='statement-entailment-test001 Input'><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .<br/><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .<br/><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .<br/><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .<br/><br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .<br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .<br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .<br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .<br/><br/><http://example.org/stmt1> <http://example.org/property> <http://example.org/foo> .<br/><br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001b.nt' title='statement-entailment-test001 Result'><http://example.org/stmt2> <http://example.org/property> <http://example.org/foo> .<br/><br/></pre>
+ </dd>
+ <dt id='test_statement-entailment-test002' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test002'>
+ Test
+ <span property='dc:title mf:name'>statement-entailment-test002</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test002'>
+ <p lang='en' property='dc:description'>RDFCore WG RESOLVED that a statement does NOT entail its
+ reification. The following entailment does not, therefore,
+ hold.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002a.nt' title='statement-entailment-test002 Input'><http://example.org/subj> <http://example.org/prop> <http://example.org/obj> .<br/><br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002b.nt' title='statement-entailment-test002 Result'>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .<br/>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subj> .<br/>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop> .<br/>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/obj> .<br/><br/></pre>
+ </dd>
+ <dt id='test_statement-entailment-test003' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test003'>
+ Test
+ <span property='dc:title mf:name'>statement-entailment-test003</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test003'>
+ <p lang='en' property='dc: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.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001a.nt' title='statement-entailment-test003 Input'><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .<br/><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .<br/><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .<br/><http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .<br/><br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .<br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .<br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .<br/><http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .<br/><br/><http://example.org/stmt1> <http://example.org/property> <http://example.org/foo> .<br/><br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test001b.nt' title='statement-entailment-test003 Result'><http://example.org/stmt2> <http://example.org/property> <http://example.org/foo> .<br/><br/></pre>
+ </dd>
+ <dt id='test_statement-entailment-test004' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test004'>
+ Test
+ <span property='dc:title mf:name'>statement-entailment-test004</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#statement-entailment-test004'>
+ <p lang='en' property='dc: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.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002a.nt' title='statement-entailment-test004 Input'><http://example.org/subj> <http://example.org/prop> <http://example.org/obj> .<br/><br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/statement-entailment/test002b.nt' title='statement-entailment-test004 Result'>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .<br/>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subj> .<br/>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop> .<br/>_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/obj> .<br/><br/></pre>
+ </dd>
+ <dt id='test_tex-01-language-tag-case-1' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-1'>
+ Test
+ <span property='dc:title mf:name'>tex-01-language-tag-case-1</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-1'>
+ <p lang='en' property='dc:description'>The case of the language tag is not significant.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test001.ttl' title='tex-01-language-tag-case-1 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: language tag is lower case in this file.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test001.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $<br/># <br/><br/> [ <http://example.org/prop> "a"@en-us] .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test002.ttl' title='tex-01-language-tag-case-1 Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: language tag is mixed case in this file.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test002.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $<br/># <br/><br/> [ <http://example.org/prop> "a"@en-US] .<br/></pre>
+ </dd>
+ <dt id='test_tex-01-language-tag-case-2' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-2'>
+ Test
+ <span property='dc:title mf:name'>tex-01-language-tag-case-2</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#tex-01-language-tag-case-2'>
+ <p lang='en' property='dc:description'>The case of the language tag is not significant.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test002.ttl' title='tex-01-language-tag-case-2 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: language tag is mixed case in this file.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test002.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $<br/># <br/><br/> [ <http://example.org/prop> "a"@en-US] .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/tex-01/test001.ttl' title='tex-01-language-tag-case-2 Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: language tag is lower case in this file.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test001.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $<br/># <br/><br/> [ <http://example.org/prop> "a"@en-us] .<br/></pre>
+ </dd>
+ <dt id='test_xmlsch-02-whitespace-facet-1' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-1'>
+ Test
+ <span property='dc:title mf:name'>xmlsch-02-whitespace-facet-1</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-1'>
+ <p lang='en' property='dc:description'>A well-formed typed literal is not related to an ill-formed
+ literal. Even if they only differ by whitespace.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test001.ttl' title='xmlsch-02-whitespace-facet-1 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: the typed literal in this file is well-formed.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test001.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $<br/># <br/>@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .<br/><br/><http://www.example.org/a> <http://example.org/prop> "3"^^xsd:int .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test002.ttl' title='xmlsch-02-whitespace-facet-1 Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: the typed literal in this file is not well-formed.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $<br/># <br/>@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .<br/><br/><http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .<br/></pre>
+ </dd>
+ <dt id='test_xmlsch-02-whitespace-facet-2' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-2'>
+ Test
+ <span property='dc:title mf:name'>xmlsch-02-whitespace-facet-2</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-2'>
+ <p lang='en' property='dc:description'>Ill-formed datatyped literals now are inconsistent.
+ Used to be negative entailment to <xmlsch-02/test001.ttl> .</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test002.ttl' title='xmlsch-02-whitespace-facet-2 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: the typed literal in this file is not well-formed.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $<br/># <br/>@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .<br/><br/><http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='false' title='xmlsch-02-whitespace-facet-2 Result'>false not loaded</pre>
+ </dd>
+ <dt id='test_xmlsch-02-whitespace-facet-3' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-3'>
+ Test
+ <span property='dc:title mf:name'>xmlsch-02-whitespace-facet-3</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-3'>
+ <p lang='en' property='dc:description'>A simple test for well-formedness of a typed literal.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test001.ttl' title='xmlsch-02-whitespace-facet-3 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: the typed literal in this file is well-formed.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test001.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $<br/># <br/>@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .<br/><br/><http://www.example.org/a> <http://example.org/prop> "3"^^xsd:int .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test003.ttl' title='xmlsch-02-whitespace-facet-3 Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: eg:prop has a literal value.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test003.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $<br/># <br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.example.org/a> <http://example.org/prop> [ a rdfs:Literal] .<br/></pre>
+ </dd>
+ <dt id='test_xmlsch-02-whitespace-facet-4' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-4'>
+ Test
+ <span property='dc:title mf:name'>xmlsch-02-whitespace-facet-4</span>
+ </dt>
+ <dd resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/manifest.ttl#xmlsch-02-whitespace-facet-4'>
+ <p lang='en' property='dc:description'>Ill-formed datatyped literals now are inconsistent.
+ Used to be negative entailment.</p>
+ <pre class='example actionDoc' property='mf:action' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test002.ttl' title='xmlsch-02-whitespace-facet-4 Input'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: the typed literal in this file is not well-formed.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $<br/># <br/>@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .<br/><br/><http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .<br/></pre>
+ <pre class='example resultDoc' property='mf:result' resource='https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/tests/xmlsch-02/test003.ttl' title='xmlsch-02-whitespace-facet-4 Result'># <br/># Copyright World Wide Web Consortium, (Massachusetts Institute of<br/># Technology, European Research Consortium for Informatics and<br/># Mathematics, Keio University).<br/># <br/># All Rights Reserved.<br/># <br/># Please see the full Copyright clause at<br/># <http://www.w3.org/Consortium/Legal/copyright-software.html><br/># <br/># Description: eg:prop has a literal value.<br/># <br/># Related issue: <br/># <br/># http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02<br/># <br/># Author: Jeremy Carroll<br/># <br/># $Id: test003.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $<br/># <br/>@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .<br/>@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .<br/><br/><http://www.example.org/a> <http://example.org/prop> [ a rdfs:Literal] .<br/></pre>
+ </dd>
+ </div>
+ </dl>
+ </section>
+ <section id='appendix' property='earl:generatedBy' resource='http://rubygems.org/gems/earl-report' typeof='doap:Project'>
+ <h2>
+ Report Generation Software
+ </h2>
+ <p>
+ This report generated by
+ <span property='doap:name'><a href='http://rubygems.org/gems/earl-report'>earl-report</a></span>
+ <meta content='Earl Report summary generator' lang='en' property='doap:shortdesc' />
+ <meta content='EarlReport generates HTML+RDFa rollups of multiple EARL reports' lang='en' property='doap:description' />
+ version
+ <span property='doap:release' resource='https://github.com/gkellogg/earl-report/tree/0.2.7.2' typeof='doap:Version'>
+ <span property='doap:revision'>0.2.7.2</span>
+ <meta content='earl-report-0.2.7.2' property='doap:name' />
+ <meta content='2013-10-23' datatype='xsd:date' property='doap:created' />
+ </span>
+ an
+ <a href='http://unlicense.org' property='doap:license'>Unlicensed</a>
+ <span property='doap:programming-language'>Ruby</span>
+ application. More information is available at
+ <a href='https://github.com/gkellogg/earl-report' property='doap:homepage'>https://github.com/gkellogg/earl-report</a>
+ .
+ </p>
+ <p property='doap:developer' resource='http://greggkellogg.net/foaf#me' typeof='foaf:Person'>
+ This software is provided by
+ <a href='http://greggkellogg.net/' property='foaf:homepage'><span aboue='http://greggkellogg.net/foaf#me' property='foaf:name'>Gregg Kellogg</span></a>
+ in hopes that it might make the lives of conformance testers easier.
+ </p>
+ </section>
+ </body>
+</html>