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)
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:08:28 GMT