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 the RaDON plugin
for the NeOn Toolkits.
The Downloads Page provides information about the
released versions of the RaDON plugin along with some datasets for testing
purposes. This research has been supported by NeOn,
an Integrated Project funded by the
European Commission.
Last update : Thursday, 17 April 2008
|
