horst-01 test cases

Hi

I have added these to

http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/

http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/Manifest.rdf
http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test001.rdf (premises for 
subClassOf)
http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test002.rdf ( conclusion 
for subClassOf)

http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test003.rdf (premises for 
subPropertyOf)
http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test004.rdf ( conclusion 
for subProeprtyOf)

No n-triples done (use the validator)

I have credited the first test to Herman (Herman please indicate if that is 
not acceptable)

The manifest says that both are non-entailments

Jeremy

Received on Friday, 18 July 2003 01:31:37 UTC