rdfs-domain-and-range etc

• From: <jos.deroo.jd@belgium.agfa.com>
• Date: Wed, 17 Oct 2001 10:53:24 +0100
• To: www-archive@w3.org
• Message-Id: <41256AE8.00365511.00@ambem5.eps.agfa.be>

proof that
  http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt
and
  http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt
and
  http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt
rdfs-entails
  http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt


euler result in etc.n3

(See attached file: etc.n3)

Received on Wednesday, 17 October 2001 04:53:47 UTC