DION: Debugger of Inconsistent Ontologies
DION is a debugger of inconsistent ontologies, based on an informed bottom-up approach.
DION is powered by XDIG, an extended DIG Decription Logic Interface for Prolog,
in particular, for SWI-Prolog.
Functionalities of DION
PrototypeDownload the DION package (version 0.8.0) for Windows 2000/WindowsXP.
Download the DION package (version 0.8.0) for Linux.
The package includes a DION server, an XDIG package, and a DION testbed.
DION requires an external DL reasoner which supports the DIG DL interface, like Racer. XDIG requires SWI-Prolog (version 5.4.7, or higher).
DocumentDownload the DION document (SEKT Deliverable D3.6.1)
ScreenshotScreenshots of the DION Testbed
Contact Zhisheng Huang if you have any comment or suggestion.