This document report test subject conformance for and related specifications for RDF Semantics [[RDF11-MT]] according to the requirements of the Evaluation and Report Language (EARL) 1.0 Schema [[EARL10-SCHEMA]].

This report is also available in alternate formats: Turtle and JSON-LD

Instructions for submitting implementation reports

The test suite tests implementations of the several forms of RDF 1.1 entailment and contains both positive and negative tests. The RDF Semantics: Test Suite document contains information on how to obtain the tests. The README file in the test suite itself has more information on how to run the tests themselves and which tests are to be performed. The currently approved tests are listed in the Test Manifets Section.

The assumed base URI for the tests is <http://example/base/> if needed.

Reports should be submitted in Turtle format to public-rdf-comments@w3.org and include an earl:Assertion 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:

  [ a earl:Assertion;
    earl:assertedBy <http://greggkellogg.net/foaf#me>;
    earl:subject <http://rubygems.org/gems/rdf>;
    earl:test <http://www.w3.org/2013/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 ] .

The Test Subject should be defined as a doap:Project, 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:

  <> 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> .

The software developer, either an organization or one or more individuals SHOULD be referenced from doap:developer using [[FOAF]]. For example:

  <http://greggkellogg.net/foaf#me> a foaf:Person, earl:Assertor;
    foaf:name "Gregg Kellogg";
    foaf:title "Implementor";
    foaf:homepage <http://greggkellogg.net/> .

Test Manifests

RDF Schema and Semantics tests

Test ClioPatria RDF semantics pack Corese Swertia/RDF-1.1
datatypes-intensional-xsd-integer-decimal-compatible PASS PASS PASS
datatypes-non-well-formed-literal-1 PASS PASS PASS
datatypes-non-well-formed-literal-2 PASS PASS FAIL
datatypes-semantic-equivalence-within-type-1 PASS PASS FAIL
datatypes-semantic-equivalence-within-type-2 PASS PASS FAIL
datatypes-semantic-equivalence-between-datatypes PASS PASS FAIL
datatypes-range-clash PASS PASS FAIL
datatypes-test008 PASS PASS PASS
datatypes-test009 PASS PASS PASS
datatypes-test010 PASS PASS FAIL
datatypes-plain-literal-and-xsd-string PASS PASS FAIL
horst-01-subClassOf-intensional PASS PASS PASS
horst-01-subPropertyOf-intensional PASS PASS PASS
rdf-charmod-uris-test003 PASS PASS PASS
rdf-charmod-uris-test004 PASS PASS PASS
rdfms-seq-representation-test002 PASS PASS PASS
rdfms-seq-representation-test003 PASS PASS PASS
rdfms-seq-representation-test004 PASS PASS PASS
rdfms-xmllang-test007a PASS PASS PASS
rdfms-xmllang-test007b PASS PASS PASS
rdfms-xmllang-test007c PASS PASS PASS
rdfs-container-membership-superProperty-test001 PASS PASS PASS
rdfs-domain-and-range-intensionality-range PASS PASS PASS
rdfs-domain-and-range-intensionality-domain PASS PASS PASS
rdfs-entailment-test001 PASS PASS FAIL
rdfs-entailment-test002 PASS PASS FAIL
rdfs-no-cycles-in-subClassOf-test001 PASS PASS PASS
rdfs-no-cycles-in-subPropertyOf-test001 PASS PASS PASS
rdfs-subClassOf-a-Property-test001 PASS PASS PASS
rdfs-subPropertyOf-semantics-test001 PASS PASS PASS
statement-entailment-test001 PASS PASS PASS
statement-entailment-test002 PASS PASS PASS
statement-entailment-test003 PASS PASS PASS
statement-entailment-test004 PASS PASS PASS
tex-01-language-tag-case-1 PASS PASS PASS
tex-01-language-tag-case-2 PASS PASS PASS
xmlsch-02-whitespace-facet-1 PASS PASS PASS
xmlsch-02-whitespace-facet-2 PASS PASS FAIL
xmlsch-02-whitespace-facet-4 PASS PASS FAIL
Percentage passed out of 39 Tests 100.0% 100.0% 71.8%

Test Subjects

This report was tested using the following test subjects:

ClioPatria RDF semantics pack
Developer
Home Page
http://www.cs.vu.nl/~janw/
Test Suite Compliance
39/39 (100.0%)
Corese
Developer
Olivier Corby
Home Page
http://www-sop.inria.fr/members/Olivier.Corby
Test Suite Compliance
39/39 (100.0%)
Swertia/RDF-1.1
Description
An adaptation of the Swertia RDF-Based Semantic Translation Plugin for the RDF-1.1 CfI. For reasoning, the following FOL theorem prover has been applied: E 1.8 by Stephan Schulz (http://www.eprover.org)
Home Page
http://swertia.sourceforge.net/
Developer
Michael Schneider
Home Page
http://swertia.sourceforge.org/
Test Suite Compliance
28/39 (71.8%)

Individual Test Results

Individual test results used to construct this report are available here:

Test Definitions

Test datatypes-intensional-xsd-integer-decimal-compatible

The claim that xsd:integer is a subClassOF xsd:decimal is not incompatible with using the intensional semantics for datatypes.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# xsd:integer and xsd:decimal are compatible using intensional
# datatype semantics. The following is consistent with a
# rdfs+d(xsd:integer, xsd:decimal) interpretation:
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2001/XMLSchema#decimal> .
false not loaded
Test datatypes-non-well-formed-literal-1

Used to be a postitive test to itself.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer> .
false not loaded
Test datatypes-non-well-formed-literal-2

Ill-formed datatyped literals now are inconsistent. Used to be negative entailment to <datatypes/test002b.nt>

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer> .
false not loaded
Test datatypes-semantic-equivalence-within-type-1

Demonstrating the semantic equivalence of two lexical forms of the same datatyped value.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence of lexical forms, given datatype knowledge.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "010"^^<http://www.w3.org/2001/XMLSchema#integer> .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence of lexical forms, given datatype knowledge.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
Test datatypes-semantic-equivalence-within-type-2

As semantic-equivalence-within-type-1; the entailment works both ways.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence of lexical forms, given datatype knowledge.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence of lexical forms, given datatype knowledge.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "010"^^<http://www.w3.org/2001/XMLSchema#integer> .
Test datatypes-semantic-equivalence-between-datatypes

Members of different datatypes may be semantically equivalent.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence between members of different datatypes.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence between members of different datatypes.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "10.0"^^<http://www.w3.org/2001/XMLSchema#decimal> .
Test datatypes-range-clash

Where sufficient DT knowledge is available, a range clash may be detected; the document then contains a contradiction.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence between members of different datatypes.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################

<http://example.org/foo> <http://example.org/bar> "25"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2001/XMLSchema#string> .
false not loaded
Test datatypes-test008

From decisions listed in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/a> <http://example.org/b> "10" .
<http://example.org/c> <http://example.org/d> "10" .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/a> <http://example.org/b> _:x .
<http://example.org/c> <http://example.org/d> _:x .
Test datatypes-test009

From decisions listed in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/a> <http://example.org/b> "10" .
<http://example.org/c> <http://example.org/d> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/a> <http://example.org/b> _:x .
<http://example.org/c> <http://example.org/d> _:x .
Test datatypes-test010

From decisions listed in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Semantic equivalence between members of different datatypes.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "25" .
<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2001/XMLSchema#integer> .
false not loaded
Test datatypes-plain-literal-and-xsd-string

A plain literal denotes the same thing as its corresponding xsd:string, where one exists.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Plain literals without language denote the same thing as
# the corresponding xsd:strings (where their value spaces intersect).
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "a string" .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Plain literals without language denote the same thing as
# the corresponding xsd:strings (where their value spaces intersect).
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "a string"^^<http://www.w3.org/2001/XMLSchema#string> .
Test horst-01-subClassOf-intensional

rdfs:subClassOf has intensional semantics, not extensional.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: any interpretation of this file
# must have the extension of class x
# being a subset of the extension of class y.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
#
# Author: Herman ter Horst
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://example.org/x> a rdfs:Class .

rdf:type rdfs:domain <http://example.org/y> .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description:
# If the class extension of x is known to be a subset
# of the class extension of y then x is not known to
# be an rdfs:subClassOf y (unless operating in
# a semantic extension to RDFS with extensional
# semantics).
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
#
# Author: Herman ter Horst
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://example.org/x> rdfs:subClassOf <http://example.org/y> .
Test horst-01-subPropertyOf-intensional

rdfs:subPropertyOf has intensional semantics, not extensional.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: any interpretation of this file
# respecting xsd:string and xsd:integer
# must have the extension of property p
# being empty.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://example.org/p> a rdf:Property;
rdfs:range xsd:integer,
xsd:string .

<http://example.org/q> a rdf:Property .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description:
# If the property extension of x is known to be a subset
# of the property extension of y then x is not known to
# be an rdfs:subPropertyOf y (unless operating in
# a semantic extension to RDFS with extensional
# semantics).
#
#
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://example.org/p> a rdf:Property;
rdfs:subPropertyOf <http://example.org/q> .
Test rdf-charmod-uris-test003

An international URI ref and its %-escaped form label different nodes in the graph. No model theoretic relationship holds between them.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris
# Test: 1
# Author: Jeremy Carroll, HP
#
# Description:
# Non US-ASCII characters are permitted in the uriref labels
# on the RDF graph. The % escaping algorithm is not applied
# during graph construction.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $

<http://example.org/#André> <http://example.org/#owes> "2000" .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris
# Test: 2
# Author: Jeremy Carroll, HP
#
# Description:
# An explicit % escaped URI is treated like any other US ASCII URI.
# Non US-ASCII characters are permitted in the uriref labels
# on the RDF graph. The % escaping algorithm is not applied
# during graph construction.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $

<http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000" .
Test rdf-charmod-uris-test004

An international URI ref and its %-escaped form label different nodes in the graph. No model theoretic relationship holds between them.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris
# Test: 2
# Author: Jeremy Carroll, HP
#
# Description:
# An explicit % escaped URI is treated like any other US ASCII URI.
# Non US-ASCII characters are permitted in the uriref labels
# on the RDF graph. The % escaping algorithm is not applied
# during graph construction.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $

<http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000" .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris
# Test: 1
# Author: Jeremy Carroll, HP
#
# Description:
# Non US-ASCII characters are permitted in the uriref labels
# on the RDF graph. The % escaping algorithm is not applied
# during graph construction.
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $

<http://example.org/#André> <http://example.org/#owes> "2000" .
Test rdfms-seq-representation-test002

Statement of the MT closure rule.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/bar> .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<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> .
Test rdfms-seq-representation-test003

Statement of the MT closure rule.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/b> .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/a> <http://www.w3.org/2000/01/rdf-schema#member> <http://example.org/b> .
Test rdfms-seq-representation-test004

Statement of the MT closure rule.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/bar> .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<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> .
Test rdfms-xmllang-test007a

Plain literals are distinguishable on the basis of language tags.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat"@fr .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat"@en .
Test rdfms-xmllang-test007b

Plain literals are distinguishable on the basis of language tags.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat"@en .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat" .
Test rdfms-xmllang-test007c

Plain literals are distinguishable on the basis of language tags.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat" .
#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat"@fr .
Test rdfs-container-membership-superProperty-test001

While it is a superproperty, _:a <rdfs:contains (@@member?)> _:b . does NOT entail _:a <rdf:_n> _:b . for any _n.

#  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#> .

<http://example/stuff#something> rdfs:member <http://example/stuff#somethingElse> .
#  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#> .

<http://example/stuff#something> rdf:_1 <http://example/stuff#somethingElse> .
Test rdfs-domain-and-range-intensionality-range

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.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#A> a rdfs:Class;
rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> a rdfs:Class .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#prop> a rdfs:Property;
rdfs:range <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#A> .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> a rdfs:Class .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#prop> a rdfs:Property;
rdfs:range <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> .
Test rdfs-domain-and-range-intensionality-domain

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.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#A> a rdfs:Class;
rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> a rdfs:Class .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#prop> a rdfs:Property;
rdfs:domain <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#A> .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> a rdfs:Class .

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#prop> a rdfs:Property;
rdfs:domain <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> .
Test rdfs-entailment-test001

rdf:XMLLiteral support is no longer mandatory.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
#####################################################################
<http://example.org/prop> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .
<http://example.org/foo> <http://example.org/prop> "<"^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .

false not loaded
Test rdfs-entailment-test002

Use to be from an inconsistent graph, any entailment can be drawn. This is an example.

#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# MODIFIED
#
#####################################################################
<http://example.org/prop> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
<http://example.org/foo> <http://example.org/prop> "flargh"^^<http://www.w3.org/2001/XMLSchema#string> .
false not loaded
Test rdfs-no-cycles-in-subClassOf-test001

Cycles are permitted in subClassOf; therefore, no error occurs and the following entailment holds trivially.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Author: Dan Connolly
#
# Description: see:
#
# http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subClassOf
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<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> .

<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> .

<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> .
# Copyright World Wide Web Consortium, (Massachusetts Institute of

# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Author: Dan Connolly
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#

<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> .
<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> .
<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> .

Test rdfs-no-cycles-in-subPropertyOf-test001

Cycles are permitted in subPropertyOf; therefore, no error occurs and the following entailment holds trivially.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Author: Frank Manola
#
# Description:
#
# Related issue:
#
# http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subPropertyOf
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<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> .

<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> .

<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> .
# Copyright World Wide Web Consortium, (Massachusetts Institute of

# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Author: Frank Manola
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#

<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> .
<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> .
<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> .

Test rdfs-subClassOf-a-Property-test001

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)

# Copyright World Wide Web Consortium (Massachusetts Institute of
# Technology Institut National de Recherche en Informatique et en
# Automatique Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# The following graph is legal (satisfiable)
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
##################################################################
<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> .
<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/foo> .
false not loaded
Test rdfs-subPropertyOf-semantics-test001

The inheritance semantics of the subPropertyOf relationship needs to be clarified. => subProperties inherit conjunctively the domain and range of their superproperties

# Copyright World Wide Web Consortium, (Massachusetts Institute of

# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Issue rdfs-subPropertyOf-semantics:
# The inheritance semantics of the subPropertyOf relationship needs to be clarified.
#
# => subProperties inherit conjunctively the domain and range of their superproperties
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
##################################################################

<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> .
<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/bar> .
<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain1> .
<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain2> .
<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range1> .
<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range2> .
<http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2> .
# Copyright World Wide Web Consortium, (Massachusetts Institute of

# Technology, Institut National de Recherche en Informatique et en
# Automatique, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Issue rdfs-subPropertyOf-semantics:
# The inheritance semantics of the subPropertyOf relationship needs to be clarified.
#
# => subProperties inherit conjunctively the domain and range of their superproperties
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
##################################################################

<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1> .
<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2> .
<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1> .
<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2> .
Test statement-entailment-test001

RDFCore WG RESOLVED that a reified statement was a stating, not a statement. The following entailment does not, therefore, hold.

<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> .
<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .

<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> .
<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .

<http://example.org/stmt1> <http://example.org/property> <http://example.org/foo> .

<http://example.org/stmt2> <http://example.org/property> <http://example.org/foo> .

Test statement-entailment-test002

RDFCore WG RESOLVED that a statement does NOT entail its reification. The following entailment does not, therefore, hold.

<http://example.org/subj> <http://example.org/prop> <http://example.org/obj> .

_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subj> .
_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop> .
_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/obj> .

Test statement-entailment-test003

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.

<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> .
<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .

<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> .
<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .

<http://example.org/stmt1> <http://example.org/property> <http://example.org/foo> .

<http://example.org/stmt2> <http://example.org/property> <http://example.org/foo> .

Test statement-entailment-test004

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.

<http://example.org/subj> <http://example.org/prop> <http://example.org/obj> .

_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subj> .
_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop> .
_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/obj> .

Test tex-01-language-tag-case-1

The case of the language tag is not significant.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: language tag is lower case in this file.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#

[ <http://example.org/prop> "a"@en-us] .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: language tag is mixed case in this file.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#

[ <http://example.org/prop> "a"@en-US] .
Test tex-01-language-tag-case-2

The case of the language tag is not significant.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: language tag is mixed case in this file.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#

[ <http://example.org/prop> "a"@en-US] .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: language tag is lower case in this file.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#

[ <http://example.org/prop> "a"@en-us] .
Test xmlsch-02-whitespace-facet-1

A well-formed typed literal is not related to an ill-formed literal. Even if they only differ by whitespace.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: the typed literal in this file is well-formed.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.example.org/a> <http://example.org/prop> "3"^^xsd:int .
# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: the typed literal in this file is not well-formed.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .
Test xmlsch-02-whitespace-facet-2

Ill-formed datatyped literals now are inconsistent. Used to be negative entailment to <xmlsch-02/test001.ttl> .

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: the typed literal in this file is not well-formed.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .
false not loaded
Test xmlsch-02-whitespace-facet-4

Ill-formed datatyped literals now are inconsistent. Used to be negative entailment.

# 
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Description: the typed literal in this file is not well-formed.
#
# Related issue:
#
# http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
#
# Author: Jeremy Carroll
#
# $Id: index.html,v 1.2 2014/02/20 21:03:00 sandro Exp $
#
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .
false not loaded

Report Generation Software

This report generated by earl-report version 0.3.1 an Unlicensed Ruby application. More information is available at https://github.com/gkellogg/earl-report .

This software is provided by Gregg Kellogg in hopes that it might make the lives of conformance testers easier.