# $Id: Manifest.n3,v 1.1 2002/07/31 16:15:59 jderoo Exp $
# PxButton | test | Euler Manifest.n3 Manifest.n3 |

#Processed by Id: cwm.py,v 1.98 2002/07/24 02:31:38 timbl Exp 
        #    using base file:/w3ccvs/WWW/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.rdf
        
#  Notation3 generation by
#       notation3.py,v 1.111 2002/07/24 02:31:40 timbl Exp

#   Base was: file:/w3ccvs/WWW/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.rdf
     @prefix : <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001>     a test:PositiveEntailmentTest;
         test:conclusionDocument <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt>;
         test:description """
    The inheritance semantics of the subPropertyOf relationship needs to be clarified.
 
    => subProperties inherit conjunctively the domain and range of their superproperties
   """;
         test:entailmentRules rdf:,
                :;
         test:issue <http://www.w3.org/2000/03/rdf-tracking/#rdfs-subPropertyOf-semantics>;
         test:premiseDocument <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt>;
         test:status "PENDING" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt>     a test:RDF-XML-Document .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt>     a test:NT-Document .
    
#ENDS