W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2011

Re: entailment test cases (was: Re: Review test cases)

From: Chime Ogbuji <chimezie@gmail.com>
Date: Sat, 7 May 2011 12:31:21 -0400
To: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
Cc: Lee Feigenbaum <lee@thefigtrees.net>, Olivier Corby <Olivier.Corby@sophia.inria.fr>, SPARQL Working Group <public-rdf-dawg@w3.org>
Message-ID: <2A401C12DEA546B0BFE5220AE4E9FC6A@gmail.com>
FuXi now runs [1] 13 of the entailment tests (RDFS,RDF), passing 9 of them. I would like to add a RIF-Core and OWL-RL since I have a need to test this reasoner in that regard.

[1] http://groups.google.com/group/fuxi-discussion/msg/56afdeb5f73c6e50

-- 
Chime Ogbuji
Sent with Sparrow
On Friday, April 8, 2011 at 10:21 AM, Birte Glimm wrote: 
> There are RDFS test cases, but none for OWL-RL yet. All OWL tests so
> far are Direct Semantics/OWL DL. If you have any to add that would be
> great.
> Birte
> 
> On 6 April 2011 20:24, Chime Ogbuji <chimezie@gmail.com> wrote:
> > I expect to be able to run some of the entailment tests (in particular RDFS, OWL2-RL - if we have any - and RDF) tests against FuXi this weekend.
> > 
> > --
> > Chime Ogbuji
> > Sent with Sparrow
> > On Wednesday, April 6, 2011 at 8:17 AM, Lee Feigenbaum wrote:
> > > This is great.
> > > 
> > > Is anyone else in a position to run the entailment test cases?
> > > 
> > > I'd like to put them on next week's agenda to be approved.
> > > 
> > > Lee
> > > 
> > > On 4/6/2011 7:55 AM, Olivier Corby wrote:
> > > > Hi Birte,
> > > > 
> > > > Now I pass all the entailment test cases with success !
> > > > There were just a "." missing in rdfs03.ttl and rdfs04.ttl and the @base
> > > > were still present in manifest.ttl, I corrected these typos.
> > > > 
> > > > Best regards,
> > > > 
> > > > Olivier
> 
> 
> 
> -- 
> Dr. Birte Glimm, Room 309
> Computing Laboratory
> Parks Road
> Oxford
> OX1 3QD
> United Kingdom
> +44 (0)1865 283520
> 
Received on Saturday, 7 May 2011 16:31:51 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:46 GMT