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

  • Debugging support: calculates MUPSs, MIPSs, cores, and pinpoints.
  • Interface support: supports the XDIG interface.
  • Multiple ontology language support: supports DIG data format and OWL.


    Download 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).


    Download the DION document (SEKT Deliverable D3.6.1)


    Screenshots of the DION Testbed

    Contact Zhisheng Huang if you have any comment or suggestion.