W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2002

Re: TEST: FunctionalProperty InverseFunctionalProperty 3.4 4.1

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 1 Aug 2002 22:00:27 +0200
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: Ian Horrocks <horrocks@cs.man.ac.uk>, Jeremy Carroll <jjc@hplb.hpl.hp.com>, www-webont-wg@w3.org
Message-ID: <OFAA558A30.131A6770-ONC1256C08.006D647A@agfa.be>

> 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 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:33 UTC