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

+ moved the ontology stuff to testOntology.rdf

I will separately reply to Ian, agreeing with his comments
about the third test of each set.

Jeremy

Received on Thursday, 1 August 2002 14:24:00 UTC