ISSUE-45: POSTPONED: 5.25 Justifications

justifications

POSTPONED: 5.25 Justifications

State:

CLOSED

Product:

Raised by:

Peter Patel-Schneider

Opened on:

2007-10-25

Description:

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

Related Actions Items:

No related actions

Related emails:

1. ISSUE-45 (justifications): REPORTED: 5.25 Justifications (from sysbot+tracker@w3.org on 2007-10-25)

Related notes:

Display change log