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 ConnollyReceived on Thursday, 25 October 2007 08:48:28 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:26 GMT