RDF Semantics Implementation Report

## Abstract

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

## Status of This Document

This document is merely a W3C-internal document. It has no official standing of any kind and does not represent consensus of the W3C Membership.

New Version Available

The RDF Test Curation Community Group is maintaining updates to important test suites, including for RDF Entailment. The new tests are available at http://w3c.github.io/rdf-tests/rdf-mt/ along with an updated Implementation Report.

## Table of Contents

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

## 2. Test Manifests

### 2.1 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%

## A. Test Subjects

This report was tested using the following test subjects:

ClioPatria RDF semantics pack
  Developer
    Jan Wielemaker
  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%)

## B. Individual Test Results

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

- ClioPatria-earl-results-2013-12-16.ttl
- earl-corese-2013-12-11.ttl
- swertia-earl-20140104-earl.ttl

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

  Example 1: datatypes-intensional-xsd-integer-decimal-compatible Input

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

  Example 2: datatypes-intensional-xsd-integer-decimal-compatible Result

      false not loaded

Test datatypes-non-well-formed-literal-1

  Used to be a postitive test to itself.

  Example 3: datatypes-non-well-formed-literal-1 Input

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

  Example 4: datatypes-non-well-formed-literal-1 Result

      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>

  Example 5: datatypes-non-well-formed-literal-2 Input

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

  Example 6: datatypes-non-well-formed-literal-2 Result

      false not loaded

Test datatypes-semantic-equivalence-within-type-1

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

  Example 7: datatypes-semantic-equivalence-within-type-1 Input

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

  Example 8: datatypes-semantic-equivalence-within-type-1 Result

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

Test datatypes-semantic-equivalence-within-type-2

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

  Example 9: datatypes-semantic-equivalence-within-type-2 Input

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

  Example 10: datatypes-semantic-equivalence-within-type-2 Result

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

Test datatypes-semantic-equivalence-between-datatypes

  Members of different datatypes may be semantically equivalent.

  Example 11: datatypes-semantic-equivalence-between-datatypes Input

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

  Example 12: datatypes-semantic-equivalence-between-datatypes Result

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

Test datatypes-range-clash

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

  Example 13: datatypes-range-clash Input

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

  Example 14: datatypes-range-clash Result

      false not loaded

Test datatypes-test008

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

  Example 15: datatypes-test008 Input

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

  Example 16: datatypes-test008 Result

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

Test datatypes-test009

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

  Example 17: datatypes-test009 Input

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

  Example 18: datatypes-test009 Result

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

Test datatypes-test010

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

  Example 19: datatypes-test010 Input

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

  Example 20: datatypes-test010 Result

      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.

  Example 21: datatypes-plain-literal-and-xsd-string Input

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

  Example 22: datatypes-plain-literal-and-xsd-string Result

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

Test horst-01-subClassOf-intensional

  rdfs:subClassOf has intensional semantics, not extensional.

  Example 23: horst-01-subClassOf-intensional Input

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

  Example 24: horst-01-subClassOf-intensional Result

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

Test horst-01-subPropertyOf-intensional

  rdfs:subPropertyOf has intensional semantics, not extensional.

  Example 25: horst-01-subPropertyOf-intensional Input

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

  Example 26: horst-01-subPropertyOf-intensional Result

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

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.

  Example 27: rdf-charmod-uris-test003 Input

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

  Example 28: rdf-charmod-uris-test003 Result

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

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.

  Example 29: rdf-charmod-uris-test004 Input

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

  Example 30: rdf-charmod-uris-test004 Result

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

Test rdfms-seq-representation-test002

  Statement of the MT closure rule.

  Example 31: rdfms-seq-representation-test002 Input

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

  Example 32: rdfms-seq-representation-test002 Result

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

Test rdfms-seq-representation-test003

  Statement of the MT closure rule.

  Example 33: rdfms-seq-representation-test003 Input

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

  Example 34: rdfms-seq-representation-test003 Result

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

Test rdfms-seq-representation-test004

  Statement of the MT closure rule.

  Example 35: rdfms-seq-representation-test004 Input

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

  Example 36: rdfms-seq-representation-test004 Result

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

Test rdfms-xmllang-test007a

  Plain literals are distinguishable on the basis of language tags.

  Example 37: rdfms-xmllang-test007a Input

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

  Example 38: rdfms-xmllang-test007a Result

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

Test rdfms-xmllang-test007b

  Plain literals are distinguishable on the basis of language tags.

  Example 39: rdfms-xmllang-test007b Input

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

  Example 40: rdfms-xmllang-test007b Result

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

Test rdfms-xmllang-test007c

  Plain literals are distinguishable on the basis of language tags.

  Example 41: rdfms-xmllang-test007c Input

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

  Example 42: rdfms-xmllang-test007c Result

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

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.

  Example 43: rdfs-container-membership-superProperty-test001 Input

      #  Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp
      @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

      <http://example/stuff#something> rdfs:member <http://example/stuff#somethingElse> .

  Example 44: rdfs-container-membership-superProperty-test001 Result

      #  Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp
      @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

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

  Example 45: rdfs-domain-and-range-intensionality-range Input

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

  Example 46: rdfs-domain-and-range-intensionality-range Result

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

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.

  Example 47: rdfs-domain-and-range-intensionality-domain Input

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

  Example 48: rdfs-domain-and-range-intensionality-domain Result

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

Test rdfs-entailment-test001

  rdf:XMLLiteral support is no longer mandatory.

  Example 49: rdfs-entailment-test001 Input

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

  Example 50: rdfs-entailment-test001 Result

      false not loaded

Test rdfs-entailment-test002

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

  Example 51: rdfs-entailment-test002 Input

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

  Example 52: rdfs-entailment-test002 Result

      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.

  Example 53: rdfs-no-cycles-in-subClassOf-test001 Input

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

  Example 54: rdfs-no-cycles-in-subClassOf-test001 Result

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

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

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

  Example 55: rdfs-no-cycles-in-subPropertyOf-test001 Input

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

  Example 56: rdfs-no-cycles-in-subPropertyOf-test001 Result

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

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)

  Example 57: rdfs-subClassOf-a-Property-test001 Input

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

  Example 58: rdfs-subClassOf-a-Property-test001 Result

      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

  Example 59: rdfs-subPropertyOf-semantics-test001 Input

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

  Example 60: rdfs-subPropertyOf-semantics-test001 Result

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

Test statement-entailment-test001

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

  Example 61: statement-entailment-test001 Input

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

  Example 62: statement-entailment-test001 Result

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

  Example 63: statement-entailment-test002 Input

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

  Example 64: statement-entailment-test002 Result

      _:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
      _: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.

  Example 65: statement-entailment-test003 Input

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

  Example 66: statement-entailment-test003 Result

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

  Example 67: statement-entailment-test004 Input

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

  Example 68: statement-entailment-test004 Result

      _:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
      _: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.

  Example 69: tex-01-language-tag-case-1 Input

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

  Example 70: tex-01-language-tag-case-1 Result

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

Test tex-01-language-tag-case-2

  The case of the language tag is not significant.

  Example 71: tex-01-language-tag-case-2 Input

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

  Example 72: tex-01-language-tag-case-2 Result

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

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.

  Example 73: xmlsch-02-whitespace-facet-1 Input

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

  Example 74: xmlsch-02-whitespace-facet-1 Result

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

Test xmlsch-02-whitespace-facet-2

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

  Example 75: xmlsch-02-whitespace-facet-2 Input

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

  Example 76: xmlsch-02-whitespace-facet-2 Result

      false not loaded

Test xmlsch-02-whitespace-facet-4

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

  Example 77: xmlsch-02-whitespace-facet-4 Input

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

  Example 78: xmlsch-02-whitespace-facet-4 Result

      false not loaded

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

## E. References

### E.1 Informative references

[DOAP]
  Ed Dumbill. Description of a Project. Community Specification. URL: https://github.com/edumbill/doap/wiki
[EARL10-SCHEMA]
  Shadi Abou-Zahra. Evaluation and Report Language (EARL) 1.0 Schema. 10 May 2011. W3C Last Call Working Draft. URL: http://www.w3.org/TR/EARL10-Schema/
[FOAF]
  Dan Brickley; Libby Miller. FOAF Vocabulary Specification 0.99 (Paddington Edition). 14 January 2014. URL: http://xmlns.com/foaf/spec
[RDF11-MT]
  Patrick J. Hayes, Peter F. Patel-Schneider. RDF 1.1 Semantics. W3C Recommendation, 25 February 2014. URL: http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/. The latest edition is available at http://www.w3.org/TR/rdf11-mt/