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

TEST: formalizing f2f decisions

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 16 Apr 2002 16:50:10 +0100
To: <www-webont-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDGEKOCDAA.jjc@hplb.hpl.hp.com>

I think we (test focus area) should propose test cases to be approved by the
WG as a record of the f2f decisions.

I suggest:

- error cases of OWL documents using the Q keywords from DAML+OIL.
  i.e. the documents are not legal OWL documents

- entailment tests with the Student and Employee example showing the desired
entailements (see my message to RDF Core [1] including the D+O entailment
tests). Also one of the extra entailments Pat wants.

I suggest we do these tests by:

1: Writing these tests in DAML+OIL
2: globally substitute the namespace prefix daml: for owl:
3: move the actual namespace  "http://www.daml.org/2001/03/daml+oil#" into
an external entity (named owl).
4: add comments to the tests giving the intent of the tests, and indicating
that future editorial revision will be made to update the tests in line with
any deviation of OWL from DAML+OIL.

I note that the tests will then *actually* all be false, since the only
namespace we have is the d+o one, and as far as I can tell, d+o disagrees
with WebOnt on all of these issues. However the intent will be clear - that
OWL will conform with the tests.


Received on Tuesday, 16 April 2002 11:51:56 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:43 UTC