These files show the differences between different versions of the
ontology. The anotation indicates which catagory each fails
into, where the numbers have the following meaning:
performable by ORS;
could refine the mismatch after small changes;
could not refine the mismatch, because:
ORS did not have sufficient functionality;
this mismatch is outside the scope of the project;
this mismatch is irrelevant to an automated system;
this mismatch could not occur in the restricted KIF that ORS is
designed to use;
this mismatch could not be highlighed in a planning context;
the information we have about the mismatch is insufficient to
diagnose which of the above catagories it would fall into.
Note that due to the alignment between the two ontologies, it may
appear that there are unannotated mismatches; these are not, in
fact, genuine mismatches but merely places in which two
identical ontological objects are not placed opposite one another.
Please note that these link to versions that were current at the time
the evaluation was carried out. Current versions and
further information about SUMO can be found at the SUMO Homepage.
