- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Wed, 11 Dec 2002 14:04:43 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: www-webont-wg@w3.org
At 11:35 AM -0600 12/11/02, Dan Connolly wrote: >I don't see this in the issues list nor in >the agenda under pending issue updates. > >Maybe the Bristol ftf record wasn't clear enough, >but I thought we already decided to accept >and pospone this issue. > >But since it doesn't seem to be in the issues >list, can we please resolve to accept >and postpone it tomorrow? I accept this as an agenda ammendment, will add to the final agenda > >On Tue, 2002-11-26 at 10:03, Dan Connolly wrote: >> >> TITLE: Justifications >> >> DESCRIPTION: finding proofs is a lot of work; >> once one is found, it can be checked straightforwardly. >> It would be valuable to have an exchange syntax >> to promote interoperability of proof-checking >> systems and to preserve the value of proofs, >> once they're found. >> >> related issues: 5.13 Internet Media Type for OWL >> 5.3 Semantic Layering >> >> RAISED BY: Dan Connolly >> >> STATUS: Postponed >> >> REFERENCE: imports discussion at Oct Bristol ftf >> http://www.w3.org/2001/sw/WebOnt/ftf4#Issue1 >> http://www.w3.org/2002/10/07-webont-irc#T16-54-25 >> >> RESOLUTION: POSTPONED. while several members >> of the WG agree this would be valuable, noone >> argues that it's critical path for this >> round of deliverables. Discussion of this >> issue should be taken to www-rdf-logic >> for the time being. >> >> >> -- >> Dan Connolly, W3C http://www.w3.org/People/Connolly/ >> >-- >Dan Connolly, W3C http://www.w3.org/People/Connolly/ -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell) http://www.cs.umd.edu/users/hendler
Received on Wednesday, 11 December 2002 14:04:55 UTC