W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Re: TEST: format of issue 5.6 - owl:imports

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
Message-ID: <OF5720A257.46A846DB-ONC1256C8E.00324C7A-C1256C8E.0035ECBB@agfa.be>


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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:55 GMT