- From: Dan Connolly <connolly@w3.org>
- Date: 26 Nov 2002 10:03:07 -0600
- To: www-webont-wg@w3.org
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