> I have updated the 6 entailments tests, four Manfiest files > and a testOntology file in light of the telecon. > > The updates I tried to make are: > + delete .rdf suffices from all URIrefs > + follow the pattern of premises001 etc > i.e. - no 404s on URLs checked them and they are OK I think (but I think I get some conversion problems using cwm; xml:base maybe? anyhow, I continued by hand, and that also worked out with the proof as well) -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Thursday, 1 August 2002 16:01:05 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT