W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2003

Re: Partial? regrets May 1st

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Wed, 30 Apr 2003 17:48:30 +0100
Message-ID: <16047.65118.371176.987237@galahad.cs.man.ac.uk>
To: Jeremy Carroll <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org

On April 30, Jeremy Carroll writes:
> 
> 
> Weather dependent I am in the mountains tomorrow.
> I might call in when we get back - maybe half way through the telecon.
> 
> Also on May 8th it is my son's birthday and I suspect party duties will call - 
> at least for the beginning of the telecon.
> 
> I expect to be able to spend significant time next week on the test cases 
> document, and modulo the unapproval of cardinality-005, have a last call 
> candidate before May 8th.
> 
> Suggested agenda item for this week:
> 
> - unapproval cardinality-005, action jjc to convert to proposed non-entailment
> - unapproval http://www.w3.org/2002/03owlt/I5.24/Manifest004

My parser is still imperfect and fails for this test. Unfortunately
the parser wont get fixed until next week (Sean on holiday). After
translating the test manually into abstract syntax I can verify the
entailment using FaCT.

Ian


> (I still believe this is right, but Jos's code that verified it was buggy - it 
> also may be better recast as an OWL DL test, in which case it should not 
> present any difficulties to Fact and friends)
> - approval of tests successfully exercised by Jos and/or Ian 
> 
> 
> Jeremy
> 
> 
> 
Received on Wednesday, 30 April 2003 12:39:14 GMT

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