- From: OWL <sysbot+tracker@w3.org>
- Date: Thu, 25 Oct 2007 08:48:19 +0000 (GMT)
- To: public-owl-wg@w3.org
ISSUE-45 (justifications): REPORTED: 5.25 Justifications http://www.w3.org/2007/OWL/tracker/issues/ 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