RaDON

RaDON

RaDON - Repair and Diagnosis for Ontology Networks - provides a set of techniques for dealing with inconsistency and incoherence in ontologies. In particular, RaDON supports novel strategies and consistency models for distributed and networked environments.

RaDON is a system that extends the capabilities of existing reasoners with functionalities to deal with inconsistencies and incoherence. Specifically, we provide functionalities to find all Minimal Unsatisfiability-Preserving Subsets (MUPS) and the Minimal Incoherence-Preserving Subsets (MIPS). And we also provide the functionality to compute all Minimal Inconsistent Subsets (MIS). Basing on these information, the functionalities to repair the inconsistent or incoherent ontologies automatically and manually are given. More details about the terminologies we used and the functionalities we provided can be seen on Functionalities Page.

These additional functionalities are made accessible via RaDON plugin which has been preliminarily integrated into NeOn Toolkits. Downloads Page provides information about the release versions of RaDON plugin and some datasets as well.