- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 13 Dec 2002 10:48:49 +0100
- To: "Jeremy Carroll <jjc" <jjc@hplb.hpl.hp.com>
- Cc: webont <www-webont-wg@w3.org>, heflin@cse.lehigh
> I'm just getting round to changing the doc.
>
> I'll get it to process these tests properly. I will chnage the test type
of
> the positive entailment to "entailment with imports" or something like
> that; and get it so all the imported docs are in the Test Cases document.
right now when we load the Manifest triples
and get the triple
eg:test rtest:premiseDocument <#premises001>.
we load the premises001 triples in a new eg:test engine
but then we don't know if we have to *do* imports or not
because it could very well be that the triple
eg:test a otest:PositiveEntailmentWithImportsTest.
only comes in later (in the Manifest engine)
and it actually is with Jena-1.6.0
this is of course procedural matter and there
are always solutions which could be worked out
> I'll add xml:base as well to your files.
I now did that for all the files
> Other planned changes:
> - add stuff about conformance
> - change something about the conflict resolution to be different between
> last call and proposed rec: I am not quite sure what, but I imagine we
will
> have quite a lot of fixes to do in that period and the "if its wrong
delete
> it" method looks too dramatic to me now. Maybe no change is needed ...,
the
> current wording allows arbitrary change between last call and candidate
rec.
> - flagging of OWL Lite and OWL DL subsets; this will need support in the
> editor too.
> - support for rdf:datatype in the parser ....
right
+ one overall Manifest file to make machine testing easier
> Jeremy
>
>
>
>
> Jos De_Roo wrote:
>
> > Jeff, I've put those as
> >
> > http://www.w3.org/2002/03owlt/imports/Manifest001
> > http://www.w3.org/2002/03owlt/imports/premises001
> > http://www.w3.org/2002/03owlt/imports/support001-A
> > http://www.w3.org/2002/03owlt/imports/conclusions001
> >
> > http://www.w3.org/2002/03owlt/imports/Manifest002
> > http://www.w3.org/2002/03owlt/imports/premises002
> > http://www.w3.org/2002/03owlt/imports/support002-A
> > http://www.w3.org/2002/03owlt/imports/conclusions001
^^^002
> >
> > http://www.w3.org/2002/03owlt/imports/Manifest003
> > http://www.w3.org/2002/03owlt/imports/premises003
> > http://www.w3.org/2002/03owlt/imports/support003-A
> > http://www.w3.org/2002/03owlt/imports/support003-B
> > http://www.w3.org/2002/03owlt/imports/conclusions001
^^^003
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 13 December 2002 04:49:31 UTC