Re: TEST: FunctionalProperty InverseFunctionalProperty 3.4 4.1

> 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

Received on Thursday, 1 August 2002 16:01:05 UTC