# $Id: Manifest.n3,v 1.4 2002/07/31 14:57:27 jderoo Exp $
# PxButton | test | Euler Manifest.n3 Manifest.n3 |

#Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp 
        #    using base file:/www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf
        
#  Notation3 generation by
#       notation3.py,v 1.107 2002/03/22 21:36:00 timbl Exp

#   Base was: file:/www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf
     @prefix : <http://www.w3.org/2000/03/rdf-tracking/#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveEntailmentTest>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> """
Should a property be allowed more than one rdfs:range property?
What should the semantics of multiple domain and range properties be?

-> Multiple domain and range constraints are permissable
   and will have conjunctive semantics.

test001
  describes a property with rdfs:domain the intersection of 2 domains
test002
  describes a property with rdfs:range the intersection of 2 ranges
test003
  sample statement
test004
  entailed description using test001, test002, test003 and
  the rules for RDF and RDFS entailment
  (see http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/ )
   """;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> rdf:,
                rdfs:;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>,
                <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>,
                <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "APPROVED" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "APPROVED" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
    
#ENDS