ISSUE: justifications (postponed)

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/

Received on Tuesday, 26 November 2002 11:03:04 UTC