- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Sun, 27 Apr 2003 23:15:25 +0200
- To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
- Cc: www-webont-wg@w3.org, www-webont-wg-request@w3.org
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