OBO-Edit:Reasoner Repair Mode: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

12 November 2008

2 July 2008

24 June 2008

  • curprev 13:3713:37, 24 June 2008Cjm talk contribs 257 bytes +257 New page: Repair mode is a conservative way of using the reasoner. It is to be contrasted with reasoner-dependency, in which the EDITOR'S version of the ontology must be edited with the reasoner on....