Re: TEST: compound document

Jeremy, this is perfect!
Thanks as well for the global Manifest
I'm currently running

(<http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest>
                           .log:semantics).log:conjunction =>
 <http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest>
                                              .log:semantics.

which is starting 176 engines
and skipping tests which have
  rdft:status "OBSOLETED"
  owlt:level owlt:Lite
  owlt:level owlt:DL
and running tests which are
  rdft:PositiveEntailmentTest
  owlt:PositiveEntailmentTest
  owlt:InconsistencyTest
  owlt:ImportEntailmentTest
and the result is 12 testcases not proved
(including the 4 miscellaneous tests)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                       
                    Jeremy Carroll                                                                                     
                    <jjc@hpl.hp.com>         To:     www-webont-wg@w3.org                                              
                    Sent by:                 cc:                                                                       
                    www-webont-wg-requ       Subject:     TEST: compound document                                      
                    est@w3.org                                                                                         
                                                                                                                       
                                                                                                                       
                    2003-04-24 11:03                                                                                   
                    AM                                                                                                 
                                                                                                                       
                                                                                                                       






The editors draft is now a compound document.
I would value feedback as to the acceptability of the structure viz:

I used an XSLT transform to excise some of the bigger sections and replace
them with an extract from the table of contents.
The main document
http://www.w3.org/2002/03owlt/editors-draft/draft/
hence has every section but some of them (i.e. 7 and C) are just content
links
into separate documents.

Jeremy

Received on Sunday, 27 April 2003 17:15:35 UTC