Re: ISSUE: justifications (postponed)

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
>>  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
>Dan Connolly, W3C

Professor James Hendler
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)

Received on Wednesday, 11 December 2002 14:04:55 UTC