manifest.ttl

这是外国一个开源推理机

@prefix rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
@prefix mf:     <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
@prefix qt:     <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .

<>  rdf:type mf:Manifest ;
    rdfs:comment "Sesame SeRQL engine test cases" ;
    mf:entries
    ( 
      [  mf:name    "test-000: closure empty graph" ;
         rdfs:label "test-000" ;
         mf:action
            [ qt:query  <test000-query> ;
              qt:data   <test000-in.nt> ] ;
         mf:result  <test000-out.nt>
      ]
      [  mf:name    "test-001: subClassOf" ;
         rdfs:label "test-001" ;
         mf:action
            [ qt:query  <test001-query> ;
              qt:data   <test001-in.nt> ] ;
         mf:result  <test001-out.nt>
      ]
      [  mf:name    "test-002: isLiteral" ;
         rdfs:label "test-002" ;
         mf:action
            [ qt:query  <test002-query> ;
              qt:data   <test002-in.nt> ] ;
         mf:result  <test002-out.nt>
      ]
      [  mf:name    "test-003: language tag" ;
         rdfs:label "test-003" ;
         mf:action
            [ qt:query  <test003-query> ;
              qt:data   <test003-in.nt> ] ;
         mf:result  <test003-out.nt>
      ]
            [  mf:name    "test-004: datatype" ;
         rdfs:label "test-004" ;
         mf:action
            [ qt:query  <test004-query> ;
              qt:data   <test004-in.nt> ] ;
         mf:result  <test004-out.nt>
      ]
            [  mf:name    "test-005: branched path" ;
         rdfs:label "test-005" ;
         mf:action
            [ qt:query  <test005-query> ;
              qt:data   <test005-in.nt> ] ;
         mf:result  <test005-out.nt>
      ]
            [  mf:name    "test-006: compare datatyped literals" ;
         rdfs:label "test-006" ;
         mf:action
            [ qt:query  <test006-query> ;
              qt:data   <test006-in.nt> ] ;
         mf:result  <test006-out.nt>
      ]
            [  mf:name    "test-007: compare datatyped literals " ;
         rdfs:label "test-007" ;
         mf:action
            [ qt:query  <test007-query> ;
              qt:data   <test007-in.nt> ] ;
         mf:result  <test007-out.nt>
      ]
            [  mf:name    "test-008: optional match" ;
         rdfs:label "test-008" ;
         mf:action
            [ qt:query  <test008-query> ;
              qt:data   <test008-in.nt> ] ;
         mf:result  <test008-out.nt>
      ]
            [  mf:name    "test-009: optional match nested" ;
         rdfs:label "test-009" ;
         mf:action
            [ qt:query  <test009-query> ;
              qt:data   <test009-in.nt> ] ;
         mf:result  <test009-out.nt>
      ]
            [  mf:name    "test-010: subClassOf" ;
         rdfs:label "test-010" ;
         mf:action
            [ qt:query  <test010-query> ;
              qt:data   <test010-in.nt> ] ;
         mf:result  <test010-out.nt>
      ]
            [  mf:name    "test-011: directSubClassOf" ;
         rdfs:label "test-011" ;
         mf:action
            [ qt:query  <test011-query> ;
              qt:data   <test011-in.nt> ] ;
         mf:result  <test011-out.nt>
      ]
            [  mf:name    "test-012: XML literal" ;
         rdfs:label "test-012" ;
         mf:action
            [ qt:query  <test012-query> ;
              qt:data   <test012-in.nt> ] ;
         mf:result  <test012-out.nt>
      ]
            [  mf:name    "test-013: reification" ;
         rdfs:label "test-013" ;
         mf:action
            [ qt:query  <test013-query> ;
              qt:data   <test013-in.nt> ] ;
         mf:result  <test013-out.nt>
      ]
            [  mf:name    "test-014: compare lexical value" ;
         rdfs:label "test-014" ;
         mf:action
            [ qt:query  <test014-query> ;
              qt:data   <test014-in.nt> ] ;
         mf:result  <test014-out.nt>
      ]
            [  mf:name    "test-015: compare lexical value" ;
         rdfs:label "test-015" ;
         mf:action
            [ qt:query  <test015-query> ;
              qt:data   <test015-in.nt> ] ;
         mf:result  <test015-out.nt>
      ]
            [  mf:name    "test-016: compare lexical value" ;
         rdfs:label "test-016" ;
         mf:action
            [ qt:query  <test016-query> ;
              qt:data   <test016-in.nt> ] ;
         mf:result  <test016-out.nt>
      ]
            [  mf:name    "test-017: compare lexical value" ;
         rdfs:label "test-017" ;
         mf:action
            [ qt:query  <test017-query> ;
              qt:data   <test017-in.nt> ] ;
         mf:result  <test017-out.nt>
      ]
            [  mf:name    "test-018: {x} x {x}" ;
         rdfs:label "test-018" ;
         mf:action
            [ qt:query  <test018-query> ;
              qt:data   <test018-in.nt> ] ;
         mf:result  <test018-out.nt>
      ]
            [  mf:name    "test-019: unicode multibyte chars" ;
         rdfs:label "test-019" ;
         mf:action
            [ qt:query  <test019-query> ;
              qt:data   <test019-in.nt> ] ;
         mf:result  <test019-out.nt>
      ]
            [  mf:name    "test-020: namespace()" ;
         rdfs:label "test-020" ;
         mf:action
            [ qt:query  <test020-query> ;
              qt:data   <test020-in.nt> ] ;
         mf:result  <test020-out.nt>
      ]
            [  mf:name    "test-021: bnode creation" ;
         rdfs:label "test-021" ;
         mf:action
            [ qt:query  <test021-query> ;
              qt:data   <test021-in.nt> ] ;
         mf:result  <test021-out.nt>
      ]
            [  mf:name    "test-022: directSubClassOf" ;
         rdfs:label "test-022" ;
         mf:action
            [ qt:query  <test022-query> ;
              qt:data   <test022-in.nt> ] ;
         mf:result  <test022-out.nt>
      ]
            [  mf:name    "test-023: directSubPropertyOf" ;
         rdfs:label "test-023" ;
         mf:action
            [ qt:query  <test023-query> ;
              qt:data   <test023-in.nt> ] ;
         mf:result  <test023-out.nt>
      ]
     ).