W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

ISSUE-45 (justifications): REPORTED: 5.25 Justifications

From: OWL <sysbot+tracker@w3.org>
Date: Thu, 25 Oct 2007 08:48:19 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071025084819.5706B5F751@stu.w3.org>

ISSUE-45 (justifications): REPORTED: 5.25 Justifications


Raised by: Peter Patel-Schneider
On product: 

5.25 Justifications

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 and 5.3 Semantic Layering.
Name 	I5.25-Justifications
Raised By 	Dan Connolly
Received on Thursday, 25 October 2007 08:48:28 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:41:59 UTC