W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Re: ISSUE: justifications (postponed)

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 11 Dec 2002 14:04:43 -0500
Message-Id: <p05111717ba1d3ca93100@[10.0.1.2]>
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 GMT

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