On 6 April 2011 10:54, Olivier Corby <olivier.corby@inria.fr> wrote: > Hi Birte, > > I pass all the entailment test cases with success now ! > There were just a "." missing in rdfs03.ttl and rdfs04.ttl and the @base > were still present in manifest.ttl, I corrected these typos. That's great. Sorry for the stupid missing dots. I probably should run ARQ on them since I have it insalled anyway to at least make sure they parse properly. Not sure whether or how I can get ARQ to do materialization/entailment. Since my implementation is only doing OWL Direct Semantics, I don't even attempt to read the other tests normaly. Cheers, Birte > Best regards, > > Olivier > > > -- Dr. Birte Glimm, Room 309 Computing Laboratory Parks Road Oxford OX1 3QD United Kingdom +44 (0)1865 283520Received on Wednesday, 6 April 2011 18:00:52 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:46 GMT