Re: TEST: formalizing f2f decisions

> 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

agreed

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

which one was that Jeremy?

--
Jos

Received on Wednesday, 17 April 2002 04:07:01 UTC