W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: Test document: a few comments (one comment about AS & S)

From: <herman.ter.horst@philips.com>
Date: Mon, 13 Jan 2003 14:04:25 +0100
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: jos.deroo.jd@belgium.agfa.com, www-webont-wg@w3.org
Message-ID: <OF92181432.AC2FE398-ONC1256CAD.00471E38-C1256CAD.0047FED1@diamond.philips.com>
> > - The readability of the test cases (I looked at the triples versions
> > in section E) would improve if one very strictly followed way of 
> > them would be used.  Sometimes, in particular, a long list of 
> > incorporates many premises.  I am in favor of consistently dropping 
> > premises from the conclusions, in view of readability.
> > 
> Can you point to specific examples?
> Often what happens is that things that from an OWL Full point of view 
> premises are required in the conclusion for syntactic reasons i.e. to 
> the conclusions OWL DL or OWL Lite.

- The third test in Section E.1.2 is labeled Full and contains both 
in the conclusions
- The first test in E.1.7 (Lite) contains two conclusions, the second of 
which is 
also among the premises.
However, this test does not repeat from the premises that first:c is a 

- The cardinality tests in Section E.1.8 contain long lists of premises 
conclusions, with much repetition in the conclusions from the premises.

Received on Monday, 13 January 2003 08:06:28 UTC

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