Repair viewer

App

Loads two ontologies and an alignment. Step through how each class and property pair is matched, see which classes become unsatisfiable under the extended Horn projection, which correspondences are to blame, and how discarding or weakening a correspondence restores coherence.

It packages the hornrepair witnesses alongside the OAEI Conference track ontologies. You can even open your own Turtle or RDF/XML files. Everything runs in your browser.

Open the viewer hornrepair on GitHub

Screenshots

The repair viewer: two ontologies on tilted planes joined by their correspondences, with Author¹ and Author² in red, and a panel explaining why each is unsatisfiable. — Witness w1 at the Unsatisfiable stage: the alignment makes Author¹ and Author² unsatisfiable, and the panel says why in sentences.

The repair viewer at the Repair stage, with the correspondences the cheapest plan changes highlighted. — The Repair stage, previewing the cheapest plan: weaken the Book correspondence to Book² ⊑ Book¹, at a loss of 0.5.