@prefix terms: <http://purl.org/dc/terms/> .
@prefix tests: <http://www.w3.org/2001/sw/DataAccess/tests/#> .
@prefix elements: <http://purl.org/dc/elements/1.1/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix eric: <mailto:eric@> .
@prefix nmg-strawman: <http://www.w3.org/WAI/ER/EARL/nmg-strawman#> .
[
   nmg-strawman:assertedBy [
      nmg-strawman:helpAssertor _:1 ;
      nmg-strawman:mainAssertor [
         nmg-strawman:mbox eric:w3.org ;
         foaf:name "Eric Prud'hommeaux" .
      ] .
   ] ;
   nmg-strawman:result [
      elements:title "Worky" ;
      nmg-strawman:confidence "1.0"^^<http://www.w3.org/2001/XMLSchema#int> ;
      nmg-strawman:validity nmg-strawman:pass .
   ] ;
   nmg-strawman:subject _:1 ;
   nmg-strawman:test [
      elements:description "Simple entailment" ;
      elements:identifier tests:testrdfSemantics-001 ;
      elements:title "rdfSemantics-001" .
   ] .
] .
[
   nmg-strawman:assertedBy [
      nmg-strawman:helpAssertor _:1 ;
      nmg-strawman:mainAssertor [
         nmg-strawman:mbox eric:w3.org ;
         foaf:name "Eric Prud'hommeaux" .
      ] .
   ] ;
   nmg-strawman:result [
      elements:description "3: 
  - #bnode2#|<http://example.org/data#r>|#bnode1#" ;
      elements:title "No worky" ;
      nmg-strawman:confidence "1.0"^^<http://www.w3.org/2001/XMLSchema#int> ;
      nmg-strawman:validity nmg-strawman:fail .
   ] ;
   nmg-strawman:subject _:1 ;
   nmg-strawman:test [
      elements:description "Simple entailment redundancy" ;
      elements:identifier tests:testrdfSemantics-002 ;
      elements:title "rdfSemantics-002" .
   ] .
] .
[
   nmg-strawman:assertedBy [
      nmg-strawman:helpAssertor _:1 ;
      nmg-strawman:mainAssertor [
         nmg-strawman:mbox eric:w3.org ;
         foaf:name "Eric Prud'hommeaux" .
      ] .
   ] ;
   nmg-strawman:result [
      elements:description "2: 
  - #bnode1#|#bnode2#|<http://example.org/data#r>
 3: 
  + #bnode1#|#bnode1#|<http://example.org/data#r>" ;
      elements:title "No worky" ;
      nmg-strawman:confidence "1.0"^^<http://www.w3.org/2001/XMLSchema#int> ;
      nmg-strawman:validity nmg-strawman:fail .
   ] ;
   nmg-strawman:subject _:1 ;
   nmg-strawman:test [
      elements:description "Simple entailment missing coreference" ;
      elements:identifier tests:testrdfSemantics-003 ;
      elements:title "rdfSemantics-003" .
   ] .
] .
[
   nmg-strawman:assertedBy [
      nmg-strawman:helpAssertor _:1 ;
      nmg-strawman:mainAssertor [
         nmg-strawman:mbox eric:w3.org ;
         foaf:name "Eric Prud'hommeaux" .
      ] .
   ] ;
   nmg-strawman:result [
      elements:title "Worky" ;
      nmg-strawman:confidence "1.0"^^<http://www.w3.org/2001/XMLSchema#int> ;
      nmg-strawman:validity nmg-strawman:pass .
   ] ;
   nmg-strawman:subject _:1 ;
   nmg-strawman:test [
      elements:description "Simple entailment bnode in where clause" ;
      elements:identifier tests:testrdfSemantics-004 ;
      elements:title "rdfSemantics-004" .
   ] .
] .
[
   nmg-strawman:assertedBy [
      nmg-strawman:helpAssertor _:1 ;
      nmg-strawman:mainAssertor [
         nmg-strawman:mbox eric:w3.org ;
         foaf:name "Eric Prud'hommeaux" .
      ] .
   ] ;
   nmg-strawman:result [
      elements:title "Worky" ;
      nmg-strawman:confidence "1.0"^^<http://www.w3.org/2001/XMLSchema#int> ;
      nmg-strawman:validity nmg-strawman:pass .
   ] ;
   nmg-strawman:subject _:1 ;
   nmg-strawman:test [
      elements:description "Counting semantics - queried with a variable subject" ;
      elements:identifier tests:testrdfSemantics-var-type-var ;
      elements:title "rdfSemantics-var-type-var" .
   ] .
] .
[
   nmg-strawman:assertedBy [
      nmg-strawman:helpAssertor _:1 ;
      nmg-strawman:mainAssertor [
         nmg-strawman:mbox eric:w3.org ;
         foaf:name "Eric Prud'hommeaux" .
      ] .
   ] ;
   nmg-strawman:result [
      elements:title "Worky" ;
      nmg-strawman:confidence "1.0"^^<http://www.w3.org/2001/XMLSchema#int> ;
      nmg-strawman:validity nmg-strawman:pass .
   ] ;
   nmg-strawman:subject _:1 ;
   nmg-strawman:test [
      elements:description "Counting semantics - queried with a bNode subject" ;
      elements:identifier tests:testrdfSemantics-bNode-type-var ;
      elements:title "rdfSemantics-bNode-type-var" .
   ] .
] .
_:1 elements:date "$Date: 2006/10/02 12:48:23 $" ;
    elements:description "Algae2 SPARQL Implementation" ;
    elements:title "Algae2" ;
    terms:hasVersion "$Revision: 1.116 $" ;
    terms:partOf <http://www.w3.org/1999/02/26-modules/> ;
    foaf:homepage <http://www.w3.org/1999/02/26-modules/Algae-HOWTO#> .