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
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/> .
This report was tested using the following test subjects:
39/39 (100.0%) |
39/39 (100.0%) |
28/39 (71.8%) |
Individual test results used to construct this report are available here:
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: test001.nt,v 1.1 2003/09/03 12:05:35 jgrant 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
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: test002.nt,v 1.1 2002/11/19 14:04:16 jgrant Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer> .
false not loaded
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: test002.nt,v 1.1 2002/11/19 14:04:16 jgrant Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer> .
false not loaded
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: test003a.nt,v 1.1 2002/11/19 16:50:04 jgrant 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: test003b.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
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: test003b.nt,v 1.1 2002/11/19 16:50:04 jgrant 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: test003a.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "010"^^<http://www.w3.org/2001/XMLSchema#integer> .
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: test005a.nt,v 1.1 2002/11/19 17:02:56 jgrant 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: test005b.nt,v 1.2 2002/12/11 16:49:41 jgrant Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "10.0"^^<http://www.w3.org/2001/XMLSchema#decimal> .
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: test006.nt,v 1.1 2002/12/13 11:22:19 jgrant 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
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: test008a.nt,v 1.1 2002/12/13 11:53:00 jgrant 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: test008b.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $
#
#####################################################################
<http://example.org/a> <http://example.org/b> _:x .
<http://example.org/c> <http://example.org/d> _:x .
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: test009a.nt,v 1.1 2002/12/13 11:53:00 jgrant 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: test009b.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $
#
#####################################################################
<http://example.org/a> <http://example.org/b> _:x .
<http://example.org/c> <http://example.org/d> _:x .
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: test010.nt,v 1.1 2002/12/13 11:53:00 jgrant 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
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: test011a.nt,v 1.1 2003/09/03 12:22:06 jgrant 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: test011b.nt,v 1.1 2003/09/03 12:22:06 jgrant Exp $
#
#####################################################################
<http://example.org/foo> <http://example.org/bar> "a string"^^<http://www.w3.org/2001/XMLSchema#string> .
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: test001.rdf,v 1.1 2003/07/18 05:21:30 jcarroll 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: test002.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $
#
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
<http://example.org/x> rdfs:subClassOf <http://example.org/y> .
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: test003.rdf,v 1.1 2003/07/18 05:21:30 jcarroll 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: test004.rdf,v 1.1 2003/07/18 05:21:30 jcarroll 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> .
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: test001.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 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: test002.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $
<http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000" .
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: test002.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 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: test001.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $
<http://example.org/#André> <http://example.org/#owes> "2000" .
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: empty.nt,v 1.1 2002/12/13 16:48:03 jgrant 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: test002.nt,v 1.1 2002/12/13 16:48:03 jgrant 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> .
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: test003a.nt,v 1.1 2002/12/13 16:48:03 jgrant 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: test003b.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $
#
#####################################################################
<http://example.org/a> <http://www.w3.org/2000/01/rdf-schema#member> <http://example.org/b> .
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: empty.nt,v 1.1 2002/12/13 16:48:03 jgrant 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: test004.nt,v 1.1 2002/12/13 16:48:04 jgrant 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> .
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: test007a.nt,v 1.1 2002/12/18 15:49:29 jgrant 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: test007b.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat"@en .
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: test007b.nt,v 1.1 2002/12/18 15:49:29 jgrant 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: test007c.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat" .
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: test007c.nt,v 1.1 2002/12/18 15:49:29 jgrant 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: test007a.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $
#
#####################################################################
<http://example.org/node> <http://example.org/property> "chat"@fr .
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> .
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: premises005.rdf,v 1.2 2002/11/22 13:21:49 jcarroll 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: nonconclusions005.rdf,v 1.2 2002/11/22 13:21:49 jcarroll 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> .
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: premises006.rdf,v 1.1 2002/11/22 13:21:49 jcarroll 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: nonconclusions006.rdf,v 1.1 2002/11/22 13:21:49 jcarroll 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> .
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: test001.nt,v 1.1 2003/11/13 10:21:45 jgrant 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
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
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:$
#
@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: test001.nt,v 1.3 2001/10/01 13:45:20 barstow 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> .
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$
#
@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: test001.nt,v 1.3 2001/10/01 13:43:50 barstow 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> .
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: test001.nt,v 1.1 2002/12/18 15:44:22 jgrant 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
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: test001.nt,v 1.4 2002/04/05 13:25:37 josderoo 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: test002.nt,v 1.2 2002/04/05 13:25:45 josderoo 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> .
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> .
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> .
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> .
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> .
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: test001.rdf,v 1.2 2003/05/09 10:39:49 jcarroll 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: test002.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $
#
[ <http://example.org/prop> "a"@en-US] .
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: test002.rdf,v 1.2 2003/05/09 10:39:49 jcarroll 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: test001.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $
#
[ <http://example.org/prop> "a"@en-us] .
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: test001.rdf,v 1.1 2003/05/12 20:07:01 jcarroll 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: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $
#
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .
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: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $
#
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .
false not loaded
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: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $
#
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .
false not loaded
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.