TEST: Functional and InverseFunctional tests for approval

Can I suggest that we put the following tests on a telecon agenda for approval:


http://www.w3.org/2002/03owlt/FunctionalProperty/premises002
http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002

http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001
http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001


http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002
http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002


They are similar to the test

http://www.w3.org/2002/03owlt/FunctionalProperty/premises001
http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001


which was approved and I believe will now be uncontroversial.

Two other, hopefully non-controversial tests are:

http://www.w3.org/2002/03owlt/I3.4/bad001.rdf
http://www.w3.org/2002/03owlt/I4.1/bad001.rdf


Jeremy

Received on Tuesday, 27 August 2002 01:03:06 UTC