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

ISSUE: justifications (postponed)

From: Dan Connolly <connolly@w3.org>
Date: 26 Nov 2002 10:03:07 -0600
To: www-webont-wg@w3.org
Message-Id: <1038326587.5318.1629.camel@dirk>

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 http://www.w3.org/People/Connolly/
Received on Tuesday, 26 November 2002 11:03:04 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:38 UTC