Patching OWL

This page contains detailed results from an analysis of OWL ontologies found on the Web. A number of ontologies were found via a Google search. These were then checked to see whether they were OWL DL, and if not why not. The results of this analysis were then used to develop some simple heuristics for "patching" ontologies which were then implemented in the Patcher.

As a byproduct of this experiment, we have identified a number of ontologies that are known to be OWL DL. For details of these, see the library pages.