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